2025
Carlos Olarte, Peter Csaba Ölveczky:
Formal analysis of real-time systems with user-defined strategies in rewriting logic. J. Log. Algebraic Methods Program. 146: 101072 (2025) [PDF]
Mircea Marin, Peter Csaba Ölveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae:
Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic. Rebeca for Actor Analysis in Action 2025: 70-101 [PDF]
Carlos Olarte, Daniel Osorio, Carlos Ramírez, Camilo Rocha:
Algorithmic Analysis of Event-B in Rewriting Logic. NFM 2025: 275-293 [PDF]
Besik Dundua, Temur Kutsia:
Higher-Order Pattern Unification Modulo Similarity Relations. LOPSTR 2025: 75-93 [PDF]
Besik Dundua, Demetre Labadze, Tornike Tsereteli:
Similarity-Based Constraint Solving Modulo Commutativity: A Unified Framework. FUZZ 2025: 1-6 [PDF]
Vyktor Rud, Volodymyr Peschanenko:
Understanding Single-Function Reentrancy Attacks (2025). ICTERI 2024. [PDF]
2024
Oleg Odarushchenko, Oleksandr Letychevskyi, Volodymyr Peschanenko and others:
Information Technology of Formal Verification and Design of FPGA Electronic Projects. 14th International Conference on Dependable Systems, Services and Technologies (DESSERT), Athens, Greece, 2024, pp. 1-6 [PDF]
Besik Dundua, Ioane Kapanadze, Helmut Seidl:
Prenex universal first-order safety properties. Inf. Process. Lett. 186: 106488 (2024)
Oleksandr Letychevskyi, Volodymyr Peschanenko:
Usage of Cognitive Networks for Cyberattack Detection and Prevention. ICTERI 2024: 76-91 [PDF]
Carlos Olarte, Peter Csaba Ölveczky:
Timed Strategies for Real-Time Rewrite Theories. WRLA 2024: 124-144 [PDF]
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci:
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets. Fundam. Informaticae 192(3-4): 261-312 (2024) [PDF]
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming:
Symbolic
analysis and parameter synthesis for networks of parametric timed
automata with global variables using Maude and SMT solving. Sci. Comput. Program. 233: 103074 (2024) [PDF]
Peter Csaba Ölveczky:
Teaching an Advanced Maude-Based Formal Methods Course in Oslo. WRLA 2024: 195-207 [PDF]
Geunyeol Yu, Kyungmin Bae:
A Flexible Framework for Integrating Maude and SMT Solvers Using Python. WRLA 2024: 179-192 [PDF]
Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña:
Verifying Invariants by Deductive Model Checking. WRLA 2024: 3-21 [PDF]
Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky:
Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADL. ISoLA (2) 2024: 243-262 [PDF]
Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk:
Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. PPDP 2024: 10:1-10:14 [PDF]