Interleaving Set Temporal Logic (Preliminary Version). - Shmuel Katz; Doron A. Peled (PODC, 1987)

An efficient verification method for parallel and distributed programs. - Shmuel Katz; Doron A. Peled (REX Workshop, 1988)

Proving Partial Order Liveness Properties. - Doron A. Peled; Amir Pnueli (ICALP, 1990)

Interleaving Set Temporal Logic. - Shmuel Katz; Doron A. Peled (Theor. Comput. Sci., 1990)

Specifying and Proving Serializability in Temporal Logic - Doron A. Peled; Shmuel Katz; Amir Pnueli (LICS, 1991)

Sometimes 'Some' is as Good as 'All'. - Doron A. Peled (CONCUR, 1992)

Verification of Distributed Programs Using Representative Interleaving Sequences. - Shmuel Katz; Doron A. Peled (Distributed Comput., 1992)

Defining Conditional Independence Using Collapses. - Shmuel Katz; Doron A. Peled (Theor. Comput. Sci., 1992)

All from One, One for All: on Model Checking Using Representatives. - Doron A. Peled (CAV, 1993)

A Compositional Approach for Fault-Tolerance Using Specification Transformation. - Doron A. Peled; Mathai Joseph (PARLE, 1993)

An improvement in formal verification. - Gerard J. Holzmann; Doron A. Peled (FORTE, 1994)

A Hierarchy of Partial Order Temporal Properties. - Marta Z. Kwiatkowska; Doron A. Peled; Wojciech Penczek (ICTL, 1994)

A Compositional Framework for Fault Tolerance by Specification Transformation. - Doron A. Peled; Mathai Joseph (Theor. Comput. Sci., 1994)

Proving Partial Order Properties. - Doron A. Peled; Amir Pnueli (Theor. Comput. Sci., 1994)

Model-Checking of Causality Properties - Rajeev Alur; Doron A. Peled; Wojciech Penczek (LICS, 1995)

Simple on-the-fly automatic verification of linear temporal logic. - Rob Gerth; Doron A. Peled; Moshe Y. Vardi; Pierre Wolper (PSTV, 1995)

Using asynchronous Büchi automata for efficient automatic verification of concurrent systems. - Doron A. Peled; Wojciech Penczek (PSTV, 1995)

The State of SPIN. - Gerard J. Holzmann; Doron A. Peled (CAV, 1996)

An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. - Doron A. Peled; Thomas Wilke; Pierre Wolper (CONCUR, 1996)

Preface. - Jean-Charles Grégoire; Gerard J. Holzmann; Doron A. Peled (The Spin Verification System, 1996)

On nested depth first search. - Gerard J. Holzmann; Doron A. Peled; Mihalis Yannakakis (The Spin Verification System, 1996)

Partial order reduction: Linear and branching temporal logics and process algebras. - Doron A. Peled (Partial Order Methods in Verification, 1996)

Partial Order Reduction: Model-Checking Using Representatives. - Doron A. Peled (MFCS, 1996)

An Analyser for Mesage Sequence Charts. - Rajeev Alur; Gerard J. Holzmann; Doron A. Peled (TACAS, 1996)

User Interfaces for Formal Methods. - Doron A. Peled (ACM Comput. Surv., 1996)

Combining Partial Order Reductions with On-the-Fly Model-Checking. - Doron A. Peled (Formal Methods Syst. Des., 1996)

An Analyzer for Message Sequence Charts. - Rajeev Alur; Gerard J. Holzmann; Doron A. Peled (Softw. Concepts Tools, 1996)

Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. - Patrice Godefroid; Doron A. Peled; Mark G. Staskauskas (IEEE Trans. Software Eng., 1996)

An Improved Search Strategy for Lossy Channel Systems. - Parosh Aziz Abdulla; Mats Kindahl; Doron A. Peled (FORTE, 1997)

Verifying hardware in its software context. - Robert P. Kurshan; Vladimir Levin; Marius Minea; Doron A. Peled; Hüsnü Yenigün (ICCAD, 1997)

Combining Partial Order and Symmetry Reductions. - E. Allen Emerson; Somesh Jha; Doron A. Peled (TACAS, 1997)

