Hardware and Software: Verification and Testing

Book title Buchtitel

Publisher Herausgeber

Lecture Notes in Computer Science / Springer

Place of publishing Erscheinungsort

10629 / Cham

Series Schriftenreihe

Lecture Notes in Computer Science

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

RIS EndNote Bibtex Send via email

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