Automated Technology for Verification and Analysis

Book title Buchtitel
Automated Technology for Verification and Analysis
 
ISBN
978-3-030-31783-6
 
 
Publisher Herausgeber
Springer
 
Place of publishing Erscheinungsort
Cham
 
DOI
10.1007/978-3-030-31784-3
 

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Tiwari, Ashish ; Smolka, Scott A. ; Esterle, Lukas ; Lukina, Anna ; Yang, Junxing ; Grosu, Radu Attacking the V: On the Resiliency of Adaptive-Horizon MPCKonferenzbeitrag Inproceedings 2017
2Bartocci, Ezio ; Kovacs, Laura ; Stankovic, Miroslav ; Chen, Yu-Fang ; Cheng, Chih-Hong ; Esparza, Javier Automatic Generation of Moment-Based Invariants for Prob-Solvable LoopsKonferenzbeitrag Inproceedings 2019
3Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard ; Voronkov, Andrei ; Cassez, Franck ; Raskin, Jean-Francois Extensional Crisis and Proving IdentityKonferenzbeitrag Inproceedings 2014
4Mohammadinejad, Sara ; Deshmukh, Jyotirmoy V. ; Nenzi, Laura Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed SystemsKonferenzbeitrag Inproceedings2021
5Phan, Dung ; Paoletti, Nicola ; Zhang, Timothy ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. Neural State Classification for Hybrid SystemsKonferenzbeitrag Inproceedings 2018
6Donzé, Alexandre ; Maler, Oded ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu ; Smolka, Scott On Temporal Logic and Signal ProcessingKonferenzbeitrag Inproceedings 2012
7Schwartz-Narbonne, Daniel ; Weissenbacher, Georg ; Malik, Sharad Parallel Assertions for Architectures with Weak Memory ModelsKonferenzbeitrag Inproceedings 2012
8Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila Probabilistic Hyperproperties with NondeterminismKonferenzbeitrag Inproceedings2020
9Silvetti, Simone ; Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca Signal Convolution LogicKonferenzbeitrag Inproceedings 2018