Verification of Message Sequence Charts via Template Matching. - Vladimir Levin; Doron A. Peled (TAPSOFT, 1997)

Verification for Robust Specification. - Doron A. Peled (TPHOLs, 1997)

Design tools for requirements engineering. - Gerard J. Holzmann; Doron A. Peled; Margaret H. Redberg (Bell Labs Tech. J., 1997)

Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator. - Doron A. Peled; Thomas Wilke (Inf. Process. Lett., 1997)

On Projective and Separable Properties. - Doron A. Peled (Theor. Comput. Sci., 1997)

A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). - Parosh Aziz Abdulla; Bengt Jonsson 001; Mats Kindahl; Doron A. Peled (CAV, 1998)

Ten Years of Partial Order Reduction. - Doron A. Peled (CAV, 1998)

A Toolset for Message Sequence Charts. - Doron A. Peled (CAV, 1998)

Deciding Properties for Message Sequence Charts. - Anca Muscholl; Doron A. Peled; Zhendong Su 001 (FoSSaCS, 1998)

Static Partial Order Reduction. - Robert P. Kurshan; Vladimir Levin; Marius Minea; Doron A. Peled; Hüsnü Yenigün (TACAS, 1998)

Adding Partial Orders to Linear Temporal Logic. - Girish Bhat; Doron A. Peled (Fundam. Informaticae, 1998)

An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages. - Doron A. Peled; Thomas Wilke; Pierre Wolper (Theor. Comput. Sci., 1998)

Hazard-Freedom Checking in Speed-Independent Systems. - Hüsnü Yenigün; Vladimir Levin; Doron A. Peled; Peter A. Beerel (CHARME, 1999)

Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces. - Anca Muscholl; Doron A. Peled (MFCS, 1999)

Generalized Stuttering Equivalence. - Somesh Jha; Doron A. Peled (PDPTA, 1999)

Path Exploration Tool. - Elsa L. Gunter; Doron A. Peled (TACAS, 1999)

A Partial Order Approach to Branching Time Logic Model Checking. - Rob Gerth; Ruurd Kuiper 001; Doron A. Peled; Wojciech Penczek (Inf. Comput., 1999)

Undecidability of Partial Order Logics. - Rajeev Alur; Doron A. Peled (Inf. Process. Lett., 1999)

Formal Verification of a Partial-Order Reduction Technique for Model Checking. - Ching-Tsun Chou; Doron A. Peled (J. Autom. Reason., 1999)

State Space Reduction Using Partial Order Techniques. - Edmund M. Clarke; Orna Grumberg; Marius Minea; Doron A. Peled (Int. J. Softw. Tools Technol. Transf., 1999)

PET: An Interactive Software Testing Tool. - Elsa L. Gunter; Robert P. Kurshan; Doron A. Peled (CAV, 2000)

Specification and Verification of Message Sequence Charts. - Doron A. Peled (FORTE, 2000)

Formal Methods for Message Sequence Charts. - Doron A. Peled (ICDCS Workshop on Distributed System Validation and Verification, 2000)

Using a Mix of Languages in Formal Methods: The PET System. - Elsa L. Gunter; Doron A. Peled (PDPTA, 2000)

Analyzing Message Sequence Charts. - Anca Muscholl; Doron A. Peled (SAM, 2000)

Model-Checking of Correctness Conditions for Concurrent Objects. - Rajeev Alur; Kenneth L. McMillan; Doron A. Peled (Inf. Comput., 2000)

Model checking, 1st Edition. - Edmund M. Clarke; Orna Grumberg; Doron A. Peled (MIT Press, 2001)

Software Reliability Methods. - Doron A. Peled (Springer, 2001)

A Combined Testing and Verification Approach for Software Reliability. - Natasha Sharygina; Doron A. Peled (FME, 2001)

From Falsification to Verification. - Doron A. Peled; Amir Pnueli; Lenore D. Zuck (FSTTCS, 2001)

From Finite State Communication Protocols to High-Level Message Sequence Charts. - Anca Muscholl; Doron A. Peled (ICALP, 2001)

