| Publication | Date of Publication | Type |
|---|
Challenges in formal analysis of resilience: capturing the tradeoff between the chance of failure and the cost of success
Logica Universalis | 2025-11-25 | Paper |
| A semantic model for interacting cyber-physical systems | 2024-12-06 | Paper |
| Runtime composition of systems of interacting cyber-physical components | 2024-06-26 | Paper |
| Incremental Rewriting Modulo SMT | 2024-04-26 | Paper |
Associative unification and symbolic reasoning modulo associativity in Maude
Rewriting Logic and Its Applications | 2023-07-28 | Paper |
On the formalization and computational complexity of resilience problems for cyber-physical systems
Lecture Notes in Computer Science | 2023-07-28 | Paper |
Detection and diagnosis of deviations in distributed systems of autonomous agents
Mathematical Structures in Computer Science | 2023-04-19 | Paper |
A simplifier for untyped lambda expressions
Conditional and Typed Rewriting Systems | 2023-03-09 | Paper |
| Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) | 2022-12-07 | Paper |
A semantic model for interacting cyber-physical systems
Journal of Logical and Algebraic Methods in Programming | 2022-09-30 | Paper |
A formal framework for distributed cyber-physical systems
Journal of Logical and Algebraic Methods in Programming | 2022-08-26 | Paper |
Towards the automated verification of cyber-physical security protocols: bounding the number of timed intruders
(available as arXiv preprint) | 2022-08-19 | Paper |
On the complexity of verification of time-sensitive distributed systems
(available as arXiv preprint) | 2022-07-13 | Paper |
A probabilistic approximate logic for neuro-symbolic learning and reasoning
Journal of Logical and Algebraic Methods in Programming | 2021-11-24 | Paper |
| A rewriting framework for activities subject to regulations | 2020-05-27 | Paper |
| Symbolic timed trace equivalence | 2020-03-03 | Paper |
| A multiset rewriting model for specifying and verifying timing aspects of security protocols | 2020-03-03 | Paper |
Programming and symbolic computation in Maude
Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
scientific article; zbMATH DE number 7056232 (Why is no real title available?)
(available as arXiv preprint) | 2019-05-17 | Paper |
| Inferring mechanism of action of an unknown compound from time series omics data | 2018-10-17 | Paper |
A semantics preserving actor translation
Automata, Languages and Programming | 2018-07-04 | Paper |
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
Lecture Notes in Computer Science | 2018-02-16 | Paper |
Reasoning about meta level activities in open distributed systems
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 | 2017-09-29 | Paper |
ADDSEN: Adaptive Data Processing and Dissemination for Drone Swarms in Urban Sensing
IEEE Transactions on Computers | 2017-06-08 | Paper |
A rewriting framework and logic for activities subject to regulations
Mathematical Structures in Computer Science | 2017-04-03 | Paper |
Built-in variant generation and unification, and their applications in Maude 2.7
Automated Reasoning | 2016-09-05 | Paper |
Large-scale access scheduling in wireless mesh networks using social centrality
Journal of Parallel and Distributed Computing | 2015-12-18 | Paper |
Two Decades of Maude
Lecture Notes in Computer Science | 2015-09-14 | Paper |
José Meseguer: scientist and friend extraordinaire
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems
Software, Services, and Systems | 2015-06-22 | Paper |
Coordinating asynchronous and open distributed systems under semiring-based timing constraints
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Brief announcement: A calculus of policy-based routing systems
Proceedings of the 2012 ACM symposium on Principles of distributed computing | 2014-12-05 | Paper |
Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing
Specification, Algebra, and Software | 2014-03-25 | Paper |
A rewriting logic framework for soft constraints
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Comparing three coordination models: Reo, ARC, and RRD
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
A formal framework for interactive agents
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Actors and logical analysis of interactive systems | 2013-12-04 | Paper |
| Plan in Maude specifying an active network programming language | 2013-10-02 | Paper |
Formal modeling of evolving self-adaptive systems
Science of Computer Programming | 2013-06-06 | Paper |
Reduction-based formal analysis of BGP instances
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
A Distributed Logic for Networked Cyber-Physical Systems
Fundamentals of Software Engineering | 2012-06-29 | Paper |
| Variants, unification, narrowing, and symbolic reachability in Maude 2.6 | 2012-04-24 | Paper |
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming | 2010-11-25 | Paper |
Analyzing Pathways Using SAT-Based Approaches
Algebraic Biology | 2007-11-29 | Paper |
All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
Lecture Notes in Computer Science | 2007-08-08 | 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 |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2089377 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2043522 (Why is no real title available?) | 2004-02-16 | Paper |
| scientific article; zbMATH DE number 1950558 (Why is no real title available?) | 2003-07-17 | Paper |
Specification diagrams for actor systems
Higher-Order and Symbolic Computation | 2003-05-11 | Paper |
| scientific article; zbMATH DE number 1870424 (Why is no real title available?) | 2003-02-18 | Paper |
Actor theories in rewriting logic
Theoretical Computer Science | 2002-08-13 | Paper |
Reasoning theories. Toward an architecture for open mechanized reasoning systems
Journal of Automated Reasoning | 2002-05-21 | Paper |
| scientific article; zbMATH DE number 1696902 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1693542 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1693530 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1860615 (Why is no real title available?) | 2002-01-01 | Paper |
| Simple network protocol simulation within Maude | 2001-07-16 | Paper |
| Rewriting semantics of meta-objects and composable distributed services | 2001-05-07 | Paper |
| Reasoning about functions with effects | 2001-03-19 | Paper |
| scientific article; zbMATH DE number 1538016 (Why is no real title available?) | 2001-03-06 | Paper |
Actor languages. Their syntax, semantics, translation, and equivalence
Theoretical Computer Science | 2000-08-23 | Paper |
Equivalence in functional languages with effects
Journal of Functional Programming | 2000-02-09 | Paper |
| scientific article; zbMATH DE number 1304377 (Why is no real title available?) | 2000-01-09 | Paper |
| scientific article; zbMATH DE number 1361135 (Why is no real title available?) | 1999-12-20 | Paper |
Composable semantic models for actor theories
Higher-Order and Symbolic Computation | 1999-05-31 | Paper |
| scientific article; zbMATH DE number 1231674 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1231623 (Why is no real title available?) | 1999-01-06 | Paper |
| scientific article; zbMATH DE number 1231550 (Why is no real title available?) | 1998-12-20 | Paper |
| scientific article; zbMATH DE number 1140677 (Why is no real title available?) | 1998-11-10 | Paper |
Using abstract resources to control reasoning
Journal of Logic, Language and Information | 1998-01-01 | Paper |
A foundation for actor computation
Journal of Functional Programming | 1997-06-04 | Paper |
From operational semantics to domain theory
Information and Computation | 1996-10-01 | Paper |
| scientific article; zbMATH DE number 515740 (Why is no real title available?) | 1996-04-16 | Paper |
REASONING ABOUT OBJECT SYSTEMS IN VTLoE
International Journal of Foundations of Computer Science | 1995-10-29 | Paper |
A variable typed logic of effects
Information and Computation | 1995-08-01 | Paper |
A theory of binding structures and applications to rewriting
Theoretical Computer Science | 1993-10-17 | Paper |
A theory for program and data type specification
Theoretical Computer Science | 1993-01-17 | Paper |
| scientific article; zbMATH DE number 89006 (Why is no real title available?) | 1993-01-16 | Paper |
Inferring the equivalence of functional programs that mutate data
Theoretical Computer Science | 1992-12-16 | Paper |
| scientific article; zbMATH DE number 4189708 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4062575 (Why is no real title available?) | 1988-01-01 | Paper |
