Abstract is missing.
- The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and BackMaurice H. ter Beek, Alessandro Fantechi, Laura Semini. 1-11 [doi]
- From Dynamic Programming to Programming Science - Some Recollections in Honour of Stefania GnesiUgo Montanari. 12-15 [doi]
- Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive SystemsAntonio Bucchiarone, Marina Mongiello. 19-39 [doi]
- Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital TwinJohn S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce. 40-55 [doi]
- Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?Antonia Bertolino, Paola Inverardi. 56-66 [doi]
- Improving Software Engineering Research Through Experimentation WorkbenchesKlaus Schmid, Sascha El-Sharkawy, Christian Kröher. 67-82 [doi]
- Innovating Medical Image Analysis via Spatial LogicsGina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink. 85-109 [doi]
- Formal Methods in Designing Critical Cyber-Physical SystemsMehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos. 110-130 [doi]
- Automata-Based Behavioural Contracts with Action CorrelationDavide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian Luigi Ferrari. 131-151 [doi]
- Logical Support for Bike-Sharing System DesignIonut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro. 152-171 [doi]
- A Generic Dynamic Logic with Applications to Interaction-Based SystemsRolf Hennicker, Martin Wirsing. 172-187 [doi]
- Ambiguity in Requirements Engineering: Towards a Unifying FrameworkVincenzo Gervasi, Alessio Ferrari, Didar Zowghi, Paola Spoletini. 191-210 [doi]
- QuARS: A Pioneer Tool for NL Requirement AnalysisGiuseppe Lami, Mario Fusani, Gianluca Trentanni. 211-219 [doi]
- Detecting Feature Interactions in FORML ModelsSandy Beidu, Joanne M. Atlee. 220-235 [doi]
- Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related StandardsIsabella Biscoglio, Attilio Ciancabilla, Mario Fusani, Giuseppe Lami, Gianluca Trentanni. 239-249 [doi]
- Looking Inside the Black Box: Core Semantics Towards Accountability of Artificial IntelligenceRoberto Garigliano, Luisa Mich. 250-266 [doi]
- QuOD: An NLP Tool to Improve the Quality of Business Process DescriptionsAlessio Ferrari, Giorgio Oronzo Spagnolo, Antonella Fiscella, Guido Parente. 267-281 [doi]
- A Decade of Featured Transition SystemsMaxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin. 285-312 [doi]
- Product Line Verification via Modal Meta Model CheckingTim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen. 313-337 [doi]
- Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical DataCiara Breathnach, Najhan M. Ibrahim, Stuart Clancy, Tiziana Margaria. 338-364 [doi]
- Variability Modelling and Analysis During 30 YearsDavid Benavides. 365-373 [doi]
- A Systematic Approach to Programming and Verifying Attribute-Based Communication SystemsRocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti. 377-396 [doi]
- On the Prediction of Smart Contracts' BehavioursCosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti. 397-415 [doi]
- Hunting Superfluous Locks with Model CheckingViet Anh Nguyen, Wendelin Serwe, Radu Mateescu 0001, Eric Jenn. 416-432 [doi]
- Formal Verification of Railway Timetables - Using the UPPAAL Model CheckerAnne Elisabeth Haxthausen, Kristian Hede. 433-448 [doi]
- An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic ChoiceJan Friso Groote, Erik P. de Vink. 449-463 [doi]
- Enabling Auditing of Smart Contracts Through Process MiningFlavio Corradini, Fausto Marcantoni, Andrea Morichetta 0001, Andrea Polini, Barbara Re 0001, Massimiliano Sampaolo. 467-480 [doi]
- A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway SectorSilvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti, Davide Basile. 481-501 [doi]
- Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case StudyGabriele Lenzini, Marinella Petrocchi. 502-518 [doi]
- Single-Step and Asymptotic Mutual Information in Bipartite Boolean NetsTommaso Bolognesi. 519-530 [doi]
- Application of Model Checking to Fault Tolerance AnalysisCinzia Bernardeschi, Andrea Domenici. 531-547 [doi]
- How Formal Methods Can Contribute to 5G NetworksMaría-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino Gómez, Laura Panizo. 548-571 [doi]