Publications
] Filters: First Letter Of Last Name is M [Clear All Filters]
"Towards Guided Trajectory Exploration of Graph Transformation Systems",
Electronic Communications of the EASST, Petri Nets and Graph Transformations 2010, vol. 40, 08/2011.
Abstract
"Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts",
IEEE Access, vol. 8, pp. 190760–190783, 2020.
"Watchdog Processors in Parallel Systems",
MICROPROCESSING AND MICROPROGRAMMING, vol. 39, issue 2-5, pp. 69 - 74, 1993.
Abstract
"Will My Program Break on This Faulty Processor? - Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software",
ACM Trans. Embed. Comput. Syst., vol. 18, no. 5s, New York, NY, USA, ACM, pp. 89:1–89:21, 2019.
Abstract
"Composable Framework Support for Software-FMEA through Model Execution",
Certifications of Critical Systems – The CECRIS Experience, Delft, Netherlands, River Publishers, pp. 183–200, 2017.
"A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems",
Agent and Multi-Agent Systems. Technologies and Applications, vol. 7327: Springer Berlin / Heidelberg, pp. 504-513, 2012.
Abstract
"A Configurable CEGAR Framework with Interpolation-Based Refinements",
Formal Techniques for Distributed Objects, Components, and Systems, vol. 9688: Springer International Publishing, pp. 158-174, 2016.
Abstract
"A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol",
Software Engineering for Resilient Systems, vol. 9274: Springer International Publishing, pp. 31-45, 09/15, 2015.
"Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models",
Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 281-300, 2016.
"Error Detection in Control Flow of Event-Driven State Based Applications",
Software Engineering of Fault Tolerant Systems, New Jersey, World Scientific Publishing Co., pp. 150 - 174, 2007.
"Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers",
Proceedings of the 14th International Workshop on Formal Engineering Approaches to Software Components and Architectures, vol. 245: Open Publishing Association, pp. 31–45, 2017.
Abstract
"Formal verification of function block based specifications of safety-critical software",
Proceedings of the 8th International Conference on The Modern Information Technology in the Innovation Processes of the Industrial Enterprises, Budapest, MTA SZTAKI - Amulett'98, pp. 211 - 218, 2006///.
"Formal Verification of Safety PLC Based Control Software",
Integrated Formal Methods, vol. 9681: Springer, pp. 508-522, 2016.
"Lazy Reachability Checking for Timed Automata using Interpolants",
Formal Modelling and Analysis of Timed Systems, vol. 10419: Springer, pp. 264–280, 2017.
Abstract
"Lazy Reachability Checking for Timed Automata with Discrete Variables",
Model Checking Software, SPIN 2018, vol. 10869: Springer, pp. 235-254, 2018.
Abstract
"Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services",
Architecting Dependable Systems V, Berlin ; Heidelberg, Springer-Verlag, pp. 150 - 174, 2008.
"PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research",
Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 123-132, 2016.
Abstract
"Robustness Testing Techniques and Tools",
Resilience Assessment and Evaluation of Computing Systems: Springer Berlin Heidelberg, pp. 323-339, 2012.
"Saturation-based Incremental LTL Model Checking with Inductive Proofs",
Tools and Algorithms for the Construction and Analysis of Systems, vol. 9035: Springer, pp. 643-657, 2015.
"SeCMER: A Tool to Gain Control of Security Requirements Evolution",
Towards a Service-Based Internet, vol. 6994: Springer Berlin / Heidelberg, pp. 321-322, 2011.
Abstract
10.1007/978-3-642-24755-2_35
"Sensor Selection for IT Infrastructure Monitoring",
Autonomic Computing and Communications Systems, vol. 23: Springer Berlin Heidelberg, pp. 130-143, 2010.
10.1007/978-3-642-11482-3_9
Software Engineering for Service-Oriented Overlay Computers,
: Springer, 2009.
"TERMOS: A Formal Language for Scenarios in Mobile Computing Systems",
Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol. 73: Springer Berlin Heidelberg, pp. 285-296, 2012.
Abstract
"A Tool for Managing Evolving Security Requirements",
IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012.
Abstract
10.1007/978-3-642-29749-6_8
"Towards a Formal Operational Semantics of UML Statechart Diagrams",
Formal Methods for Open Object-Based Distributed Systems (Proc. Third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'99), February 15-18, 1999, Florence, Italy), Deventer, Kluwer Academic Publishers, pp. 331 - 347, 1999.
