„Embedded Software Verification“

Suchergebnisse

62 Treffer

• Towards runtime verification of collaborative embedded systems
  Akili, Samira ; Lorenz, Felix
• Runtime verification of embedded real-time systems
  Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg
• Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions
  Currie, David ; Feng, Xiushan ; Fujita, Masahiro ; Hu, Alan J. ; Kwan, Mark ; Rajan, Sreeranga
• Verification of software for Contiki-based low-power embedded systems using software model checking
  Vörtler, Thilo ; Hofstedt, Petra ; Vierhaus, Heinrich Theodor 2018 BTU Cottbus - Senftenberg
• Optimized hybrid verification of embedded software
  Behrend, Jörg 2017
• Embedded and Real Time System Development: A Software Engineering Perspective – Concepts, Methods and Principles
  2014 Springer Berlin Heidelberg
• 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013)
  Maiza, Claire 2013 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• SDL 2013: Model-Driven Dependability Engineering – 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
  Khendek, Ferhat ; Toeroe, Maria ; Gherbi, Abdelouahed ; Reed, Rick 2013 Springer Berlin Heidelberg
• Verifying multicore software : A case study
  Kelur, Ashok 2013 LAP LAMBERT Academic Publishing
• Model driven dependability engineering – proceedings
  Khendek, Ferhat ; Toeroe, Maria ; Gherbi, Abdelouahed ; Reed, Rick 2013 Springer
• NASA formal methods – 5th international symposium ; proceedings
  Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud 2013 Springer
• Runtime verification – third international conference ; revised selected papers
  Qadeer, Shaz ; Tasiran, Serdar 2013 Springer
• Computer applications for communication, networking, and digital contents – international conferences ; proceedings
  Kim, T'ae-hun ; Ko, Dae-sik ; Vasilakos, Thanos ; Stoica, Adrian ; Abawajy, Jemal 2012 Springer
• Computer safety, reliability, and security – 31st international conference ; proceedings
  Ortmeier, Frank ; Daniel, Peter 2012 Springer
• Specification and verification of the embedded real-time systems in the automotive domain – = Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen
  Siegl, Sebastian 2011 Cuvillier
• Foundations of computer software – modeling, development, and verification of adaptive systems ; revised selected papers
  Calinescu, Radu C. ; Jackson, Ethan 2011 Springer
• Leveraging applications of formal methods, verification, and validation
  2010 Springer
• Leveraging applications of formal methods, verification, and validation
  2010 Springer
• Verification, model checking, and abstract interpretation – 16th international conference ; proceedings
  D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2015 Springer
• 14th International Workshop on Worst-Case Execution Time Analysis
  Falk, Heiko 2014 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH