From Reactive Systems to Cyber-Physical Systems

Keyphrases

Publications

2019

Lenore D. Zuck, Kenneth L. McMillan
Invisible Invariants Are Neither. From Reactive Systems to Cyber-Physical Systems (2019)
James Glimm, Hyun-Kyung Lim, Martin J. Bishop, Soojin Kim
From Automated MRI Scan to Finite Elements. From Reactive Systems to Cyber-Physical Systems (2019)
Emanuela Merelli, Anita Wasilewska
Topological Interpretation of Interactive Computation. From Reactive Systems to Cyber-Physical Systems (2019)
Alexios Lekidis, Panagiotis Katsaros
Model-Based Energy Characterization of IoT System Design Aspects. From Reactive Systems to Cyber-Physical Systems (2019)
Rance Cleaveland
Scott Smolka and Me. From Reactive Systems to Cyber-Physical Systems (2019)
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. From Reactive Systems to Cyber-Physical Systems (2019)
Gerard J. Holzmann
Formalizing Requirements Is \Diamond \Box Hard. From Reactive Systems to Cyber-Physical Systems (2019)
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. From Reactive Systems to Cyber-Physical Systems (2019)
Alessandro Maggi, Rocco De Nicola, Joseph Sifakis
A Logic-Inspired Approach to Reconfigurable System Modelling. From Reactive Systems to Cyber-Physical Systems (2019)
Teng Zhang, Ramneet Kaur, Insup Lee, Oleg Sokolsky
Runtime Verification of Parametric Properties Using SMEDL. From Reactive Systems to Cyber-Physical Systems (2019)
Doron Peled, Simon Iosti, Saddek Bensalem
Control Synthesis Through Deep Learning. From Reactive Systems to Cyber-Physical Systems (2019)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller
Conformal Predictions for Hybrid System State Classification. From Reactive Systems to Cyber-Physical Systems (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
The Cost of Monitoring Alone. From Reactive Systems to Cyber-Physical Systems (2019)
Klaus Havelund, Natarajan Shankar
A Refinement Proof for a Garbage Collector. From Reactive Systems to Cyber-Physical Systems (2019)
Abhishek Murthy, Himel Das, Md. Ariful Islam
Robustness of Neural Networks to Parameter Quantization. From Reactive Systems to Cyber-Physical Systems (2019)
Bernhard Steffen, Marc Jasper
Generating Hard Benchmark Problems for Weak Bisimulation. From Reactive Systems to Cyber-Physical Systems (2019)

volume 11500, 2019

From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday From Reactive Systems to Cyber-Physical Systems 11500 (2019)