| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi |
Lessons Learnt from the Adoption of Formal Model-Based Development.  |
NASA Formal Methods  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich W. Eisenecker, Sven Apel, Stefania Gnesi (eds.) |
Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings |
VaMoS |
2012 |
DBLP BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
A state/event-based model-checking approach for the analysis of abstract system properties. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima |
Product Lines for Service Oriented Applications - PL for SOA |
WWV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Gnesi, Rosario Pugliese, Francesco Tiezzi |
The Sensoria Approach Applied to the Finance Case Study. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer |
Introduction to the Sensoria Case Studies. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Gnesi, Franco Mazzanti |
An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer |
Specification and Implementation of Demonstrators for the Case Studies. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
A Model-Checking Tool for Families of Services. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi |
Formal Description of Variability in Product Families. |
SPLC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi |
On the Adoption of Model Checking in Safety-Related Software Industry. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini (eds.) |
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010 |
SEFM |
2010 |
DBLP BibTeX RDF |
|
| 1 | Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni |
An experience in using a tool for evaluating a large set of natural language requirements. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
natural language automated analysis, natural language processing, requirements analysis |
| 1 | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
A Logical Framework to Deal with Variability. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabella Biscoglio, Alessandro Coco, Mario Fusani, Stefania Gnesi, Gianluca Trentanni |
An Approach to Ambiguity Analysis in Safety-Related Standards. |
QUATIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Gianluigi Zavattaro |
Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). |
ACoTA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi |
A Deontic Logical Framework for Modelling Product Families. |
VaMoS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni |
Assisting the design of a groupware system. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucchiarone, Greg Dennis, Stefania Gnesi |
A Graph-based Design Framework for Global Computing Systems. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi |
A Model-Checking Approach for Service Component Architectures. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini |
Detecting policy conflicts by model checking UML state machines. |
ICFI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi |
CMC-UMC: a framework for the verification of abstract service-oriented properties. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
model checking, service-oriented computing |
| 1 | Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi |
Dynamic Software Architecture Development: Towards an Automated Process. |
EUROMICRO-SEAA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi |
Deontic Logics for Modeling Behavioural Variability. |
VaMoS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti |
Modelling Dynamic Software Architectures using Typed Graph Grammars. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi |
Evaluation of Natural Language Requirements in the MODCONTROL Project. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni |
Assisting the Design of an Industrial Groupware System by Model Checking. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi |
Experimenting with Diversity in the Formal Development of Railway Signalling Systems. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi |
Formal Modeling for Product Families Engineering. |
SPLC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi |
QuARS Express - A Tool Demonstration. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi |
A Model Checking Approach for Verifying COWS Specifications. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente |
Graph-Based Design and Analysis of Dynamic Software Architectures. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Gnesi |
Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró |
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi |
A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. |
WADS |
2008 |
DBLP DOI BibTeX RDF |
Software Architecture Formal Analysis, Security, Fault Tolerance |
| 1 | Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti |
Formal verification of an automotive scenario in service-oriented computing. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
model checking, service-oriented computing, automotive systems |
| 1 | Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi |
Formal Modelling and Verification in Service-Oriented Computing. |
ERCIM News |
2007 |
DBLP BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi |
Web Service Composition Approaches: From Industrial Standards to Formal Methods. |
ICIW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami |
Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi |
A behavioural model for product families. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
software families, product lines, modal transition systems |
| 1 | Alessandro Fantechi, Stefania Gnesi |
A behavioural model for product families. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
software families, product lines, modal transition systems |
| 1 | Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi |
Experimenting with diversity in the model driven development of a railway signaling system. |
EFTS |
2007 |
DBLP DOI BibTeX RDF |
formal modelling, automatic code generation |
| 1 | Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi |
Model Driven Development and Code Generation: An Automotive Case Study. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
formal verification, formal modeling, automatic code generation, Service-Oriented applications, formal validation |
| 1 | Mieke Massink, Diego Latella, Stefania Gnesi |
On testing UML statecharts. |
J. Log. Algebr. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini |
Modeling Web Applications by the Multiple Levels of Integrity Policy. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli |
The industrialization of formal methods. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso |
Formal Modelling and Verification of an Asynchronous Extension of SOAP. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami |
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements. |
Software Product Lines |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
Achieving Fault Tolerance by a Formally Validated Interaction Policy. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
Integrity policies, fault tolerance, model checking, process algebras |
| 1 | Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore |
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli |
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis |
Model Checking Publish/Subscribe Notification for thinkteam®. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni |
An automatic tool for the analysis of natural language requirements. |
Comput. Syst. Sci. Eng. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso |
A Formal Security Analysis of an OSA/Parlay Authentication Interface. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
Formal Verification of Security, OSA/Parlay API, Industrial Test Case |
| 1 | Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini |
Modeling Web Applications by the Multiple Levels of Integrity Policy. |
WWV |
2005 |
DBLP BibTeX RDF |
|
| 1 | Antonio Bucchiarone, Stefania Gnesi, P. Pierini |
Quality Analysis of NL Requirements: An Industrial Case Study. |
RE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini |
An Architecture-Centric Approach for Producing Quality Systems. |
QoSA/SOQUA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis |
A case study on the automated verification of groupware protocols. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
publish/subscribe notification, thinkteam, model checking, groupware |
| 1 | Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli |
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Meolic, Alessandro Fantechi, Stefania Gnesi |
Witness and Counterexample Automata for ACTL. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, E. Nesti |
A Methodology for the Derivation and Verification of Use Cases for Product Lines. |
SPLC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami |
Automatic clustering of non-functional requirements. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto |
Verication On The Web Of Mobile Systems. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi |
Model Checking Groupware Protocols. |
COOP |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stefania Gnesi, Diego Latella, Mieke Massink |
Formal Test-Case Generation for UML Statecharts. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Stefania Gnesi, Ina Schieferdecker |
Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000 - Selected papers. |
Sci. Comput. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Gnesi |
Formal Specification and Verification of Complex Systems. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore |
A model-checking verification environment for mobile processes. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
Name-passing process calculi, security, modal logics, transition systems, mobile processes |
| 1 | Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari |
Applications of linguistic techniques for use case analysis. |
Requir. Eng. |
2003 |
DBLP DOI BibTeX RDF |
Quality evaluation of requirements, Natural language processing, Requirements engineering, Use cases |
| 1 | Antonia Bertolino, Stefania Gnesi |
PLUTO: A Test Methodology for Product Families. |
PFE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi, Isabel John, Giuseppe Lami, Jörg Dörr |
Elicitation of Use Cases for Product Lines. |
PFE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.) |
FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings |
FME |
2003 |
DBLP BibTeX RDF |
|
| 1 | Antonia Bertolino, Stefania Gnesi |
Use case-based testing of product lines. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
use cases, product lines, black box testing |
| 1 | Stefania Gnesi, Diego Latella, Mieke Massink |
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. |
J. Log. Algebr. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
Model checking fault tolerant systems. |
Softw. Test., Verif. Reliab. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki |
AGILE: Software Architecture for Mobility. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari |
Application of Linguistic Techniques for Use Case Analysis. (PDF / PS) |
RE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi |
Finite Approximations for Model Checking Non-finite-state Processes. |
Comput. J. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Gnesi, Diego Latella |
Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11-12, 1999 - Selected Papers. |
Formal Methods in System Design |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Cuéllar, Stefania Gnesi, Diego Latella |
Foreword. |
Sci. Comput. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
fault tolerant behavior, model checking, formal verifications, safety critical systems, linear temporal logic |
| 1 | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |
An Automatic SPIN Validation of a Safety Critical Railway Control System. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
dependable protocols, model checking, formal verification, safety-critical systems |
| 1 | Stefania Gnesi, Diego Latella, Mieke Massink |
Model Checking UML Statechart Diagrams Using JACK. (PDF / PS) |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Branching Time Temporal Logics, Model Checking, UML, Formal Verification |
| 1 | Stefania Gnesi, Franco Mazzanti |
On the Fly Verification of Network of Automata. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Stefania Gnesi, Laura Semini |
Implementation of Coordination Primitives in a Mobile Architecture. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
Formal Validation of the GUARDS Inter-Consistency Mechanism. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Gnesi, Diego Latella |
Editorial. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano |
A Formal Verification Environment for Railway Signaling System Design. |
Formal Methods in System Design |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Gnesi, Diego Latella |
Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996 - Selected Papers. |
Formal Methods in System Design |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci |
A Symbolic Model Checker for ACTL. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori |
Verifying Mobile Processes in the HAL Environment. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri |
On Linguistic Quality of Natural Language Requirements. |
REFSQ |
1998 |
DBLP BibTeX RDF |
|
| 1 | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
An industrial application for the JACK environment. |
Journal of Systems and Software |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori |
An Automated Based Verification Environment for Mobile Processes. |
TACAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi, Diego Latella |
Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi |
Proving Safety Properties for Embedded Control Systems. |
EDCC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi |
A Deductive Database Support to the Specification of Concurrent Systems. |
SOFSEM |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi |
Model Checking of Non-Finite State Processes by Finite Approximations. |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori |
Verifying hardware components within JACK. |
CHARME |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")