default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID65th Birthday: Stefania Gnesi 2019
- Maurice H. ter Beek, Alessandro Fantechi, Laura Semini:
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Lecture Notes in Computer Science 11865, Springer 2019, ISBN 978-3-030-30984-8 - Maurice H. ter Beek
, Alessandro Fantechi, Laura Semini:
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back. 1-11 - Ugo Montanari:
From Dynamic Programming to Programming Science - Some Recollections in Honour of Stefania Gnesi. 12-15
Software Engineering
- Antonio Bucchiarone, Marina Mongiello:
Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems. 19-39 - 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. 40-55 - Antonia Bertolino, Paola Inverardi:
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? 56-66 - Klaus Schmid, Sascha El-Sharkawy, Christian Kröher:
Improving Software Engineering Research Through Experimentation Workbenches. 67-82
Formal Methods and Tools
- Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Innovating Medical Image Analysis via Spatial Logics. 85-109 - Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos:
Formal Methods in Designing Critical Cyber-Physical Systems. 110-130 - Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari:
Automata-Based Behavioural Contracts with Action Correlation. 131-151 - Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro:
Logical Support for Bike-Sharing System Design. 152-171 - Rolf Hennicker, Martin Wirsing:
A Generic Dynamic Logic with Applications to Interaction-Based Systems. 172-187
Requirements Engineering
- Vincenzo Gervasi, Alessio Ferrari, Didar Zowghi, Paola Spoletini:
Ambiguity in Requirements Engineering: Towards a Unifying Framework. 191-210 - Giuseppe Lami, Mario Fusani, Gianluca Trentanni:
QuARS: A Pioneer Tool for NL Requirement Analysis. 211-219 - Sandy Beidu, Joanne M. Atlee:
Detecting Feature Interactions in FORML Models. 220-235
Natural Language Processing
- 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. 239-249 - Roberto Garigliano, Luisa Mich:
Looking Inside the Black Box: Core Semantics Towards Accountability of Artificial Intelligence. 250-266 - Alessio Ferrari, Giorgio Oronzo Spagnolo, Antonella Fiscella, Guido Parente:
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions. 267-281
Software Product Lines
- 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. 285-312 - Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen:
Product Line Verification via Modal Meta Model Checking. 313-337 - Ciara Breathnach, Najhan M. Ibrahim, Stuart Clancy, Tiziana Margaria:
Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data. 338-364 - David Benavides:
Variability Modelling and Analysis During 30 Years. 365-373
Formal Verification
- Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti:
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. 377-396 - Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti:
On the Prediction of Smart Contracts' Behaviours. 397-415 - Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu, Eric Jenn:
Hunting Superfluous Locks with Model Checking. 416-432 - Anne E. Haxthausen, Kristian Hede:
Formal Verification of Railway Timetables - Using the UPPAAL Model Checker. 433-448 - Jan Friso Groote, Erik P. de Vink:
An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice. 449-463
Applications
- Flavio Corradini, Fausto Marcantoni, Andrea Morichetta, Andrea Polini, Barbara Re, Massimiliano Sampaolo:
Enabling Auditing of Smart Contracts Through Process Mining. 467-480 - Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti, Davide Basile:
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector. 481-501 - Gabriele Lenzini, Marinella Petrocchi:
Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study. 502-518 - Tommaso Bolognesi:
Single-Step and Asymptotic Mutual Information in Bipartite Boolean Nets. 519-530 - Cinzia Bernardeschi, Andrea Domenici:
Application of Model Checking to Fault Tolerance Analysis. 531-547 - María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino Gómez, Laura Panizo:
How Formal Methods Can Contribute to 5G Networks. 548-571
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-31 22:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
