-
Theory and practice of computer science – proceedings
Černá, Ivana ; Gyimóthy, Tibor ; Hromkovič, Juraj ; Jefferey, Keith ; Kralovic, Rastislav ; Vukolic, Marko ; Wolf, Stefan 2011 Springer
-
Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods
Becker, Martin ; Chakraborty, Samarjit ; Müller-Gritschneder, Daniel ; Caccamo, Marco 2020 Universitätsbibliothek der TU München
-
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Dernehl, Christian Michael ; Kowalewski, Stefan ; Moormann, Dieter 2019 Universitätsbibliothek der RWTH Aachen
-
Verification, Model Checking, and Abstract Interpretation – 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2014 Springer Berlin Heidelberg
-
NASA Formal Methods – 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud 2013 Springer Berlin Heidelberg
-
Runtime Verification – Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Qadeer, Shaz ; Tasiran, Serdar 2013 Springer Berlin Heidelberg
-
Computer Applications for Communication, Networking, and Digital Contents – International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Kim, T'ae-hun ; Ko, Dae-sik ; Vasilakos, Thanos ; Stoica, Adrian ; Abawajy, Jemal 2012 Springer Berlin Heidelberg
-
Computer Safety, Reliability, and Security – 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
Ortmeier, Frank ; Daniel, Peter 2012 Springer Berlin Heidelberg
-
Formal Methods for Industrial Critical Systems – 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Stoelinga, Mariëlle ; Pinger, Ralf 2012 Springer Berlin Heidelberg
-
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems – 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
Calinescu, Radu C. ; Jackson, Ethan 2011 Springer Berlin Heidelberg
-
Formal Verification of Concurrent Embedded Software
Traub, Johannes Frederik Jesper 2016 Universitätsbibliothek Kiel
-
Formal Verification of Concurrent Embedded Software
Traub, Johannes Frederik Jesper 2016 Books on Demand
-
Formal Verification of Concurrent Embedded Software
Traub, Johannes Frederik Jesper 2016 Books on Demand
-
Formal Verification of Concurrent Embedded Software
Traub, Johannes Frederik Jesper 2016 Universitätsbibliothek Kiel
-
Correction: A framework for embedded software portability and verification: from formal models to low-level code
Gomes, Renata Martins ; Aichernig, Bernhard ; Baunach, Marcel
-
Formal Specification Level – Concepts, Methods, and Algorithms
Soeken, Mathias ; Drechsler, Rolf 2015 Springer International Publishing
-
Numerical Software Verification – 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Bogomolov, Sergiy ; Martel, Matthieu ; Prabhakar, Pavithra 2017 Springer Berlin Heidelberg
-
System Analysis and Modeling: Models and Reusability – 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
2014 Springer International Publishing
-
Engineering Trustworthy Software Systems – First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Liu, Zhiming ; Zhang, Zili 2016 Springer International Publishing
-
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey
Loghi, Mirko ; Margaria, Tiziana ; Pravadelli, Graziano ; Steffen, Bernhard