Doron Peled

44 papers B 13C 1Journal 6Unranked 21
YearRankTypeTitle / Venue / Authors
2025 B conf
DSLs for Runtime Verification.
RV
Klaus Havelund, Moran Omer, Doron Peled
2025 J jnl
Digital twin for the formal analysis of a depth of anesthesia controller.
Simul.
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
2025 — conf
Embedding Monitoring of First-Order Temporal Logic in a Programming Language.
Principles of Formal Quantitative Analysis
Klaus Havelund, Moran Omer, Doron Peled
2025 B conf
Monitoring Distributed Systems Based on Partial Order Executions with Global States.
RV
Moran Omer, Doron Peled, Ely Porat, Vijay K. Garg
2025 B conf
The Power of Reframing: Using LLMs in Synthesizing RV Monitors.
RV
Itay Cohen, Klaus Havelund, Doron Peled, Yoav Goldberg
2024 J jnl
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle.
CoRR
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
2024 — conf
LLM-Based Scheme for Synthesis of Formal Verification Algorithms.
AISoLA
Itay Cohen, Doron Peled
2024 — conf
Operational and Declarative Runtime Verification (Keynote).
VORTEX@ISSTA
Klaus Havelund, Moran Omer, Doron Peled
2024 — conf
TP-DejaVu: Combining Operational and Declarative Runtime Verification.
VMCAI (2)
Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis
2023 — conf
A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle.
PoEM Companion
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
2023 — conf
Accelerating Black Box Testing with Light-Weight Learning.
SPIN
Roi Fogler, Itay Cohen, Doron Peled
2023 — conf
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.
AISoLA
Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu
2023 — conf
End-to-End AI Generated Runtime Verification from Natural Language Specification.
AISoLA (Selected Papers)
Itay Cohen, Doron Peled
2023 — conf
Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning.
AISoLA
Itay Cohen, Doron Peled
2023 B conf
Monitorability for Runtime Verification.
RV
Klaus Havelund, Doron Peled
2023 B conf
Runtime Verification Prediction for Traces with Data.
RV
Moran Omer, Doron Peled
2022 C conf
A Reinforcement-Learning Style Algorithm for Black Box Automata.
MEMOCODE
Itay Cohen, Roi Fogler, Doron Peled
2022 — conf
Formal Specification for Learning-Enabled Autonomous Systems.
NSV/FoMLAS@CAV
Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled
2022 J jnl
On monitoring linear temporal properties.
Formal Methods Syst. Des.
Klaus Havelund, Doron Peled
2021 J jnl
An extension of first-order LTL with rules with application to runtime verification.
Int. J. Softw. Tools Technol. Transf.
Klaus Havelund, Doron Peled
2021 B conf
Monitoring First-Order Interval Logic.
SEFM
Klaus Havelund, Moran Omer, Doron Peled
2021 — conf
Reverse Engineering Through Automata Learning.
Formal Methods in Outer Space
Doron Peled
2020 B conf
BDDs for Representing Data in Runtime Verification.
RV
Klaus Havelund, Doron Peled
2020 B conf
First-Order Timed Runtime Verification Using BDDs.
ATVA
Klaus Havelund, Doron Peled
2020 J jnl
First-order temporal logic monitoring with BDDs.
Formal Methods Syst. Des.
Klaus Havelund, Doron Peled, Dogan Ulus
2020 — conf
Synthesizing Control for a System with Black Box Environment, Based on Deep Learning.
ISoLA (2)
Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg
2019 B conf
An Extension of LTL with Rules and Its Application to Runtime Verification.
RV
Klaus Havelund, Doron Peled
2019 — conf
Control Synthesis Through Deep Learning.
From Reactive Systems to Cyber-Physical Systems
Doron Peled, Simon Iosti, Saddek Bensalem
2018 — conf
BDDs on the Run.
ISoLA (4)
Klaus Havelund, Doron Peled
2018 — conf
Chasing Errors Using Biasing Automata.
ISoLA (2)
Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov
2018 — conf
DejaVu: A Monitoring Tool for First-Order Temporal Logic.
MT@CPSWeek
Klaus Havelund, Doron Peled, Dogan Ulus
2018 — conf
Efficient Runtime Verification of First-Order Temporal Properties.
SPIN
Klaus Havelund, Doron Peled
2018 — conf
Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking.
SPIN
Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang
2018 — ch.
Partial-Order Reduction.
Handbook of Model Checking
Doron Peled
2018 — conf
Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability.
Models, Mindsets, Meta
Doron Peled, Klaus Havelund
2018 B conf
Runtime Verification: From Propositional to First-Order Temporal Logic.
RV
Klaus Havelund, Doron Peled
2017 — ch.
Automata Based Validation Techniques.
Dependable Software Systems Engineering
Doron Peled
2017 — book
Dependable Software Systems Engineering
Dependable Software Systems Engineering
Alexander Pretschner, Doron Peled, Thomas Hutzelmann
2017 B conf
First order temporal logic monitoring with BDDs.
FMCAD
Klaus Havelund, Doron Peled, Dogan Ulus
2017 — conf
Memory-Efficient Tactics for Randomized LTL Model Checking.
VSTTE
Kim G. Larsen, Doron Peled, Sean Sedwards
2017 J jnl
Synthesizing, correcting and improving code, using model checking-based genetic programming.
Int. J. Softw. Tools Technol. Transf.
Gal Katz, Doron Peled
2016 B ed.
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
ATVA
Cyrille Artho, Axel Legay, Doron Peled
2016 — conf
Automatic Synthesis of Code Using Genetic Programming.
ISoLA (1)
Doron Peled
2016 B conf
Using Genetic Programming for Software Reliability.
RV
Doron Peled