Search results for "mCRL2"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
112	Natallia Kokash, Christian Krause 0001, Erik P. de Vink	Data-aware design and verification of service compositions with Reo and mCRL2.	SAC	2010	DBLP DOI BibTeX RDF	mCRL2, verification, Reo, service-based systems
99	Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi 0001, Jan Friso Groote	Sarir: A Rebeca to mCRL2 Translator.	ACSD	2007	DBLP DOI BibTeX RDF
51	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko	Verification of networks of timed automata using mCRL2.	IPDPS	2008	DBLP DOI BibTeX RDF
48	Hossein Hojjat, Mohammad Reza Mousavi 0001, Marjan Sirjani	A framework for performance evaluation and functional verification in stochastic process algebras.	SAC	2008	DBLP DOI BibTeX RDF
27	Parth Bora, Pham Duc Minh, Tim A. C. Willemse	Modelling the Raft Distributed Consensus Protocol in mCRL2.	CoRR	2024	DBLP DOI BibTeX RDF
27	Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse	XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications.	Sci. Comput. Program.	2024	DBLP DOI BibTeX RDF
27	Nisha Pal, Dharmendra Kumar Yadav	Formally modeling and verifying a software component retrieval system using mCRL2.	Int. J. Syst. Assur. Eng. Manag.	2023	DBLP DOI BibTeX RDF
27	Muhammad Atif, Jan Friso Groote	Understanding Behaviour of Distributed Systems Using mCRL2, 1		2023	DOI RDF
27	Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse	Formal verification of OIL component specifications using mCRL2.	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
27	Anna Stramaglia, Jeroen J. A. Keiren	Formal verification of an industrial UML-like model using mCRL2 (extended version).	CoRR	2022	DBLP DOI BibTeX RDF
27	Anna Stramaglia, Jeroen J. A. Keiren	Formal Verification of an Industrial UML-like Model using mCRL2.	FMICS	2022	DBLP DOI BibTeX RDF
27	Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse	Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2.	FORTE	2022	DBLP DOI BibTeX RDF
27	Jan Friso Groote, Jeroen J. A. Keiren	Tutorial: Designing Distributed Software in mCRL2.	CoRR	2021	DBLP BibTeX RDF
27	Mark Bouwman, Bas Luttik, Djurre van der Wal	A Formalisation of SysML State Machines in mCRL2.	FORTE	2021	DBLP DOI BibTeX RDF
27	Jan Friso Groote, Jeroen J. A. Keiren	Tutorial: Designing Distributed Software in mCRL2.	FORTE	2021	DBLP DOI BibTeX RDF
27	Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse	Formal Verification of OIL Component Specifications using mCRL2.	FMICS	2020	DBLP DOI BibTeX RDF
27	Mark Bouwman, Bob Janssen, Bas Luttik	Formal Modelling and Verification of an Interlocking Using mCRL2.	FMICS	2019	DBLP DOI BibTeX RDF
27	Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse	The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.	TACAS (2)	2019	DBLP DOI BibTeX RDF
27	Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse	Modelling and Analysing Software in mCRL2.	FACS	2019	DBLP DOI BibTeX RDF
27	Maarten Bartholomeus, Bas Luttik, Tim A. C. Willemse	Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset.	FMICS	2018	DBLP DOI BibTeX RDF
27	Rob J. van Glabbeek, Peter Höfner, Djurre van der Wal	Analysing AWN-Specifications Using mCRL2 (Extended Abstract).	IFM	2018	DBLP DOI BibTeX RDF
27	Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse	Formalising the Dezyne Modelling Language in mCRL2.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
27	Ziad Ben Snaiba, Erik P. de Vink, Tim A. C. Willemse	Family-Based Model Checking of SPL based on mCRL2.	SPLC (B)	2017	DBLP DOI BibTeX RDF
27	Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse	Family-Based Model Checking with mCRL2.	FASE	2017	DBLP DOI BibTeX RDF
27	Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres	Extending mCRL2 with ready simulation and iocos input-output conformance simulation.	SAC	2015	DBLP DOI BibTeX RDF
27	Maurice H. ter Beek, Erik P. de Vink	Towards Modular Verification of Software Product Lines with mCRL2.	ISoLA (1)	2014	DBLP DOI BibTeX RDF
27	Maurice H. ter Beek, Erik P. de Vink	Using mCRL2 for the analysis of software product lines.	FormaliSE	2014	DBLP DOI BibTeX RDF
27	Maurice H. ter Beek, Erik P. de Vink	Software product line analysis with mCRL2.	SPLC Workshops	2014	DBLP DOI BibTeX RDF
27	Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse	An Overview of the mCRL2 Toolset and Its Recent Advances.	TACAS	2013	DBLP DOI BibTeX RDF
27	Jeroen J. A. Keiren, Martijn Klabbers	Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2012	DBLP DOI BibTeX RDF
27	Natallia Kokash, Christian Krause 0001, Erik P. de Vink	Reo + mCRL2: A framework for model-checking dataflow in service compositions.	Formal Aspects Comput.	2012	DBLP DOI BibTeX RDF
27	Jasen Markovski, Michel A. Reniers	Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2.	ICT Innovations	2012	DBLP DOI BibTeX RDF
27	Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote	Dogfooding the Formal Semantics of mCRL2.	SEW	2012	DBLP DOI BibTeX RDF
27	Christoph Brandt, Frank Hermann 0001, Jan Friso Groote	Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra.	J. Res. Pract. Inf. Technol.	2011	DBLP BibTeX RDF
27	Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse	Experiences in developing the mCRL2 toolset.	Softw. Pract. Exp.	2011	DBLP DOI BibTeX RDF
27	Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi 0001, Jaco van de Pol	Towards model checking executable UML specifications in mCRL2.	Innov. Syst. Softw. Eng.	2010	DBLP DOI BibTeX RDF
27	Frank P. M. Stappers, Michel A. Reniers, Jan Friso Groote	Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study.	FMCO	2009	DBLP DOI BibTeX RDF
27	Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko	Analysis of a Session-Layer Protocol in mCRL2.	FMICS	2007	DBLP DOI BibTeX RDF
27	Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg	The Formal Specification Language mCRL2.	MMOSS	2006	DBLP BibTeX RDF
27	Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko	From µCRL to mCRL2: Motivation and Outline.	APC 25	2005	DBLP DOI BibTeX RDF
24	Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko	Behavioural Analysis of an I2C Linux Driver.	FMICS	2009	DBLP DOI BibTeX RDF
24	Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko	Towards Formal Verification of ToolBusScripts.	AMAST	2008	DBLP DOI BibTeX RDF
24	Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink	Architecting Security with Paradigm.	WADS	2008	DBLP DOI BibTeX RDF