Volume 15, Issue 3-4

Search all Innovations in Systems and Software Engineering articles

September 2019

Special Issue: Selected Extended Papers of NFM 2018

Issue Editors:

Aaron Dutle,
Cesar Munoz,
Anthony Narkawicz

12 articles in this issue

Selected extended papers of NFM 2018
Aaron Dutle
César Muñoz
Anthony Narkawicz
Editorial 16 August 2019 Pages: 167 - 168
Formal modeling and analysis of safety-critical human multitasking
Giovanna Broccia
Paolo Milazzo
Peter Csaba Ölveczky
S.I. : NFM2018 08 April 2019 Pages: 169 - 190
Rewriting toward trace coverage analysis of symmetric systems
Flavio M. De Paula
Arvind Haran
Brad Bingham
S.I. : NFM2018 10 June 2019 Pages: 191 - 206
Model-based testing of stochastically timed systems
Marcus Gerhold
Arnd Hartmanns
Mariëlle Stoelinga
S.I. : NFM2018 Open access 18 June 2019 Pages: 207 - 233
Optimal compression of combinatorial state spaces
Alfons Laarman
S.I. : NFM2018 Open access 20 May 2019 Pages: 235 - 251
Certified normalization of generalized traces
Hendrik Maarand
Tarmo Uustalu
S.I.: NFM2018 18 June 2019 Pages: 253 - 265
Sound black-box checking in the LearnLib
Jeroen Meijer
Jaco van de Pol
S.I. : NFM2018 Open access 30 May 2019 Pages: 267 - 287
Model-checking task-parallel programs for data-race
Radha Nakade
Eric Mercer
Jay McCarthy
S.I. : NFM2018 18 May 2019 Pages: 289 - 306
Property specification patterns at work: verification and inconsistency explanation
Massimo Narizzano
Luca Pulina
Simone Vuotto
S.I. : NFM2018 03 May 2019 Pages: 307 - 323
A synergistic approach to improving symbolic execution using test ranges
Guowei Yang
Rui Qiu
Junye Wen
S.I.: NFM2018 09 April 2019 Pages: 325 - 342
A QCA design and energy analysis of binary semaphore with a comprehensive case study
Sunanda Mondal
Mili Ghosh
Paramartha Dutta
S.I. : CSI2017 26 April 2019 Pages: 343 - 354
An approach for deployment of BRS in software-defined network
Parinita Dutta
Rajeev Chatterjee
Jyotsna Kumar Mandal
S.I. : CSI2017 02 May 2019 Pages: 355 - 361

Volume 15, Issue 3-4

Search

Navigation