| Publication | Date of Publication | Type |
|---|
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
Fundamenta Informaticae | 2024-10-22 | Paper |
| Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL | 2024-03-14 | Paper |
Automatic analysis of consistency properties of distributed transaction systems in Maude
Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
| Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving | 2023-11-16 | Paper |
Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL
Journal of Logical and Algebraic Methods in Programming | 2021-09-03 | Paper |
Formalizing and validating the \(P\)-Store replicated data store in Maude
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
Formal Aspects of Computing | 2019-11-18 | Paper |
| ROLA: a new distributed transaction protocol and its formal analysis | 2019-09-16 | Paper |
| Design and validation of cloud storage systems using formal methods | 2018-02-16 | Paper |
SMT-based analysis of virtually synchronous distributed hybrid systems
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Order-sorted termination: the unsorted way
Algebraic and Logic Programming | 2017-01-19 | Paper |
Modeling and analyzing mobile ad hoc networks in Real-Time Maude
Journal of Logical and Algebraic Methods in Programming | 2016-12-28 | Paper |
José Meseguer: scientist and friend extraordinaire
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Hybrid multirate PALS
Lecture Notes in Computer Science | 2015-09-14 | Paper |
A framework for mobile ad hoc networks in Real-Time Maude
Rewriting Logic and Its Applications | 2015-09-09 | Paper |
[https://portal.mardi4nfdi.de/wiki/Publication:5971098 Designing reliable distributed systems.
A formal methods approach based on executable modeling in Maude]
Undergraduate Topics in Computer Science | 2015-07-15 | Paper |
Formal analysis of leader election in MANETs using Real-Time Maude
Software, Services, and Systems | 2015-06-22 | Paper |
Abstraction and completeness for real-time Maude
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Recent advances in real-time Maude
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Verifying hierarchical Ptolemy II discrete-event models using real-time maude
Science of Computer Programming | 2013-06-06 | Paper |
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Timed CTL model checking in Real-Time Maude
Rewriting Logic and Its Applications | 2012-10-16 | Paper |
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
Theoretical Computer Science | 2012-10-11 | Paper |
Probabilistic real-time rewrite theories and their expressive power
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
Theoretical Computer Science | 2009-03-02 | Paper |
Semantics and pragmatics of real-time maude
Higher-Order and Symbolic Computation | 2007-05-21 | Paper |
Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
Formal Methods in System Design | 2007-01-24 | Paper |
| scientific article; zbMATH DE number 1973125 (Why is no real title available?) | 2003-09-01 | Paper |
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science | 2002-08-13 | Paper |
| scientific article; zbMATH DE number 1693530 (Why is no real title available?) | 2002-01-22 | Paper |
| Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems | 2001-05-07 | Paper |
| scientific article; zbMATH DE number 1231547 (Why is no real title available?) | 1998-12-20 | Paper |
