Jeppu, Natasha Yogananda; Melham, Tom; Kroening, Daniel Enhancing active model learning with equivalence checking using simulation relations. (English) Zbl 07815088 Form. Methods Syst. Des. 61, No. 2-3, 164-197 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{N. Y. Jeppu} et al., Form. Methods Syst. Des. 61, No. 2--3, 164--197 (2022; Zbl 07815088) Full Text: DOI OA License
Pferscher, Andrea; Aichernig, Bernhard K. Fingerprinting and analysis of Bluetooth devices with automata learning. (English) Zbl 07785150 Form. Methods Syst. Des. 61, No. 1, 35-62 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{A. Pferscher} and \textit{B. K. Aichernig}, Form. Methods Syst. Des. 61, No. 1, 35--62 (2022; Zbl 07785150) Full Text: DOI arXiv OA License
Henry, Léo; Jéron, Thierry; Markey, Nicolas Control strategies for off-line testing of timed systems. (English) Zbl 07683086 Form. Methods Syst. Des. 60, No. 2, 147-194 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{L. Henry} et al., Form. Methods Syst. Des. 60, No. 2, 147--194 (2022; Zbl 07683086) Full Text: DOI
André, Étienne; Nguyen, Hoang Gia; Petrucci, Laure; Sun, Jun Distributed parametric model checking timed automata under non-zenoness assumption. (English) Zbl 1522.68294 Form. Methods Syst. Des. 59, No. 1-3, 253-290 (2021). MSC: 68Q60 68Q45 68Q85 PDFBibTeX XMLCite \textit{É. André} et al., Form. Methods Syst. Des. 59, No. 1--3, 253--290 (2021; Zbl 1522.68294) Full Text: DOI
Bresolin, Davide; El-Fakih, Khaled; Villa, Tiziano; Yevtushenko, Nina Equivalence checking and intersection of deterministic timed finite state machines. (English) Zbl 1522.68260 Form. Methods Syst. Des. 59, No. 1-3, 77-102 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Bresolin} et al., Form. Methods Syst. Des. 59, No. 1--3, 77--102 (2021; Zbl 1522.68260) Full Text: DOI arXiv
Lang, Frédéric; Mateescu, Radu; Mazzanti, Franco Compositional verification of concurrent systems by combining bisimulations. (English) Zbl 1526.68008 Form. Methods Syst. Des. 58, No. 1-2, 83-125 (2021). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{F. Lang} et al., Form. Methods Syst. Des. 58, No. 1--2, 83--125 (2021; Zbl 1526.68008) Full Text: DOI HAL
Gainer, Paul; Linker, Sven; Dixon, Clare; Hustadt, Ullrich; Fisher, Michael Multi-scale verification of distributed synchronisation. (English) Zbl 1506.68009 Form. Methods Syst. Des. 55, No. 3, 171-221 (2020). MSC: 68M14 68Q60 68Q85 PDFBibTeX XMLCite \textit{P. Gainer} et al., Form. Methods Syst. Des. 55, No. 3, 171--221 (2020; Zbl 1506.68009) Full Text: DOI arXiv
Aarts, Fides; Jonsson, Bengt; Uijen, Johan; Vaandrager, Frits Generating models of infinite-state communication protocols using regular inference with abstraction. (English) Zbl 1322.68131 Form. Methods Syst. Des. 46, No. 1, 1-41 (2015). MSC: 68Q60 68M12 68Q45 PDFBibTeX XMLCite \textit{F. Aarts} et al., Form. Methods Syst. Des. 46, No. 1, 1--41 (2015; Zbl 1322.68131) Full Text: DOI
Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter A compositional modelling and analysis framework for stochastic hybrid systems. (English) Zbl 1291.68293 Form. Methods Syst. Des. 43, No. 2, 191-232 (2013). MSC: 68Q87 68Q85 68Q60 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Form. Methods Syst. Des. 43, No. 2, 191--232 (2013; Zbl 1291.68293) Full Text: DOI
André, Étienne; Fribourg, Laurent; Sproston, Jeremy An extension of the inverse method to probabilistic timed automata. (English) Zbl 1291.68240 Form. Methods Syst. Des. 42, No. 2, 119-145 (2013). MSC: 68Q60 68Q87 68Q45 PDFBibTeX XMLCite \textit{É. André} et al., Form. Methods Syst. Des. 42, No. 2, 119--145 (2013; Zbl 1291.68240) Full Text: DOI
Attie, Paul C. On the refinement of liveness properties of distributed systems. (English) Zbl 1233.68160 Form. Methods Syst. Des. 39, No. 1, 1-46 (2011). MSC: 68Q85 68Q45 03B70 PDFBibTeX XMLCite \textit{P. C. Attie}, Form. Methods Syst. Des. 39, No. 1, 1--46 (2011; Zbl 1233.68160) Full Text: DOI arXiv
Bozzelli, Laura; La Torre, Salvatore Decision problems for lower/upper bound parametric timed automata. (English) Zbl 1186.68245 Form. Methods Syst. Des. 35, No. 2, 121-151 (2009). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{L. Bozzelli} and \textit{S. La Torre}, Form. Methods Syst. Des. 35, No. 2, 121--151 (2009; Zbl 1186.68245) Full Text: DOI
Krichen, Moez; Tripakis, Stavros Conformance testing for real-time systems. (English) Zbl 1180.68072 Form. Methods Syst. Des. 34, No. 3, 238-304 (2009). MSC: 68M15 68Q45 68Q60 PDFBibTeX XMLCite \textit{M. Krichen} and \textit{S. Tripakis}, Form. Methods Syst. Des. 34, No. 3, 238--304 (2009; Zbl 1180.68072) Full Text: DOI
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François Robust safety of timed automata. (English) Zbl 1165.68392 Form. Methods Syst. Des. 33, No. 1-3, 45-84 (2008). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. De Wulf} et al., Form. Methods Syst. Des. 33, No. 1--3, 45--84 (2008; Zbl 1165.68392) Full Text: DOI
Fokkink, Wan; Pang, Jun; van de Pol, Jaco Cones and foci: A mechanical framework for protocol verification. (English) Zbl 1103.68652 Form. Methods Syst. Des. 29, No. 1, 1-31 (2006). MSC: 68Q85 PDFBibTeX XMLCite \textit{W. Fokkink} et al., Form. Methods Syst. Des. 29, No. 1, 1--31 (2006; Zbl 1103.68652) Full Text: DOI
Inggs, Cornelia P.; Barringer, Howard CTL model checking on a shared-memory architecture. (English) Zbl 1102.68504 Form. Methods Syst. Des. 29, No. 2, 135-155 (2006). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. P. Inggs} and \textit{H. Barringer}, Form. Methods Syst. Des. 29, No. 2, 135--155 (2006; Zbl 1102.68504) Full Text: DOI
Braberman, V.; Olivero, A.; Schapachnik, F. Dealing with practical limitations of distributed timed model checking for timed automata. (English) Zbl 1110.68073 Form. Methods Syst. Des. 29, No. 2, 197-214 (2006). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{V. Braberman} et al., Form. Methods Syst. Des. 29, No. 2, 197--214 (2006; Zbl 1110.68073) Full Text: DOI
Iosif, Radu; Dwyer, Matthew B.; Hatcliff, John Translating Java for multiple model checkers: The Bandera back-end. (English) Zbl 1086.68557 Form. Methods Syst. Des. 26, No. 2, 137-180 (2005). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. Iosif} et al., Form. Methods Syst. Des. 26, No. 2, 137--180 (2005; Zbl 1086.68557) Full Text: DOI HAL
Inverardi, Paola; Priami, Corrado Automatic verification of distributed systems: the process algebra approach. (English) Zbl 1425.68294 Form. Methods Syst. Des. 8, No. 1, 7-38 (1996). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{P. Inverardi} and \textit{C. Priami}, Form. Methods Syst. Des. 8, No. 1, 7--38 (1996; Zbl 1425.68294) Full Text: DOI