default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 54

> Home > Journals > Formal Methods in System Design

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 54, Number 1, August 2019

'Special issue on 'SAS 2017'

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/Ranzato19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Ranzato19
Francesco Ranzato:
Foreword to the special issue on the 2017 Static Analysis Symposium. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BouajjaniEL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BouajjaniEL19
Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri:
Abstract semantic diffing of evolving concurrent programs. 4-26
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GronskiSBS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GronskiSBS19
Jessica A. Gronski, Mohamed Amin Ben Sassi, Stephen Becker, Sriram Sankaranarayanan:
Template polyhedra and bilinear optimization. 27-63
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/OuadjaoutM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/OuadjaoutM19
Abdelraouf Ouadjaout, Antoine Miné:
Quantitative static analysis of communication protocols using abstract Markov chains. 64-109
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SharmaR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SharmaR19
Tushar Sharma, Thomas W. Reps:
A new abstraction framework for affine transformers. 110-143

Volume 54, Number 2, November 2019

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/WangRWVD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/WangRWVD19
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Statistical verification of PCTL using antithetic and stratified samples. 145-163
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/LiZPZV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LiZPZV19
Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi:
SAT-based explicit LTL reasoning and its application to satisfiability checking. 164-190
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AlpernasPRSSSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AlpernasPRSSSV19
Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner:
Some complexity results for stateful network verification. 191-231
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChawdharyRK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChawdharyRK19
Aziem Chawdhary, Edward Robbins, Andy King:
Incrementally closing octagons. 232-277

Volume 54, Number 3, November 2019

Special issue on 'Runtime Verification 2017'

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/SanchezSABBCFFK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A survey of challenges for runtime verification from advanced application domains (beyond software). 279-335
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/FinkbeinerHST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FinkbeinerHST19
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Monitoring hyperproperties. 336-363
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/JhaTSSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JhaTSSS19
Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar:
TeLEx: learning signal temporal logic from positive examples using tightness metric. 364-387
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BenavidesVGZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BenavidesVGZ19
Zachary Benavides, Keval Vora, Rajiv Gupta, Xiangyu Zhang:
Annotation guided collection of context-sensitive parallel execution profiles. 388-415
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/AichernigT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AichernigT19
Bernhard K. Aichernig, Martin Tappler:
Probabilistic black-box reachability checking (extended version). 416-448
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BasinBKT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BasinBKT19
David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic, Dmitriy Traytel:
Almost event-rate independent monitoring. 449-478

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.