Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID65th 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
a service of 
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.
last updated on 2024-04-22 21:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
