Reinkemeier, Philipp; Benveniste, Albert; Damm, Werner; Stierand, Ingo Contracts for schedulability analysis. (English) Zbl 1465.90032 Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9268, 270-287 (2015). MSC: 90B35 PDFBibTeX XMLCite \textit{P. Reinkemeier} et al., Lect. Notes Comput. Sci. 9268, 270--287 (2015; Zbl 1465.90032) Full Text: DOI HAL
Damm, Werner; Mikschl, Alfred; Oehlerking, Jens; Olderog, Ernst-Rüdiger; Pang, Jun; Platzer, André; Segelken, Marc; Wirtz, Boris Automating verification of cooperation, control, and design in traffic applications. (English) Zbl 1151.68476 Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 115-169 (2007). MSC: 68Q60 90B20 93C30 93C83 PDFBibTeX XMLCite \textit{W. Damm} et al., Lect. Notes Comput. Sci. 4700, 115--169 (2007; Zbl 1151.68476) Full Text: DOI
Damm, W.; Hungar, H.; Olderog, E.-R. Verification of cooperating traffic agents. (English) Zbl 1122.90325 Int. J. Control 79, No. 5, 395-421 (2006). MSC: 90B20 93A30 PDFBibTeX XMLCite \textit{W. Damm} et al., Int. J. Control 79, No. 5, 395--421 (2006; Zbl 1122.90325) Full Text: DOI
Damm, Werner; Hungar, Hardi; Olderog, Ernst-Rüdiger On the verification of cooperating traffic agents. (English) Zbl 1104.68526 de Boer, Frank S. (ed.) et al., Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4–7, 2003. Revised lectures. Berlin: Springer (ISBN 3-540-22942-6/pbk). Lecture Notes in Computer Science 3188, 77-110 (2004). MSC: 68Q60 68T99 90B20 PDFBibTeX XMLCite \textit{W. Damm} et al., Lect. Notes Comput. Sci. 3188, 77--110 (2004; Zbl 1104.68526) Full Text: DOI