| 2026 | TACAS | Efficient Verification of Lingua Franca Programs. | Peter Csaba lveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae, Mircea Marin |
| 2024 | ISoLA | Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADL. | Jaehun Lee, Kyungmin Bae, Peter Csaba lveczky |
| 2022 | ISoLA | An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs. | Jaehun Lee, Kyungmin Bae, Peter Csaba lveczky |
| 2021 | CAV | HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL. | Jaehun Lee, Sharon Kim, Kyungmin Bae, Peter Csaba lveczky |
| 2019 | FM | Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude. | Antonio Cerone, Peter Csaba lveczky |
| 2019 | SYNASC | Design and Validation of Cloud Storage Systems Using Rewriting Logic. | Peter Csaba lveczky |
| 2019 | TACAS | Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. | Si Liu, Peter Csaba lveczky, Min Zhang, Qi Wang, Jos Meseguer |
| 2018 | FASE | ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. | Si Liu, Peter Csaba lveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, Jos Meseguer |
| 2017 | ICFEM | Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking. | Si Liu, Peter Csaba lveczky, Jatin Ganhotra, Indranil Gupta, Jos Meseguer |
| 2017 | SEFM | An Algorithm for Simulating Human Selective Attention. | Giovanna Broccia, Paolo Milazzo, Peter Csaba lveczky |
| 2016 | SAC | Formal modeling and analysis of RAMP transaction systems. | Si Liu, Peter Csaba lveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, Jos Meseguer |
| 2014 | FM | Definition, Semantics, and Analysis of Multirate Synchronous AADL. | Kyungmin Bae, Peter Csaba lveczky, Jos Meseguer |
| 2014 | SEFM | Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis. | Jon Grov, Peter Csaba lveczky |
| 2013 | CALCO | The HI-Maude Tool. | Muhammad Fadlisyah, Peter Csaba lveczky |
| 2013 | CALCO | A Timed CTL Model Checker for Real-Time Maude. | Daniela Lepri, Erika brahm, Peter Csaba lveczky |
| 2012 | FASE | The SynchAADL2Maude Tool. | Kyungmin Bae, Peter Csaba lveczky, Jos Meseguer, Abdullah Al-Nayeem |
| 2011 | ICFEM | Synchronous AADL and Its Formal Analysis in Real-Time Maude. | Kyungmin Bae, Peter Csaba lveczky, Abdullah Al-Nayeem, Jos Meseguer |
| 2011 | SEFM | Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. | Muhammad Fadlisyah, Peter Csaba lveczky, Erika brahm |
| 2010 | FASE | Formal Real-Time Model Transformations in MOMENT2. | Artur Boronat, Peter Csaba lveczky |
| 2010 | FORTE | Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. | Peter Csaba lveczky, Artur Boronat, Jos Meseguer |
| 2010 | ICFEM | Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. | Jos Meseguer, Peter Csaba lveczky |
| 2009 | CALCO | The Priced-Timed Maude Tool. | Leon Bendiksen, Peter Csaba lveczky |
| 2009 | ICFEM | Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. | Kyungmin Bae, Peter Csaba lveczky, Thomas Huining Feng, Stavros Tripakis |
| 2009 | SEFM | Formal Modeling and Analysis of an IETF Multicast Protocol. | Elisabeth Lien, Peter Csaba lveczky |
| 2008 | SNPD | Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude. | Peter Csaba lveczky |
| 2008 | TACAS | The Real-Time Maude Tool. | Peter Csaba lveczky, Jos Meseguer |
| 2007 | CALCO | The Maude Formal Tool Environment. | Manuel Clavel, Francisco Durn, Joe Hendrix, Salvador Lucas, Jos Meseguer, Peter Csaba lveczky |
| 2006 | FASE | Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. | Peter Csaba lveczky, Marco Caccamo |
| 2004 | FASE | Specification and Analysis of Real-Time Systems Using Real-Time Maude. | Peter Csaba lveczky, Jos Meseguer |
| 2001 | FASE | Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. | Peter Csaba lveczky, Mark Keaton, Jos Meseguer, Carolyn L. Talcott, Steve Zabele |