Description
Book Synopsis-. Modelling Cyber-Physical Systems for Verification and Synthesis.
-. 20 Years of Actor Model Checking with Rebeca - From Dining Philosophers to MicroServices. Responsibility in Actor-Based Systems.
-. Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic.
-. Parallel Composition of Constraint Automata.
-. Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca Ranch: Rebeca on Chip Animating Rebeca.
-. Verify Engineering Models, not Scientific Models.
-. Black-box protocol testing using Rebeca and Automata Learning.
-. From LTL to Scenarios: Automatic test case generation for Axini Modeling Language.
-. Concurrent Rules Machines Verifying ROS Systems Using Timed and Stochastic Timed Automata.
-. An LAGC Semantics for Timed Rebeca Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out.
-. A Debugging System for Language-parameterized Proofs Security Threats and Challenges of Digital Twins-enabled Self-adaptive Systems.
-. Ten Years of Spatial Model Checking.
