From Software Engineering to Formal Methods and Tools, and Back

Keyphrases

Publications

2019

Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back. From Software Engineering to Formal Methods and Tools, and Back (2019)
Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin
A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Alessio Ferrari, Giorgio Oronzo Spagnolo, Antonella Fiscella, Guido Parente
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions. From Software Engineering to Formal Methods and Tools, and Back (2019)
Giuseppe Lami, Mario Fusani, Gianluca Trentanni
QuARS: A Pioneer Tool for NL Requirement Analysis. From Software Engineering to Formal Methods and Tools, and Back (2019)
Jan Friso Groote, Erik P. de Vink
An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice. From Software Engineering to Formal Methods and Tools, and Back (2019)
Gabriele Lenzini, Marinella Petrocchi
Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study. From Software Engineering to Formal Methods and Tools, and Back (2019)
Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen
Product Line Verification via Modal Meta Model Checking. From Software Engineering to Formal Methods and Tools, and Back (2019)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
Innovating Medical Image Analysis via Spatial Logics. From Software Engineering to Formal Methods and Tools, and Back (2019)
Flavio Corradini, Fausto Marcantoni, Andrea Morichetta, Andrea Polini, Barbara Re, Massimiliano Sampaolo
Enabling Auditing of Smart Contracts Through Process Mining. From Software Engineering to Formal Methods and Tools, and Back (2019)
Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu, Eric Jenn
Hunting Superfluous Locks with Model Checking. From Software Engineering to Formal Methods and Tools, and Back (2019)
Ugo Montanari
From Dynamic Programming to Programming Science - Some Recollections in Honour of Stefania Gnesi. From Software Engineering to Formal Methods and Tools, and Back (2019)
Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Vincenzo Gervasi, Alessio Ferrari, Didar Zowghi, Paola Spoletini
Ambiguity in Requirements Engineering: Towards a Unifying Framework. From Software Engineering to Formal Methods and Tools, and Back (2019)
María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino Gómez, Laura Panizo
How Formal Methods Can Contribute to 5G Networks. From Software Engineering to Formal Methods and Tools, and Back (2019)
Anne E. Haxthausen, Kristian Hede
Formal Verification of Railway Timetables - Using the UPPAAL Model Checker. From Software Engineering to Formal Methods and Tools, and Back (2019)
Antonia Bertolino, Paola Inverardi
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? From Software Engineering to Formal Methods and Tools, and Back (2019)
Rolf Hennicker, Martin Wirsing
A Generic Dynamic Logic with Applications to Interaction-Based Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Klaus Schmid, Sascha El-Sharkawy, Christian Kröher
Improving Software Engineering Research Through Experimentation Workbenches. From Software Engineering to Formal Methods and Tools, and Back (2019)
Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos
Formal Methods in Designing Critical Cyber-Physical Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti
On the Prediction of Smart Contracts' Behaviours. From Software Engineering to Formal Methods and Tools, and Back (2019)
Cinzia Bernardeschi, Andrea Domenici
Application of Model Checking to Fault Tolerance Analysis. From Software Engineering to Formal Methods and Tools, and Back (2019)
Sandy Beidu, Joanne M. Atlee
Detecting Feature Interactions in FORML Models. From Software Engineering to Formal Methods and Tools, and Back (2019)
Tommaso Bolognesi
Single-Step and Asymptotic Mutual Information in Bipartite Boolean Nets. From Software Engineering to Formal Methods and Tools, and Back (2019)
Roberto Garigliano, Luisa Mich
Looking Inside the Black Box: Core Semantics Towards Accountability of Artificial Intelligence. From Software Engineering to Formal Methods and Tools, and Back (2019)
Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro
Logical Support for Bike-Sharing System Design. From Software Engineering to Formal Methods and Tools, and Back (2019)
Antonio Bucchiarone, Marina Mongiello
Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti, Davide Basile
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector. From Software Engineering to Formal Methods and Tools, and Back (2019)
Isabella Biscoglio, Attilio Ciancabilla, Mario Fusani, Giuseppe Lami, Gianluca Trentanni
Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related Standards. From Software Engineering to Formal Methods and Tools, and Back (2019)
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce
Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin. From Software Engineering to Formal Methods and Tools, and Back (2019)
Ciara Breathnach, Najhan M. Ibrahim, Stuart Clancy, Tiziana Margaria
Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data. From Software Engineering to Formal Methods and Tools, and Back (2019)
Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian Luigi Ferrari
Automata-Based Behavioural Contracts with Action Correlation. From Software Engineering to Formal Methods and Tools, and Back (2019)
David Benavides
Variability Modelling and Analysis During 30 Years. From Software Engineering to Formal Methods and Tools, and Back (2019)

volume 11865, 2019

From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday From Software Engineering to Formal Methods and Tools, and Back 11865 (2019)