Abstract is missing.
- Scott Smolka and MeRance Cleaveland. 1-6 [doi]
- A Comprehensive Comparison of GPU Implementations of Cardiac Electrophysiology ModelsAbouzar Kaboudian, Hector Augusto Velasco-Perez, Shahriar Iravanian, Yohannes Shiferaw, Elizabeth M. Cherry, Flavio H. Fenton. 9-34 [doi]
- From Automated MRI Scan to Finite ElementsJames Glimm, Hyun-Kyung Lim, Martin Bishop, Soojin Kim. 35-48 [doi]
- Formalizing Requirements Is \Diamond \Box HardGerard J. Holzmann. 51-56 [doi]
- Invisible Invariants Are NeitherLenore D. Zuck, Kenneth L. McMillan. 57-72 [doi]
- A Refinement Proof for a Garbage CollectorKlaus Havelund, Natarajan Shankar. 73-103 [doi]
- Model Repair Revamped - - On the Automated Synthesis of Markov Chains -Milan Ceska, Christian Dehnert, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen. 107-125 [doi]
- Generating Hard Benchmark Problems for Weak BisimulationBernhard Steffen, Marc Jasper. 126-145 [doi]
- Robustness of Neural Networks to Parameter QuantizationAbhishek Murthy, Himel Das, Md. Ariful Islam. 146-161 [doi]
- Model-Based Energy Characterization of IoT System Design AspectsAlexios Lekidis, Panagiotis Katsaros. 165-180 [doi]
- A Logic-Inspired Approach to Reconfigurable System ModellingAlessandro Maggi, Rocco De Nicola, Joseph Sifakis. 181-201 [doi]
- Topological Interpretation of Interactive ComputationEmanuela Merelli, Anita Wasilewska. 205-224 [doi]
- Conformal Predictions for Hybrid System State ClassificationLuca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller. 225-241 [doi]
- Control Synthesis Through Deep LearningDoron Peled, Simon Iosti, Saddek Bensalem. 242-255 [doi]
- The Cost of Monitoring AloneLuca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen. 259-275 [doi]
- Runtime Verification of Parametric Properties Using SMEDLTeng Zhang, Ramneet Kaur, Insup Lee, Oleg Sokolsky. 276-293 [doi]