1. Department of Information Technology at Uppsala University , Sweden and Department of Computer Science at Aalborg University , Denmark 2021 . UPPAAL. Department of Information Technology at Uppsala University, Sweden and Department of Computer Science at Aalborg University , Denmark. https://uppaal.org/ Department of Information Technology at Uppsala University, Sweden and Department of Computer Science at Aalborg University, Denmark 2021. UPPAAL. Department of Information Technology at Uppsala University, Sweden and Department of Computer Science at Aalborg University, Denmark. https://uppaal.org/
2. A theory of timed automata
3. Paolo Baldan , Andrea Corradini , and Barbara König . 2002 . Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars—A Case Study . In Proc. of Int. Conf. on Integrated Design & Process Technology, Ehrig, Krämer, et al. (Eds.). SDPS. Paolo Baldan, Andrea Corradini, and Barbara König. 2002. Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars—A Case Study. In Proc. of Int. Conf. on Integrated Design & Process Technology, Ehrig, Krämer, et al. (Eds.). SDPS.
4. Basil Becker . 2014. Architectural modelling and verification of open service-oriented systems of systems. Ph. D. Dissertation . Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam . http://opus.kobv.de/ubp/volltexte/ 2014 /7015/ Basil Becker. 2014. Architectural modelling and verification of open service-oriented systems of systems. Ph. D. Dissertation. Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam. http://opus.kobv.de/ubp/volltexte/2014/7015/
5. Basil Becker , Dirk Beyer , Holger Giese , Florian Klein , and Daniela Schilling . 2006 . Symbolic invariant verification for systems with dynamic structural adaptation . In 28th International Conference on Software Engineering (ICSE 2006 ), Shanghai, China , May 20-28, 2006, Leon J. Osterweil, H. Dieter Rombach, and Mary Lou Soffa (Eds.). ACM, 72–81. DOI: https://doi.org/10.1145/1134285.1134297 10.1145/1134285.1134297 Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, and Daniela Schilling. 2006. Symbolic invariant verification for systems with dynamic structural adaptation. In 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, Leon J. Osterweil, H. Dieter Rombach, and Mary Lou Soffa (Eds.). ACM, 72–81. DOI: https://doi.org/10.1145/1134285.1134297