„Embedded Software Verification“

Suchergebnisse

62 Treffer

• The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)
  Méry, Dominique ; Schätz, Bernhard ; Wassyng, Alan
• Verification of Temporal Properties in Embedded Software – based on Assertion and Semiformal Verification Approaches
  Lettnin, Djones 2009 Südwestdeutscher Verlag für Hochschulschriften
• Verification of temporal properties in embedded software
  Lettnin, Djones
• Runtime Verification – 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
  2014 Springer International Publishing
• Software Architecture – 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings
  2014 Springer International Publishing
• Embedded Systems Development – From Functional Models to Implementations
  Sangiovanni-Vincentelli, Alberto ; Zeng, Haibo ; Di Natale, Marco ; Marwedel, Peter 2014 Springer New York
• Requirements Engineering: Foundation for Software Quality – 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings
  2014 Springer International Publishing
• Verification of Embedded Systems Based on Interval Analysis
  Ugarte, Iñigo ; Sanchez, Pablo
• A framework for embedded software portability and verification: from formal models to low-level code
  Martins Gomes, Renata ; Aichernig, Bernhard ; Baunach, Marcel
• Transactions on Petri nets and other models of concurrency
  2023 Springer
• Transactions on Petri Nets and Other Models of Concurrency XVII
  Koutny, Maciej ; Bergenthum, Robin ; Ciardo, Gianfranco 2024 Springer Nature Switzerland
• Hybrid Cache Analysis in Running Time Verification of Embedded Software
  Wolf, Fabian ; Staschulat, Jan ; Ernst, Rolf
• Formal methods for industrial critical systems – 17th international workshop ; proceedings
  Stoelinga, Mariëlle ; Pinger, Ralf 2012 Springer
• Verification of temporal properties in embedded software
  Lettnin, Djones
• Embedded Software Verification and Debugging
  Winterholer, Markus ; Lettnin, Djones 2017 Springer New York
• Supervised testing of embedded concurrent software
  Jahić, Jasmin ; Bomarius, Frank 2021 Fraunhofer Verlag
• A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor
  Bhadra, Jayanta ; Martin, Andrew K. ; Abraham, Jacob A.
• Embedded and real time system development – a software engineering perspective ; concepts, methods and principles
  Khan, Mohammad Ayoub ; Saeed, Saqib ; Darwish, Ashraf ; Abraham, Ajith 2014 Springer
• Verification supported refactoring of embedded sql
  Spasić, Mirko ; Janičić, Milena Vujošević
• Strategic logics for collaborative embedded systems – Specification and verification of collaborative embedded systems using strategic logics
  Kurpiewski, Damian ; Marmsoler, Diego