Hardware and Software: Verification and Testing

Book title Buchtitel
Hardware and Software: Verification and Testing
Publisher Herausgeber
Lecture Notes in Computer Science / Springer
Place of publishing Erscheinungsort
10629 / Cham
Series Schriftenreihe
Lecture Notes in Computer Science

Publications Publikationen

Results 1-8 of 8 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Claessen, Koen ; Kilhamn, Jonatan ; Kovács, Laura ; Lennartson, Bengt A Supervisory Control Algorithm Based on Property-Directed ReachabilityKonferenzbeitrag Inproceedings 2017
2Bogomolov, Sergiy ; Schilling, Christian ; Bartocci, Ezio ; Batt, Gregory ; Kong, Hui ; Grosu, Radu Abstraction-Based Parameter Synthesis for Multiaffine SystemsKonferenzbeitrag Inproceedings 2015
3Holzer, Andreas ; Tautschnig, Michael ; Schallhart, Christian ; Veith, Helmut An Introduction to Test Specification in FQLKonferenzbeitrag Inproceedings 2010
4Charlie Shucheng, Zhu ; Weissenbacher, Georg ; Malik, Sharad Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon ValidationKonferenzbeitrag Inproceedings 2012
5Laarman, Alfons ; Wijs, Anton Partial-Order Reduction for Multi-core LTL Model CheckingKonferenzbeitrag Inproceedings 2014
6Heule, Marijn J. H. ; Kiesl, Benjamin ; Seidl, Martina ; Biere, Armin PRuning Through SatisfactionKonferenzbeitrag Inproceedings 2017
7Shmarov, Fedor ; Paoletti, Nicola ; Bartocci, Ezio ; Lin, Shan ; Smolka, Scott A. ; Zuliani, Paolo SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid SystemsKonferenzbeitrag Inproceedings2017
8Shoaei, Mohammad Reza ; Kovács, Laura ; Lennartson, Bengt Supervisory Control of Discrete-Event Systems via IC3Konferenzbeitrag Inproceedings 2014