Automated Technology for Verification and Analysis

Book title Buchtitel
Automated Technology for Verification and Analysis
Editor Herausgeber_in
Publisher Herausgeber
Lecture Notes in Computer Science, Springer Verlag
Place of publishing Erscheinungsort
Series Schriftenreihe
Lecture Notes in Computer Science

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue 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 Automatic Generation of Moment-Based Invariants for Prob-Solvable LoopsKonferenzbeitrag Inproceedings 2019
3Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard ; Voronkov, Andrei 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