From Model Checking to a Temporal Proof. - Doron A. Peled; Lenore D. Zuck (SPIN, 2001)

Relaxed Visibility Enhances Partial Order Reduction. - Doron A. Peled; Antti Valmari; Ilkka Kokkarinen (Formal Methods Syst. Des., 2001)

Parametric temporal logic for "model measuring". - Rajeev Alur; Kousha Etessami; Salvatore La Torre; Doron A. Peled (ACM Trans. Comput. Log., 2001)

AMC: An Adaptive Model Checker. - Alex Groce; Doron A. Peled; Mihalis Yannakakis (CAV, 2002)

Comparing Symbolic and Explicit Model Checking of a Software System. - Cindy Eisner; Doron A. Peled (SPIN, 2002)

Temporal Debugging for Concurrent Systems. - Elsa L. Gunter; Doron A. Peled (TACAS, 2002)

Tracing the executions of concurrent programs. - Elsa L. Gunter; Doron A. Peled (RV@FLoC, 2002)

Specification and Verification using Message Sequence Charts. - Doron A. Peled (VISS@ETAPS, 2002)

Combining Software and Hardware Verification Techniques. - Robert P. Kurshan; Vladimir Levin; Marius Minea; Doron A. Peled; Hüsnü Yenigün (Formal Methods Syst. Des., 2002)

Black Box Checking. - Doron A. Peled; Moshe Y. Vardi; Mihalis Yannakakis (J. Autom. Lang. Comb., 2002)

Message Sequence Charts. - Blaise Genest; Anca Muscholl; Doron A. Peled (Lectures on Concurrency and Petri Nets, 2003)

Unit Checking: Symbolic Model Checking for a Unit of Code. - Elsa L. Gunter; Doron A. Peled (Verification: Theory and Practice, 2003)

Deciding Properties of Message Sequence Charts. - Anca Muscholl; Doron A. Peled (Scenarios: Models, Transformations and Tools, 2003)

Automatic Verification of Annotated Code. - Doron A. Peled; Hongyang Qu 001 (FORTE, 2003)

Model Checking and Testing Combined. - Doron A. Peled (ICALP, 2003)

Compositional message sequence charts. - Elsa L. Gunter; Anca Muscholl; Doron A. Peled (Int. J. Softw. Tools Technol. Transf., 2003)

Specifying and Verifying Partial Order Properties Using Template MSCs. - Blaise Genest; Marius Minea; Anca Muscholl; Doron A. Peled (FoSSaCS, 2004)

Automatic Generation of Path Conditions for Timed Systems. - Saddek Bensalem; Doron A. Peled; Hongyang Qu 001; Stavros Tripakis (ISoLA (Preliminary proceedings), 2004)

Calculating Probabilities of Real-Time Test Cases. - Marcin Jurdzinski; Doron A. Peled; Hongyang Qu 001 (FATES, 2005)

Time Unbalanced Partial Order. - Doron A. Peled; Hongyang Qu 001 (FATES, 2005)

Generating Path Conditions for Timed Systems. - Saddek Bensalem; Doron A. Peled; Hongyang Qu 001; Stavros Tripakis (IFM, 2005)

Snapshot Verification. - Blaise Genest; Dietrich Kuske; Anca Muscholl; Doron A. Peled (TACAS, 2005)

Automatic Test Generation and Monitoring of Infinite States Systems. - Doron A. Peled (VISSAS, 2005)

Model checking, testing and verification working together. - Elsa L. Gunter; Doron A. Peled (Formal Aspects Comput., 2005)

Deciding Global Partial-Order Properties. - Rajeev Alur; Kenneth L. McMillan; Doron A. Peled (Formal Methods Syst. Des., 2005)

Introduction: Special Issue on Partial Order in Formal Methods. - Doron A. Peled (Formal Methods Syst. Des., 2005)

Grey-Box Checking. - Edith Elkind; Blaise Genest; Doron A. Peled; Hongyang Qu 001 (FORTE, 2006)

Adaptive Model Checking. - Alex Groce; Doron A. Peled; Mihalis Yannakakis (Log. J. IGPL, 2006)

