FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings von Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Volltext

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday von ter Beek, Maurice H, Fantechi, Alessandro, Semini, Laura

Volltext

Requirements Engineering: Foundation for Software Quality : 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings

Volltext

Formal Methods for Industrial Critical Systems: A Survey of Applications von Gnesi, Stefania, Margaria, Tiziana

Volltext

FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings von Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Volltext

From Featured Transition Systems to Modal Transition Systems with Variability Constraints von ter Beek, Maurice H., Damiani, Ferruccio, Gnesi, Stefania, Mazzanti, Franco, Paolini, Luca

Volltext

Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2...

Volltext

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on...

Volltext

Using a Machine Learning Approach to Implement and Evaluate Product Line Features von Bacciu, Davide, Gnesi, Stefania, Semini, Laura

Volltext

Ambiguity and tacit knowledge in requirements elicitation interviews von Ferrari, Alessio, Spoletini, Paola, Gnesi, Stefania

Volltext

VIBE: Looking for Variability In amBiguous rEquirements von Fantechi, Alessandro, Gnesi, Stefania, Semini, Laura

Volltext

Adopting Formal Methods in an Industrial Setting: The Railways Case von ter Beek, Maurice H., Borälv, Arne, Fantechi, Alessandro, Ferrari, Alessio, Gnesi, Stefania, Löfving, Christer, Mazzanti, Franco

Volltext

Implementing Graph Transformations in the Bulk Synchronous Parallel Model von Krause, Christian, Tichy, Matthias, Giese, Holger

Volltext

Natural Language Requirements Processing: A 4D Vision von Ferrari, Alessio, Dell'Orletta, Felice, Esuli, Andrea, Gervasi, Vincenzo, Gnesi, Stefania

Volltext

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain von Ferrari, Alessio, Gori, Gloria, Rosadini, Benedetta, Trotta, Iacopo, Bacherini, Stefano, Fantechi, Alessandro, Gnesi, Stefania

Volltext

A Guidelines framework for understandable BPMN models von Corradini, Flavio, Ferrari, Alessio, Fornari, Fabrizio, Gnesi, Stefania, Polini, Andrea, Re, Barbara, Spagnolo, Giorgio O.

Volltext

Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints von ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania, Mazzanti, Franco

Volltext

Business process flexibility - a systematic literature review with a software systems perspective von Cognini, Riccardo, Corradini, Flavio, Gnesi, Stefania, Polini, Andrea, Re, Barbara

Volltext

Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2... von Gnesi, Stefania, Rensink, Arend

Volltext

On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders von Basile, Davide, ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania, Mazzanti, Franco, Piattino, Andrea, Trentini, Daniele, Ferrari, Alessio

Volltext