Abstract is missing.
- Calculational Design of a Regular Model Checker by Abstract InterpretationPatrick Cousot. 3-21 [doi]
- Verification by Construction of Distributed AlgorithmsDominique Méry. 22-38 [doi]
- The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinismArpit Sharma. 41-58 [doi]
- Computing Branching Distances Using Quantitative GamesUli Fahrenberg, Axel Legay, Karin Quaas. 59-75 [doi]
- Clinical Pathways Formal Modelling Using Bigraphical Reactive SystemsFateh Latreche, Abdelkader Moudjari, Hichem Talbi. 76-90 [doi]
- Optimal Run Problem for Weighted Register AutomataHiroyuki Seki, Reo Yoshimura, Yoshiaki Takata. 91-110 [doi]
- Time4sys2imi: A Tool to Formalize Real-Time System Models Under UncertaintyÉtienne André, Jawher Jerray, Sahar Mhiri. 113-123 [doi]
- Testing Real-Time Systems Using Determinization Techniques for Automata over Timed DomainsMoez Krichen. 124-133 [doi]
- Verification of Multi-agent Systems with Timeouts for Migration and CommunicationBogdan Aman, Gabriel Ciobanu. 134-151 [doi]
- LTL to Smaller Self-Loop Alternating Automata and BackFrantisek Blahoudek, Juraj Major, Jan Strejcek. 152-171 [doi]
- Starvation-Free MonitorsJafar Hamin. 175-195 [doi]
- Taming Concurrency for Verification Using Multiparty Session TypesKirstin Peters, Christoph Wagner, Uwe Nestmann. 196-215 [doi]
- Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity DiagramsSamir Ouchani. 216-234 [doi]
- Context-Free Grammars for Deterministic Regular Expressions with InterleavingXiaoying Mou, Haiming Chen, Yeting Li. 235-252 [doi]
- Completeness of Abstract Domains for String Analysis of JavaScript ProgramsVincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni. 255-272 [doi]
- BCARET Model Checking for Malware DetectionHuu-Vu Nguyen, Tayssir Touili. 273-291 [doi]
- DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned BlockchainMarwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade 0001, Riadh Robbana. 292-312 [doi]
- Enhanced Models for Privacy and Utility in Continuous-Time Diffusion NetworksDaniele Gorla, Federica Granese, Catuscia Palamidessi. 313-331 [doi]
- Taylor Series RevisitedXavier Thirioux, Alexis Maffart. 335-352 [doi]
- Solving the Expression Problem in C++, á la LMSSeyed Hossein Haeri, Paul Keir. 353-371 [doi]
- Laws of Monadic Error HandlingHärmel Nestra. 372-391 [doi]
- Solving of Regular Equations RevisitedMartin Sulzmann, Kenny Zhuo Ming Lu. 392-409 [doi]