Falcone, Yliès; Jaber, Mohamad; Nguyen, Thanh-Hung; Bozga, Marius; Bensalem, Saddek Runtime verification of component-based systems. (English) Zbl 1350.68060 Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 204-220 (2011). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{Y. Falcone} et al., Lect. Notes Comput. Sci. 7041, 204--220 (2011; Zbl 1350.68060) Full Text: DOI
Bensalem, Saddek; Bozga, Marius; Sifakis, Joseph; Nguyen, Thanh-Hung Compositional verification for component-based systems and application. (English) Zbl 1183.68364 Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 64-79 (2008). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{S. Bensalem} et al., Lect. Notes Comput. Sci. 5311, 64--79 (2008; Zbl 1183.68364) Full Text: DOI
Baukus, K.; Stahl, K.; Bensalem, S.; Lakhnech, Y. Networks of processes with parameterized state space. (English) Zbl 1262.68103 Mayr, Richard (ed.), VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 4, 386-400 (2001). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{K. Baukus} et al., Electron. Notes Theor. Comput. Sci. 50, No. 4, 386--400 (2001; Zbl 1262.68103) Full Text: DOI