Reflections on the standardization of SysML 2 Jeff GrayBernhard Rumpe Editorial Open access 25 March 2021 Pages: 287 - 289
Software engineering and formal methods: SEFM 2019 special section Peter Csaba ÖlveczkyGwen Salaün Guest Editorial 12 March 2021 Pages: 291 - 292
An epistemic approach to the formal specification of statistical machine learning Yusuke Kawamoto Special Section Paper Open access 19 September 2020 Pages: 293 - 310
Asynchronous session subtyping as communicating automata refinement Mario BravettiGianluigi Zavattaro Special Section Paper Open access 04 January 2021 Pages: 311 - 333
An operational guide to monitorability with applications to regular properties Luca AcetoAntonis AchilleosKaroliina Lehtinen Special Section Paper 05 February 2021 Pages: 335 - 361
Reproducible execution of POSIX programs with DiOS Petr RočkaiZuzana BaranováJiříí Barnat Special Section Paper 23 October 2020 Pages: 363 - 382
Test model coverage analysis under uncertainty: extended version I. S. W. B. PrasetyaRick Klomp Special Section Paper Open access 09 February 2021 Pages: 383 - 403
Mutation testing with hyperproperties Andreas FellnerMitra Tabaei BefroueiGeorg Weissenbacher Special Section Paper Open access 01 April 2021 Pages: 405 - 427
An improved approach on the model checking for an agent-based simulation system Yinling LiuTao WangVincent Cheutet Regular Paper 14 June 2020 Pages: 429 - 445
Modeling cultures of the embedded software industry: feedback from the field Deniz AkdurBilge SayOnur Demirörs Regular Paper 25 June 2020 Pages: 447 - 467
Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review Stefan GötzMatthias TichyRaffaela Groner Regular Paper Open access 14 July 2020 Pages: 469 - 503
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets Estefanía CoronadoValentín ValeroFernando L. Pelayo Regular Paper Open access 26 July 2020 Pages: 505 - 538
Consistent change propagation within models Roland KretschmerDjamel Eddine KhelladiAlexander Egyed Regular Paper Open access 25 August 2020 Pages: 539 - 555
Specification and automated verification of atomic concurrent real-time transactions Simin CaiBarbara GallinaCristina Seceleanu Regular Paper Open access 29 July 2020 Pages: 557 - 589