1
Meyer, Bertrand
2024
Table of Contents:
“... to SLE and Machine Learning -- At the Confluence of Software Engineering and Human-Computer Interaction: a Personal Account -- Part II: Programming language mechanisms and type systems -- From Procedures, Objects, Actors, Components, Services, to Agents...”2024
Full text
2
Chechik, Marsha
2023
Table of Contents:
“...Keynotes -- Symbolic Computation in Automated Program Reasoning -- The next big thing: from embedded systems to embodied actors -- Intelligent and Dependable Decision-Making Under Uncertainty -- A Coq formalization of Lebesgue Induction Principle...”2023
Full text
3
Mazzara, Manuel
2016
Table of Contents:
“... in Polynomial Time -- Dynamics Security Policies and Process Opacity for Timed Process Algebras -- Estimating Development E_ort for Software Architectural Tactics -- Clone Detection in Reuse of Software Technical Documentation -- Modeling Actor Systems Using Dynamic...”2016
Full text
4
5
6
Bonsangue, Marcello
2016
Table of Contents:
“... by Probabilistic Testing -- On Time Actors -- A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions -- Quicksort Revisited - Verifying Alternative Versions of Quicksort....”2016
Full text
7
Thiemann, Peter
2016
Table of Contents:
“... Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules -- Actor Services: Modular Verification of Message Passing Programs -- Transfinite Step-indexing: Decoupling Concrete and Logical Steps -- A Higher-Order Abstract Syntax Approach to Verified...”2016
Full text
8
Huisman, Marieke
2016
Table of Contents:
“... -- On Implementing a Monitor-Oriented Programming Framework for Actor Systems -- Towards a Thread-Local Proof Technique for Starvation Freedom -- Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems -- A Formal Model of the Safety...”2016
Full text
9
Bošnački, Dragan
2016
Table of Contents:
“... Synthesis for Timed-Arc Petri Net Games via Discretization -- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems -- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking -- smid: A Black-Box...”2016
Full text
10
Bartocci, Ezio.
2015
Table of Contents:
“...-Temporal Properties -- Runtime Adaptation for Actor Systems -- Robust Online Monitoring of Signal Temporal Logic -- On Verifying The Hennessy-Milner Logic with Recursion at Runtime -- Assuring the Guardians -- A Case Study on Runtime Monitoring of an Autonomous...”2015
Full text