Enforcing Concurrent Temporal Behaviors. - Doron A. Peled; Hongyang Qu 001 (Int. J. Found. Comput. Sci., 2006)

07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. - Michaela Huhn; Hardi Hungar; Doron A. Peled (Tools for the Model-based Development of Certifiable, Dependable Systems, 2007)

07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems. - Michaela Huhn; Hardi Hungar; Doron A. Peled (Tools for the Model-based Development of Certifiable, Dependable Systems, 2007)

Test Case Generation for Ultimately Periodic Paths. - Saddek Bensalem; Doron A. Peled; Hongyang Qu 001; Stavros Tripakis; Lenore D. Zuck (Haifa Verification Conference, 2007)

Detecting Races in Ensembles of Message Sequence Charts. - Edith Elkind; Blaise Genest; Doron A. Peled (TACAS, 2007)

Preface. - Doron A. Peled; Yih-Kuen Tsay (Int. J. Found. Comput. Sci., 2007)

Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. - Gal Katz; Doron A. Peled (ATVA, 2008)

Discriminative Model Checking. - Peter Niebert; Doron A. Peled; Amir Pnueli (CAV, 2008)

Model Checking Driven Heuristic Search for Correct Programs. - Gal Katz; Doron A. Peled (MoChArt, 2008)

Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. - Gal Katz; Doron A. Peled (TACAS, 2008)

Automatic generation of path conditions for concurrent timed systems. - Saddek Bensalem; Doron A. Peled; Hongyang Qu 001; Stavros Tripakis (Theor. Comput. Sci., 2008)

