News

On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation

The paper On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation has been accepted for publication in TOSEM, the ACM Transactions on Software Engineering and Methodology. We define two complementary approaches to monitor decentralized systems. The first relies on those with a centralized specification, i.e, when the specification is written for the behavior of […]

Read More

On the Runtime Enforcement of Timed Properties

The tutorial paper On the Runtime Enforcement of Timed Properties has been accepted for publication in Runtime Verification 2019. Runtime enforcement refers to the theories, techniques, and tools for enforcing correct behavior of systems at runtime. We are interested in such behaviors described by specifications that feature timing constraints formalized in what is generally referred […]

Read More

DATE 2020 – Topic E3 – Call for Papers

================================================================= DATE 2020 – Call for Papers 09 – 13 March 2020, Grenoble, France Topic E3 Model-Based Design, Verification and Security for Embedded Systems www.date-conference.com ================================================================== For more details and submission instructions, please visit the DATE 2020 Website at www.date-conference.com. == Overview of DATE 2020 The 23rd DATE conference and exhibition is the main European […]

Read More

Chairing DATE 2020 Topic E3

I’ve been invited to chair the DATE 2020 Topic E3. My co-chair will be Todd Austin, from University of Michigan. DATE is the Design, Automation and Test in Europe Conference. DATE 2020 will be held 09 – 13 March 2020 at ALPEXPO in Grenoble, France. More details to come.

Read More

In the Programme Committee of FDL 2019

I have been invited to the Program Committee of FDL 2019, the 2019 Forum on specification & Design Languages. FDL 2019 will be held in Southampton, United Kingdom on September 2-4, 2019. Important Deadlines: Special Sessions: March 22, 2019 Abstract Deadline: April 19, 2019 Paper Deadline: April 26, 2019 Author Notification: June 21, 2019 Final Version: July […]

Read More