Formal Methods in System Design

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Formal Methods in System Design
 
e-ISSN
1572-8102
 
ISSN
0925-9856
 
Publisher Herausgeber
SPRINGER
 
Publisher's Address Herausgeber Adresse
VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Subject:  Theoretical Computer Science

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

PreviewAuthor(s)TitleTypeIssue Date
1Sánchez, César ; Schneider, Gerardo ; Ahrendt, Wolfgang ; Bartocci, Ezio ; Bianculli, Domenico ; Colombo, Christian ; Falcone, Yliès ; Francalanza, Adrian ; Krstić, Srđan ; Lourenço, Joa̋o M. ; Nickovic, Dejan ; Pace, Gordon J. ; Rufino, Jose ; Signoles, Julien ; Traytel, Dmitriy ; Weiss, Alexander A survey of challenges for runtime verification from advanced application domains (beyond software)Artikel Article 2019
2Phan, Dung ; Yang, Junxing ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving ObstaclesArtikel Article 2017
3Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian Empirical software metrics for benchmarking of verification toolsArtikel Article 2017
4Seyster, Justin ; Dixit, Ketan ; Huang, Xiaowan ; Grosu, Radu ; Havelund, Klaus ; Smolka, Scott A. ; Stoller, Scott D. ; Zadok, Erez InterAspect: aspect-oriented instrumentation with GCCArtikel Article2012
5Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed AlgorithmsArtikel Article 2017
6Gottlob, Georg ; Henzinger, Thomas A. ; Weissenbacher, Georg Preface of the Special Issue in Memoriam Helmut VeithArtikel Article2017
7Chockler, Hana ; Weissenbacher, Georg Preface of the special issue on the conference on computer-aided verification 2018Artikel Article2021
8Stewart, Daryl ; Weissenbacher, Georg Preface of the Special Issue on the Conference on Formal Methods in Computer-Aided Design 2017Artikel Article2020
9Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Nguyen, Thang ; Ničković, Dejan Quantitative monitoring of STL with edit distanceArtikel Article 2018
10Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Rely-guarantee bound analysis of parameterized concurrent shared-memory programsArtikel Article 2021
11Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg Runtime verification of embedded real-time systemsArtikel Article2013
12Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternationsArtikel Article 2021
13Lewis, Matt ; Kroening, Daniel ; Weissenbacher, Georg Under-approximating loops in C programs for fast counterexample detectionArtikel Article 2015