Model Checking. - Doron A. Peled; Patrizio Pelliccione; Paola Spoletini (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming. - Gal Katz; Doron A. Peled (Haifa Verification Conference, 2009)

On commutativity based Edge Lean search. - Dragan Bosnacki; Edith Elkind; Blaise Genest; Doron A. Peled (Ann. Math. Artif. Intell., 2009)

Efficient model checking for LTL with partial order snapshots. - Peter Niebert; Doron A. Peled (Theor. Comput. Sci., 2009)

Methods for Knowledge Based Controlling of Distributed Systems. - Saddek Bensalem; Marius Bozga; Susanne Graf; Doron A. Peled; Sophie Quinton (ATVA, 2010)

MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. - Gal Katz; Doron A. Peled (ATVA, 2010)

Knowledge Based Scheduling of Distributed Systems. - Saddek Bensalem; Doron A. Peled; Joseph Sifakis (Essays in Memory of Amir Pnueli, 2010)

Code Mutation in Verification and Automatic Code Correction. - Gal Katz; Doron A. Peled (TACAS, 2010)

Quantifying the Discord: Order Discrepancies in Message Sequence Charts. - Edith Elkind; Blaise Genest; Doron A. Peled; Paola Spoletini (Int. J. Found. Comput. Sci., 2010)

The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. - Gal Katz; Doron A. Peled; Sven Schewe (ATVA, 2011)

Synthesis of Distributed Control through Knowledge Accumulation. - Gal Katz; Doron A. Peled; Sven Schewe (CAV, 2011)

Monitoring Distributed Systems Using Knowledge. - Susanne Graf; Doron A. Peled; Sophie Quinton (FMOODS/FORTE, 2011)

Efficient deadlock detection for concurrent systems. - Saddek Bensalem; Andreas Griesmayer; Axel Legay; Thanh-Hung Nguyen; Doron A. Peled (MEMOCODE, 2011)

Practical Distributed Control Synthesis - Doron A. Peled; Sven Schewe (INFINITY, 2011)

Priority scheduling of distributed systems based on model checking. - Ananda Basu; Saddek Bensalem; Doron A. Peled; Joseph Sifakis (Formal Methods Syst. Des., 2011)

Model Checking. - Doron A. Peled (Software and Systems Safety - Specification and Verification, 2011)

Knowledge Based Transactional Behavior. - Saddek Bensalem; Marius Bozga; Doron A. Peled; Jean Quilbeuf (Haifa Verification Conference, 2012)

Rapid Recovery for Systems with Scarce Faults - Chung-Hao Huang; Doron A. Peled; Sven Schewe; Farn Wang (GandALF, 2012)

Achieving distributed control through model checking. - Susanne Graf; Doron A. Peled; Sophie Quinton (Formal Methods Syst. Des., 2012)

Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems. - Joost-Pieter Katoen; Doron A. Peled (ESOP, 2013)

Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. - Saddek Bensalem; Borzoo Bonakdarpour; Marius Bozga; Doron A. Peled; Jean Quilbeuf (Haifa Verification Conference, 2013)

Synthesizing distributed scheduling implementation for probabilistic component-based systems. - Saddek Bensalem; Axel Legay; Ayoub Nouri; Doron A. Peled (MEMOCODE, 2013)

Synthesis of Parametric Programs using Genetic Programming and Model Checking. - Gal Katz; Doron A. Peled (INFINITY, 2013)

Model Checking Basics. - Doron A. Peled (Engineering Dependable Software Systems, 2013)

Distributed Control Synthesis. - Doron A. Peled; Sven Schewe (HOWARD-60, 2014)

Compositional Branching-Time Measurements. - Radu Grosu; Doron A. Peled; C. R. Ramakrishnan 001; Scott A. Smolka; Scott D. Stoller; Junxing Yang (FPS@ETAPS, 2014)

Using Statistical Model Checking for Measuring Systems. - Radu Grosu; Doron A. Peled; C. R. Ramakrishnan 001; Scott A. Smolka; Scott D. Stoller; Junxing Yang (ISoLA (2), 2014)

Monitoring Parametric Temporal Logic. - Peter Faymonville; Bernd Finkbeiner; Doron A. Peled (VMCAI, 2014)

Editorial: special issue on synthesis. - Doron A. Peled; Sven Schewe (Acta Informatica, 2014)

Knowledge = Observation + Memory + Computation. - Blaise Genest; Doron A. Peled; Sven Schewe (FoSSaCS, 2015)

Local and global fairness in concurrent systems. - Alon Brook; Doron A. Peled; Sven Schewe (MEMOCODE, 2015)

Synthesis of succinct systems. - John Fearnley; Doron A. Peled; Sven Schewe (J. Comput. Syst. Sci., 2015)

From Verification to Synthesis. - Doron A. Peled (Dependable Software Systems Engineering, 2015)

Automatic Synthesis of Code Using Genetic Programming. - Doron Peled (ISoLA (1), 2016)

Using Genetic Programming for Software Reliability. - Doron Peled (RV, 2016)

A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors. - Chung-Hao Huang; Doron A. Peled; Sven Schewe; Farn Wang (IEEE Trans. Software Eng., 2016)

Memory-Efficient Tactics for Randomized LTL Model Checking. - Kim G. Larsen; Doron Peled; Sean Sedwards (VSTTE, 2017)

Synthesizing, correcting and improving code, using model checking-based genetic programming. - Gal Katz; Doron Peled (Int. J. Softw. Tools Technol. Transf., 2017)

Automata Based Validation Techniques. - Doron Peled (Dependable Software Systems Engineering, 2017)

Model checking, 2nd Edition. - Edmund M. Clarke; Orna Grumberg; Daniel Kroening; Doron A. Peled; Helmut Veith (MIT Press, 2018)

Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability. - Doron Peled; Klaus Havelund (Models, Mindsets, Meta, 2018)

DejaVu: A Monitoring Tool for First-Order Temporal Logic. - Klaus Havelund; Doron Peled; Dogan Ulus (MT@CPSWeek, 2018)

Chasing Errors Using Biasing Automata. - Lei Bu; Doron Peled; Dashuan Shen; Yael Tzirulnikov (ISoLA (2), 2018)

BDDs on the Run. - Klaus Havelund; Doron Peled (ISoLA (4), 2018)

Runtime Verification: From Propositional to First-Order Temporal Logic. - Klaus Havelund; Doron Peled (RV, 2018)

Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking. - Lei Bu; Doron Peled; Dachuan Shen; Yuan Zhuang (SPIN, 2018)

Efficient Runtime Verification of First-Order Temporal Properties. - Klaus Havelund; Doron Peled (SPIN, 2018)

Partial-Order Reduction. - Doron Peled (Handbook of Model Checking, 2018)

Formal Methods. - Doron A. Peled (Handbook of Software Engineering, 2019)

Control Synthesis Through Deep Learning. - Doron Peled; Simon Iosti; Saddek Bensalem (From Reactive Systems to Cyber-Physical Systems, 2019)

An Extension of LTL with Rules and Its Application to Runtime Verification. - Klaus Havelund; Doron Peled (RV, 2019)

First-Order Timed Runtime Verification Using BDDs. - Klaus Havelund; Doron Peled (ATVA, 2020)

Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. - Simon Iosti; Doron Peled; Khen Aharon; Saddek Bensalem; Yoav Goldberg (ISoLA (2), 2020)

BDDs for Representing Data in Runtime Verification. - Klaus Havelund; Doron Peled (RV, 2020)

First-order temporal logic monitoring with BDDs. - Klaus Havelund; Doron Peled; Dogan Ulus (Formal Methods Syst. Des., 2020)

Reverse Engineering Through Automata Learning. - Doron Peled (Formal Methods in Outer Space, 2021)

Monitoring First-Order Interval Logic. - Klaus Havelund; Moran Omer; Doron Peled (SEFM, 2021)

An extension of first-order LTL with rules with application to runtime verification. - Klaus Havelund; Doron Peled (Int. J. Softw. Tools Technol. Transf., 2021)

Formal Specification for Learning-Enabled Autonomous Systems. - Saddek Bensalem; Chih-Hong Cheng; Xiaowei Huang 001; Panagiotis Katsaros; Adam Molin; Dejan Nickovic; Doron Peled (NSV/FoMLAS@CAV, 2022)

A Reinforcement-Learning Style Algorithm for Black Box Automata. - Itay Cohen 001; Roi Fogler; Doron Peled (MEMOCODE, 2022)

On monitoring linear temporal properties. - Klaus Havelund; Doron Peled (Formal Methods Syst. Des., 2022)

A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. - Mohamed Abdelsalam; Loai Ali; Saddek Bensalem; Weicheng He; Panagiotis Katsaros; Nikolaos Kekatos; Doron Peled; Anastasios Temperekidis; Changshun Wu (PoEM Companion, 2023)

Monitorability for Runtime Verification. - Klaus Havelund; Doron Peled (RV, 2023)

Runtime Verification Prediction for Traces with Data. - Moran Omer; Doron Peled (RV, 2023)

Accelerating Black Box Testing with Light-Weight Learning. - Roi Fogler; Itay Cohen 001; Doron Peled (SPIN, 2023)

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. - Saddek Bensalem; Panagiotis Katsaros; Dejan Nickovic; Brian Hsuan-Cheng Liao; Ricardo Ruiz Nolasco; Mohamed Abd El Salam Ahmed; Tewodros A. Beyene; Filip Cano 001; Antoine Delacourt; Hasan Esen; Alexandru Forrai; Weicheng He; et al. (AISoLA, 2023)

Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning. - Itay Cohen 001; Doron Peled (AISoLA, 2023)

End-to-End AI Generated Runtime Verification from Natural Language Specification. - Itay Cohen 001; Doron Peled (AISoLA (Selected Papers), 2023)

LLM-Based Scheme for Synthesis of Formal Verification Algorithms. - Itay Cohen 001; Doron Peled (AISoLA, 2024)

TP-DejaVu: Combining Operational and Declarative Runtime Verification. - Klaus Havelund; Panagiotis Katsaros; Moran Omer; Doron Peled; Anastasios Temperekidis (VMCAI (2), 2024)

Operational and Declarative Runtime Verification (Keynote). - Klaus Havelund; Moran Omer; Doron Peled (VORTEX@ISSTA, 2024)

Digital twin for the formal analysis of a depth of anesthesia controller. - Mohamed Abdelsalam; Saddek Bensalem; Antoine Delacourt; Weicheng He; Panagiotis Katsaros; Nikolaos Kekatos; Ricardo Ruiz Nolasco; Doron Peled; Matthieu Ponchant; Ismail Ryad; Anastasios Temperekidis; Changshun Wu (Simul., 2025)