Tools and Algorithms for the Construction and Analysis of Systems

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Tools and Algorithms for the Construction and Analysis of Systems
 
ISBN
978-3-662-54579-9
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer
Springer
 
Place of publishing Erscheinungsort
Berlin, Heidelberg
10206
 
DOI
10.1007/978-3-662-54580-5
 

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Lukina, Anna ; Esterle, Lukas ; Hirsch, Christian ; Bartocci, Ezio ; Yang, Junxing ; Tiwari, Ashish ; Smolka, Scott A. ; Grosu, Radu ; Legay, Axel ; Margaria, Tiziana ARES: Adaptive Receding-Horizon Synthesis of Optimal PlansKonferenzbeitrag Inproceedings 2017
2Bartocci, Ezio ; Falcone, Yliès ; Reger, Giles International Competition on Runtime Verification (CRV)Konferenzbeitrag Inproceedings2019
3Blom, Stefan ; van Dijk, Tom ; Gijis, Kant ; Laarman, Alfons ; Meijer, Jeroen ; van de Pol, Jaco LTSmin: High-Performance Language-Independent Model CheckingKonferenzbeitrag Inproceedings 2015
4Bartocci, Ezio ; Grosu, Radu ; Katsaros, Panagiotis ; Ramakrishnan, C.R. ; Smolka, Scott A. Model Repair for Probabilistic SystemsKonferenzbeitrag Inproceedings 2011
5Bartocci, Ezio ; Kovács, Laura ; Stankovič, Miroslav Mora - Automatic Generation of Moment-Based InvariantsKonferenzbeitrag Inproceedings2020
6Holzer, Andreas ; Kroening, Daniel ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut ; Flanagan, Cormac ; König, Barbara Proving Reachability Using FShellKonferenzbeitrag Inproceedings 2012
7Cook, Byron ; See, Abigail ; Zuleger, Florian Ramsey vs. Lexicographic Termination ProvingKonferenzbeitrag Inproceedings2013