Journal: Formal Methods in System Design

Volume 54, Issue 3

279 -- 335Cé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)
336 -- 363Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup. Monitoring hyperproperties
364 -- 387Susmit Jha, Ashish Tiwari 0001, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar. TeLEx: learning signal temporal logic from positive examples using tightness metric
388 -- 415Zachary Benavides, Keval Vora, Rajiv Gupta 0001, Xiangyu Zhang 0001. Annotation guided collection of context-sensitive parallel execution profiles
416 -- 448Bernhard K. Aichernig, Martin Tappler. Probabilistic black-box reachability checking (extended version)
449 -- 478David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic, Dmitriy Traytel. Almost event-rate independent monitoring

Volume 54, Issue 2

145 -- 163Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud. Statistical verification of PCTL using antithetic and stratified samples
164 -- 190Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi. SAT-based explicit LTL reasoning and its application to satisfiability checking
191 -- 231Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner. Some complexity results for stateful network verification
232 -- 277Aziem Chawdhary, Edward Robbins, Andy King. Incrementally closing octagons

Volume 54, Issue 1

1 -- 3Francesco Ranzato. Foreword to the special issue on the 2017 Static Analysis Symposium
4 -- 26Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri. Abstract semantic diffing of evolving concurrent programs
27 -- 63Jessica A. Gronski, Mohamed Amin Ben Sassi, Stephen Becker, Sriram Sankaranarayanan. Template polyhedra and bilinear optimization
64 -- 109Abdelraouf Ouadjaout, Antoine Miné. Quantitative static analysis of communication protocols using abstract Markov chains
110 -- 143Tushar Sharma, Thomas W. Reps. A new abstraction framework for affine transformers