![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
65th Birthday: Scott A. Smolka 2019
- Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky:
From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11500, Springer 2019, ISBN 978-3-030-31513-9 - Rance Cleaveland:
Scott Smolka and Me. 1-6
Analysis of Complex Biological Systems
- Abouzar Kaboudian, Hector Augusto Velasco-Perez, Shahriar Iravanian, Yohannes Shiferaw, Elizabeth M. Cherry
, Flavio H. Fenton:
A Comprehensive Comparison of GPU Implementations of Cardiac Electrophysiology Models. 9-34 - James Glimm, Hyun-Kyung Lim, Martin J. Bishop, Soojin Kim:
From Automated MRI Scan to Finite Elements. 35-48
Program Analysis
- Gerard J. Holzmann:
Formalizing Requirements Is \Diamond \Box Hard. 51-56 - Lenore D. Zuck, Kenneth L. McMillan:
Invisible Invariants Are Neither. 57-72 - Klaus Havelund, Natarajan Shankar:
A Refinement Proof for a Garbage Collector. 73-103
Synthesis of Models, Parameters and Benchmarks
- Milan Ceska
, Christian Dehnert, Nils Jansen
, Sebastian Junges, Joost-Pieter Katoen:
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. 107-125 - Bernhard Steffen, Marc Jasper:
Generating Hard Benchmark Problems for Weak Bisimulation. 126-145 - Abhishek Murthy, Himel Das, Md. Ariful Islam:
Robustness of Neural Networks to Parameter Quantization. 146-161
Model-Based Design
- Alexios Lekidis
, Panagiotis Katsaros:
Model-Based Energy Characterization of IoT System Design Aspects. 165-180 - Alessandro Maggi, Rocco De Nicola
, Joseph Sifakis:
A Logic-Inspired Approach to Reconfigurable System Modelling. 181-201
Data-Driven Design
- Emanuela Merelli
, Anita Wasilewska:
Topological Interpretation of Interactive Computation. 205-224 - Luca Bortolussi
, Francesca Cairoli, Nicola Paoletti
, Scott D. Stoller:
Conformal Predictions for Hybrid System State Classification. 225-241 - Doron Peled, Simon Iosti, Saddek Bensalem:
Control Synthesis Through Deep Learning. 242-255
Runtime Verification
- Luca Aceto
, Antonis Achilleos
, Adrian Francalanza
, Anna Ingólfsdóttir
, Karoliina Lehtinen
:
The Cost of Monitoring Alone. 259-275 - Teng Zhang, Ramneet Kaur, Insup Lee, Oleg Sokolsky:
Runtime Verification of Parametric Properties Using SMEDL. 276-293
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.