Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Hierarchical multi-formalism proofs of cyber-physical systems.

M. Whalen, S. Rayadurgam, E. Ghassabani, A. Murugesan, O. Sokolsky, M. Heimdahl, und I. Lee. MEMOCODE, Seite 90-95. IEEE, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Erik Eppinger University of Stuttgart

Erik Hesselmeier University of Stuttgart

Shama Perween University of Stuttgart

Emanuela Perna University of Stuttgart

Hiraida Rossy Perez Palomares University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate.D. Owen, T. Menzies, M. Heimdahl, und J. Gao. SEW, Seite 75. IEEE Computer Society, (2003)Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study.J. Thompson, M. Whalen, und M. Heimdahl. J. UCS, 6 (7): 731-757 (2000)Your "What" Is My "How": Iteration and Hierarchy in System Design.M. Whalen, A. Gacek, D. Cofer, A. Murugesan, M. Heimdahl, und S. Rayadurgam. IEEE Software, 30 (2): 54-60 (2013)Hierarchical multi-formalism proofs of cyber-physical systems.M. Whalen, S. Rayadurgam, E. Ghassabani, A. Murugesan, O. Sokolsky, M. Heimdahl, und I. Lee. MEMOCODE, Seite 90-95. IEEE, (2015)Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints.Y. Choi, S. Rayadurgam, und M. Heimdahl. Requir. Eng., 7 (4): 225-242 (2002)The Risks of Coverage-Directed Test Case Generation.G. Gay, M. Staats, M. Whalen, und M. Heimdahl. IEEE Trans. Software Eng., 41 (8): 803-819 (2015)Coverage Based Test-Case Generation Using Model Checkers.S. Rayadurgam, und M. Heimdahl. ECBS, Seite 83-. IEEE Computer Society, (2001)Using PVS to analyze hierarchical state-based requirements for completeness and consistency.M. Heimdahl, und B. Czerny. HASE, Seite 252-262. IEEE Computer Society, (1996)Verifying Communication Constraints in RSML Specifications.M. Heimdahl. HASE, Seite 56-63. IEEE Computer Society, (1997)Model-Based Testing: Challenges Ahead.M. Heimdahl. COMPSAC (1), Seite 330. IEEE Computer Society, (2005)