Doron Peled

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 32

Top Topics

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis
TP-DejaVu: Combining Operational and Declarative Runtime Verification. VMCAI (2) (2024)
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. CoRR (2024)
Itay Cohen, Doron Peled
Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning. AISoLA (2023)
Moran Omer, Doron Peled
Runtime Verification Prediction for Traces with Data. RV (2023)
Roi Fogler, Itay Cohen, Doron Peled
Accelerating Black Box Testing with Light-Weight Learning. SPIN (2023)
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
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. AISoLA (2023)
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. PoEM Companion (2023)
Klaus Havelund, Doron Peled
Monitorability for Runtime Verification. RV (2023)
Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled
Formal Specification for Learning-Enabled Autonomous Systems. NSV/FoMLAS@CAV (2022)
Itay Cohen, Roi Fogler, Doron Peled
A Reinforcement-Learning Style Algorithm for Black Box Automata. MEMOCODE (2022)
Klaus Havelund, Doron Peled
On monitoring linear temporal properties. Formal Methods Syst. Des. 60 (3) (2022)
Klaus Havelund, Moran Omer, Doron Peled
Monitoring First-Order Interval Logic. SEFM (2021)
Klaus Havelund, Doron Peled
An extension of first-order LTL with rules with application to runtime verification. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Doron Peled
Reverse Engineering Through Automata Learning. Formal Methods in Outer Space (2021)
Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg
Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. ISoLA (2) (2020)
Klaus Havelund, Doron Peled
First-Order Timed Runtime Verification Using BDDs. ATVA (2020)
Klaus Havelund, Doron Peled, Dogan Ulus
First-order temporal logic monitoring with BDDs. Formal Methods Syst. Des. 56 (1) (2020)
Klaus Havelund, Doron Peled
BDDs for Representing Data in Runtime Verification. RV (2020)
Doron Peled, Simon Iosti, Saddek Bensalem
Control Synthesis Through Deep Learning. From Reactive Systems to Cyber-Physical Systems (2019)
Klaus Havelund, Doron Peled
An Extension of LTL with Rules and Its Application to Runtime Verification. RV (2019)
Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov
Chasing Errors Using Biasing Automata. ISoLA (2) (2018)
Klaus Havelund, Doron Peled, Dogan Ulus
DejaVu: A Monitoring Tool for First-Order Temporal Logic. MT@CPSWeek (2018)
Klaus Havelund, Doron Peled
Runtime Verification: From Propositional to First-Order Temporal Logic. RV (2018)
Klaus Havelund, Doron Peled
Efficient Runtime Verification of First-Order Temporal Properties. SPIN (2018)
Doron Peled, Klaus Havelund
Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability. Models, Mindsets, Meta (2018)
Klaus Havelund, Doron Peled
BDDs on the Run. ISoLA (4) (2018)
Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang
Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking. SPIN (2018)
Klaus Havelund, Doron Peled, Dogan Ulus
First order temporal logic monitoring with BDDs. FMCAD (2017)
Gal Katz, Doron Peled
Synthesizing, correcting and improving code, using model checking-based genetic programming. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Kim G. Larsen, Doron Peled, Sean Sedwards
Memory-Efficient Tactics for Randomized LTL Model Checking. VSTTE (2017)
Doron Peled
Using Genetic Programming for Software Reliability. RV (2016)
Doron Peled
Automatic Synthesis of Code Using Genetic Programming. ISoLA (1) (2016)