Forschungsbereich Formal Methods in Systems Engineering

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
 
Code Kennzahl
E192-04
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 541-560 of 565 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
541Zuleger, Florian Termination and Bound Analysis of Imperative ProgramsPräsentation Presentation2011
542Veith, Helmut How did you specify your test suite?Präsentation Presentation2011
543Zuleger, Florian Resource Bound Analysis of Imperative ProgramsPräsentation Presentation2011
544Zuleger, Florian ; Sinn, Moritz ; Gulwani, Sumit ; Veith, Helmut Bound Analysis of Imperative Programs with the Size-Change AbstractionKonferenzbeitrag Inproceedings2011
545Holzer, Andreas ; Januzaj, Visar ; Kugele, Stefan ; Langer, Boris ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut Seamless Testing for Models and CodeKonferenzbeitrag Inproceedings2011
546Bünte, Sven ; Zolda, Michael ; Tautschnig, Michael ; Kirner, Raimund Improving the Confidence in Measurement-Based Timing AnalysisKonferenzbeitrag Inproceedings 2011
547Katzenbeisser, Stefan ; Kinder, Johannes ; Veith, Helmut Malware DetectionBuchbeitrag Book Contribution2011
548Bjørner, Nikolaj ; Nieuwenhuis, Robert ; Veith, Helmut ; Voronkov, Andrei Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)Artikel Article2011
549Holzer, Andreas ; Tautschnig, Michael ; Schallhart, Christian ; Veith, Helmut An Introduction to Test Specification in FQLKonferenzbeitrag Inproceedings 2010
550Gulwani, Sumit ; Zuleger, Florian The reachability-bound problemKonferenzbeitrag Inproceedings2010
551Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut How did you specify your test suiteKonferenzbeitrag Inproceedings 2010
552Haberl, Wolfgang ; Herrmannsdoerfer, Markus ; Kugele, Stefan ; Tautschnig, Michael ; Wechs, Martin Seamless Model-Driven Development Put into PracticeKonferenzbeitrag Inproceedings2010
553Holzer, Andreas ; Januzaj, Visar ; Kugele, Stefan ; Tautschnig, Michael Timely Time EstimatesKonferenzbeitrag Inproceedings2010
554Samer, Marko ; Veith, Helmut On the distributivity of LTL specificationsArtikel Article2010
555Bauer, Andreas ; Leucker, Martin ; Schallhart, Christian ; Tautschnig, Michael Don't care in SMT---Building flexible yet efficient abstraction/refinement solversArtikel Article 2010
556Kinder, Johannes ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut Proactive Detection of Computer Worms Using Model CheckingArtikel Article 2010
557Jha, Somesh ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut ; Chenney, Stephen Semantic Integrity in Large-Scale Online SimulationsArtikel Article 2010
558Schmid, Ulrich ; Steininger, Andreas ; Veith, Helmut Towards a Systematic Design of Fault-Tolerant Asynchronous CircuitsKonferenzbeitrag Inproceedings 2007
559Samer, Marko ; Veith, Helmut From Temporal Logic Queries to Vacuity DetectionBuchbeitrag Book Contribution2006
560Samer, Marko ; Veith, Helmut Deterministic CTL Query SolvingKonferenzbeitrag Inproceedings2005