2024
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022).
Sci. Comput. Program., 2024
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving.
Sci. Comput. Program., 2024
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets.
Fundam. Informaticae, 2024
Teaching an Advanced Maude-Based Formal Methods Course in Oslo.
Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024
Timed Strategies for Real-Time Rewrite Theories.
Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024
Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADL.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
2023
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL.
Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2022
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL.
Int. J. Softw. Tools Technol. Transf., 2022
Bridging the semantic gap between qualitative and quantitative models of distributed systems.
Proc. ACM Program. Lang., 2022
Teaching Formal Methods to Undergraduate Students Using Maude.
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude.
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata.
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022
2021
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems.
ACM Trans. Embed. Comput. Syst., 2021
Software engineering and formal methods: SEFM 2019 special section.
Softw. Syst. Model., 2021
Formal Techniques for Safety-Critical Systems (FTSCS 2018).
Sci. Comput. Program., 2021
Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL.
J. Log. Algebraic Methods Program., 2021
HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Formal aspects of component software (FACS 2018).
Sci. Comput. Program., 2020
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
2019
Formal Techniques for Safety-Critical Systems (FTSCS 2016).
Sci. Comput. Program., 2019
Formal modeling and analysis of safety-critical human multitasking.
Innov. Syst. Softw. Eng., 2019
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis.
Formal Aspects Comput., 2019
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Design and Validation of Cloud Storage Systems Using Rewriting Logic.
Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2019
Teaching Formal Methods for Fun Using Maude.
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019
Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
2018
Formal Techniques for Safety-Critical Systems (FTSCS 2015).
Sci. Comput. Program., 2018
Formal Modeling and Analysis of the Walter Transactional Data Store.
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
An Executable Formal Framework for Safety-Critical Human Multitasking.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
ROLA: A New Distributed Transaction Protocol and Its Formal Analysis.
Proceedings of the Fundamental Approaches to Software Engineering, 2018
2017
Designing Reliable Distributed Systems - A Formal Methods Approach Based on Executable Modeling in Maude
Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-4471-6686-3, 2017
Formal Techniques for Safety-Critical Systems (FTSCS 2014).
Sci. Comput. Program., 2017
Design and Validation of Cloud Storage Systems Using Formal Methods.
Proceedings of the Topics in Theoretical Computer Science, 2017
An Algorithm for Simulating Human Selective Attention.
Proceedings of the Software Engineering and Formal Methods, 2017
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking.
Proceedings of the Formal Methods and Software Engineering, 2017
2016
Modeling and analyzing mobile ad hoc networks in Real-Time Maude.
J. Log. Algebraic Methods Program., 2016
Formalizing and Validating the P-Store Replicated Data Store in Maude.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016
Formal modeling and analysis of RAMP transaction systems.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
2015
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude.
Sci. Comput. Program., 2015
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories.
Sci. Comput. Program., 2015
Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?
Sci. Comput. Program., 2015
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study.
Sci. Comput. Program., 2015
Sci. Comput. Program., 2015
José Meseguer: Scientist and Friend Extraordinaire.
Proceedings of the Logic, Rewriting, and Concurrency, 2015
Formal Analysis of Leader Election in MANETs Using Real-Time Maude.
Proceedings of the Software, 2015
Proceedings of the Logic, Rewriting, and Concurrency, 2015
2014
Formal patterns for multirate distributed real-time systems.
Sci. Comput. Program., 2014
Sci. Comput. Program., 2014
Real-Time Maude and Its Applications.
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014
A Framework for Mobile Ad hoc Networks in Real-Time Maude.
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014
Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
Definition, Semantics, and Analysis of Multirate Synchronous AADL.
Proceedings of the FM 2014: Formal Methods, 2014
Formal Modeling and Analysis of Google's Megastore in Real-Time Maude.
Proceedings of the Specification, Algebra, and Software, 2014
2013
Scalable and Fully Consistent Transactions in the Cloud through Hierarchical Validation.
Proceedings of the Data Management in Cloud, Grid and P2P Systems, 2013
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013
Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation and Propagation under Different Scenarios.
Proceedings of the Computational Methods in Systems Biology, 2013
A Timed CTL Model Checker for Real-Time Maude.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
2012
Formalization and correctness of the PALS architectural pattern for distributed real-time systems.
Theor. Comput. Sci., 2012
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude.
Sci. Comput. Program., 2012
J. Log. Algebraic Methods Program., 2012
PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012
Timed CTL Model Checking in Real-Time Maude.
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012
Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude.
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
The SynchAADL2Maude Tool.
Proceedings of the Fundamental Approaches to Software Engineering, 2012
Formal Patterns for Multi-rate Distributed Real-Time Systems.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012
2011
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011
Formal Model Engineering for Embedded Systems Using Real-Time Maude
Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
Synchronous AADL and Its Formal Analysis in Real-Time Maude.
Proceedings of the Formal Methods and Software Engineering, 2011
Probabilistic Real-Time Rewrite Theories and Their Expressive Power.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011
2010
Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems.
Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
A Rewriting-Logic-Based Technique for Modeling Thermal Systems
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude.
Proceedings of the Formal Techniques for Distributed Systems, 2010
Formal Real-Time Model Transformations in MOMENT2.
Proceedings of the Fundamental Approaches to Software Engineering, 2010
2009
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude.
Theor. Comput. Sci., 2009
Teaching Formal Methods Based on Rewriting Logic and Maude.
Proceedings of the Teaching Formal Methods, Second International Conference, 2009
Formal Modeling and Analysis of an IETF Multicast Protocol.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude.
Proceedings of the Formal Methods and Software Engineering, 2009
The Priced-Timed Maude Tool.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
2008
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude.
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008
The Real-Time Maude Tool.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude.
Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008
Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008
2007
Semantics and pragmatics of Real-Time Maude.
High. Order Symb. Comput., 2007
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the All About Maude, 2007
Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007
The Maude Formal Tool Environment.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007
2006
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.
Formal Methods Syst. Des., 2006
Abstraction and Completeness for Real-Time Maude.
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006
Recent Advances in Real-Time Maude.
Proceedings of the 7th International Workshop on Rule Based Programming, 2006
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude.
Proceedings of the Fundamental Approaches to Software Engineering, 2006
2004
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004
Specification and Analysis of Real-Time Systems Using Real-Time Maude.
Proceedings of the Fundamental Approaches to Software Engineering, 2004
2002
Specification of real-time and hybrid systems in rewriting logic.
Theor. Comput. Sci., 2002
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks.
Proceedings of the 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 2002
2001
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
Proceedings of the Fundamental Approaches to Software Engineering, 2001
Rewriting Logic as a Unifying Framework for Petri Nets.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001
2000
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems.
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
1996
Specifying real-time systems in rewriting logic.
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996
Order-Sorted Termination: The Unsorted Way.
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996
1995
An Object-Oriented Algebraic Steam-Boiler Control Specification.
Proceedings of the Formal Methods for Industrial Applications, 1995