Stefania Gnesi

According to our database1, Stefania Gnesi authored at least 213 papers between 1978 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
On the expressiveness of modal transition systems with variability constraints.
Sci. Comput. Program., 2019

Editorial.
Formal Asp. Comput., 2019

Smart Services for Railways.
ERCIM News, 2019

Applying the QuARS tool to detect variability.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Survey on Formal Methods and Tools in Railways: The ASTRail Approach.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

QuARS: A NLP Tool for Requirements Analysis.
Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

From Generic Requirements to Variability.
Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018
Formal methods and automated verification of critical systems.
STTT, 2018

Formal methods for transport systems.
STTT, 2018

Requirements elicitation and refinement in collaborative research projects.
Journal of Software: Evolution and Process, 2018

Business process flexibility - a systematic literature review with a software systems perspective.
Information Systems Frontiers, 2018

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain.
Empirical Software Engineering, 2018

Formal Methods for the Railway Sector.
ERCIM News, 2018

A Guidelines framework for understandable BPMN models.
Data Knowl. Eng., 2018

Improving the quality of business process descriptions of public administrations: Resources and research challenges.
Business Proc. Manag. Journal, 2018

Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Product line models of large cyber-physical systems: the case of ERTMS/ETCS.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Modelling and analysis with featured modal contract automata.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2018

Research on NLP for RE at CNR-ISTI: a Report.
Proceedings of the Joint Proceedings of REFSQ-2018 Workshops, 2018

Identification of Cross-Domain Ambiguity with Language Models.
Proceedings of the 5th International Workshop on Artificial Intelligence for Requirements Engineering, 2018

Requirement Engineering of Software Product Lines: Extracting Variability Using NLP.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

States and Events in KandISTI - A Retrospective.
Proceedings of the Models, Mindsets, 2018

2017
Natural Language Requirements Processing: A 4D Vision.
IEEE Software, 2017

An experience in using machine learning for short-term predictions in smart transportation systems.
J. Log. Algebr. Meth. Program., 2017

Ambiguity defects as variation points in requirements.
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

Specifying variability in service contracts.
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

FMCAT: Supporting Dynamic Service-based Product Lines.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

A Refinement Approach to Analyse Critical Cyber-Physical Systems.
Proceedings of the Software Engineering and Formal Methods, 2017

Statistical model checking of an energy-saving cyber-physical system in the railway domain.
Proceedings of the Symposium on Applied Computing, 2017

Are Standards an Ambiguity-Free Reference for Product Validation?
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

Towards a Dataset for Natural Language Requirements Processing.
Proceedings of the Joint Proceedings of REFSQ-2017 Workshops, 2017

Common Mistakes of Student Analysts in Requirements Elicitation Interviews.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

PURE: A Dataset of Public Requirements Documents.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017).
Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Optimizing Feature Interaction Detection.
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

Checking Business Process Modeling Guidelines in Apromore.
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

2016
Ambiguity and tacit knowledge in requirements elicitation interviews.
Requir. Eng., 2016

A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems.
JRTPM, 2016

Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints.
J. Log. Algebr. Meth. Program., 2016

Modelling and Validating an Import/Export Shipping Process.
ERCIM News, 2016

Adopting a Machine Learning Approach in the Design of Smart Transportation Systems.
ERCIM News, 2016

An Experience on Applying Process Mining Techniques to the Tuscan Port Community System.
Proceedings of the Software Quality. The Future of Systems- and Software Development, 2016

Collaborative requirements elicitation in a european research project.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Ambiguity Cues in Requirements Elicitation Interviews.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Formal Methods and Safety Certification: Challenges in the Railways Domain.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Variability-Based Design of Services for Smart Transportation Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Ensuring Action: Identifying Unclear Actor Specifications in Textual Business Process Descriptions.
Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016) - Volume 3: KMIS, Porto - Portugal, November 9, 2016

Refinement of Behavioural Models for Variability Description.
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015
Special section on the 17th International Software Product Line Conference.
STTT, 2015

Using a Machine Learning Approach to Implement and Evaluate Product Line Features.
Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015

CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams.
Proceedings of the 19th International Conference on Software Product Line, 2015

Using FMC for family-based analysis of software product lines.
Proceedings of the 19th International Conference on Software Product Line, 2015

Applying the product lines paradigm to the quantitative analysis of collective adaptive systems.
Proceedings of the 19th International Conference on Software Product Line, 2015

Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System.
Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015

Towards Automatic Decision Support for Bike-Sharing System Design.
Proceedings of the Software Engineering and Formal Methods, 2015

From Featured Transition Systems to Modal Transition Systems with Variability Constraints.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Ambiguity as a resource to disclose tacit knowledge.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI.
Proceedings of the Software, 2015

Automated Service Selection Using Natural Language Processing.
Proceedings of the Requirements Engineering in the Big Data Era, 2015

2014
Formal methods for railway control systems.
STTT, 2014

KandISTI: A Family of Model Checkers for the Analysis of Software Designs.
ERCIM News, 2014

A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities.
ERCIM News, 2014

Research challenges in business process adaptability.
Proceedings of the Symposium on Applied Computing, 2014

Measuring and Improving the Completeness of Natural Language Requirements.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

Context transformations for goal models.
Proceedings of the IEEE 4th International Model-Driven Requirements Engineering Workshop, 2014

Pragmatic ambiguity detection in natural language requirements.
Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014

Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Model Checking Value-Passing Modal Specifications.
Proceedings of the Perspectives of System Informatics, 2014

My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data.
Proceedings of the Privacy Technologies and Policy - Second Annual Privacy Forum, 2014

2013
Families of software systems: a model checking approach.
Proceedings of the Engineering Dependable Software Systems, 2013

Model-Based Development and Formal Methods in the Railway Industry.
IEEE Software, 2013

VMC: A Tool for the Analysis of Variability in Software Product Lines.
ERCIM News, 2013

Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning.
Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

Using Clustering to Improve the Structure of Natural Language Requirements Documents.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2013

1st FME workshop on formal methods in software engineering (FormaliSE 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
A logical verification methodology for service-oriented computing.
ACM Trans. Softw. Eng. Methodol., 2012

Towards an executable algebra for product lines.
Proceedings of the 16th International Software Product Line Conference, 2012

Demonstration of a model checker for the analysis of product variability.
Proceedings of the 16th International Software Product Line Conference, 2012

A clustering-based approach for discovering flaws in requirements specifications.
Proceedings of the ACM Symposium on Applied Computing, 2012

Using collective intelligence to detect pragmatic ambiguities.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Lessons Learnt from the Adoption of Formal Model-Based Development.
Proceedings of the NASA Formal Methods, 2012

Formal Methods for Intelligent Transportation Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

A Compositional Framework to Derive Product Line Behavioural Descriptions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011
A state/event-based model-checking approach for the analysis of abstract system properties.
Sci. Comput. Program., 2011

Product Lines for Service Oriented Applications - PL for SOA
Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011

Formal Description of Variability in Product Families.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Variability and Rigour in Service Computing Engineering.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

On the Adoption of Model Checking in Safety-Related Software Industry.
Proceedings of the Computer Safety, Reliability, and Security, 2011

Design and validation of variability in product lines.
Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, 2011

A Model-Checking Tool for Families of Services.
Proceedings of the Formal Techniques for Distributed Systems, 2011

The Sensoria Approach Applied to the Finance Case Study.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Specification and Implementation of Demonstrators for the Case Studies.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Introduction to the Sensoria Case Studies.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
A Deontic Logical Framework for Modelling Product Families.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

An experience in using a tool for evaluating a large set of natural language requirements.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

An Approach to Ambiguity Analysis in Safety-Related Standards.
Proceedings of the Quality of Information and Communications Technology, 2010

A Logical Framework to Deal with Variability.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research).
Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, 2010

2009
Assisting the design of a groupware system.
J. Log. Algebr. Program., 2009

A Graph-based Design Framework for Global Computing Systems.
Electr. Notes Theor. Comput. Sci., 2009

Deontic Logics for Modeling Behavioural Variability.
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

CMC-UMC: a framework for the verification of abstract service-oriented properties.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A Model-Checking Approach for Service Component Architectures.
Proceedings of the Formal Techniques for Distributed Systems, 2009

Detecting policy conflicts by model checking UML state machines.
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

Dynamic Software Architecture Development: Towards an Automated Process.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008
Experimenting with Diversity in the Formal Development of Railway Signalling Systems.
ERCIM News, 2008

Evaluation of Natural Language Requirements in the MODCONTROL Project.
ERCIM News, 2008

Assisting the Design of an Industrial Groupware System by Model Checking.
ERCIM News, 2008

Modelling Dynamic Software Architectures using Typed Graph Grammars.
Electr. Notes Theor. Comput. Sci., 2008

Model driven development of railway systems using diversity.
Comput. Syst. Sci. Eng., 2008

Formal Modeling for Product Families Engineering.
Proceedings of the Software Product Lines, 12th International Conference, 2008

QuARS Express - A Tool Demonstration.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
Proceedings of the Leveraging Applications of Formal Methods, 2008

A Uniform Approach to Security and Fault-Tolerance Specification and Analysis.
Proceedings of the Architecting Dependable Systems VI, 2008

Formal verification of an automotive scenario in service-oriented computing.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A Model Checking Approach for Verifying COWS Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section.
Proceedings of the Concurrency, 2008

Graph-Based Design and Analysis of Dynamic Software Architectures.
Proceedings of the Concurrency, 2008

2007
Formal Modelling and Verification in Service-Oriented Computing.
ERCIM News, 2007

A behavioural model for product families.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

A behavioural model for product families.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Experimenting with diversity in the model driven development of a railway signaling system.
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007

Model Driven Development and Code Generation: An Automotive Case Study.
Proceedings of the SDL 2007: Design for Dependable Systems, 2007

Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach.
Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

Web Service Composition Approaches: From Industrial Standards to Formal Methods.
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006
The industrialization of formal methods.
STTT, 2006

On testing UML statecharts.
J. Log. Algebr. Program., 2006

Statecharts Composition to Model Topologically Distributed Applications.
Transactions of the SDPS, 2006

Product Line Use Cases: Scenario-Based Specification and Testing of Requirements.
Proceedings of the Software Product Lines - Research Issues in Engineering and Management, 2006

Achieving Fault Tolerance by a Formally Validated Interaction Policy.
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Formal Modelling and Verification of an Asynchronous Extension of SOAP.
Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

2005
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking.
Electr. Notes Theor. Comput. Sci., 2005

Enhancing Test Coverage by Back-tracing Model-checker Counterexamples.
Electr. Notes Theor. Comput. Sci., 2005

Model Checking Publish/Subscribe Notification for thinkteam®.
Electr. Notes Theor. Comput. Sci., 2005

An automatic tool for the analysis of natural language requirements.
Comput. Syst. Sci. Eng., 2005

Modeling Web Applications by the Multiple Levels of Integrity Policy.
Proceedings of the First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), 2005

An Architecture-Centric Approach for Producing Quality Systems.
Proceedings of the Quality of Software Architectures and Software Quality, 2005

Quality Analysis of NL Requirements: An Industrial Case Study.
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

A case study on the automated verification of groupware protocols.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

A Formal Security Analysis of an OSA/Parlay Authentication Interface.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability.
Electr. Notes Theor. Comput. Sci., 2004

Verication On The Web Of Mobile Systems.
Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

A Methodology for the Derivation and Verification of Use Cases for Product Lines.
Proceedings of the Software Product Lines, Third International Conference, 2004

Formal Test-Case Generation for UML Statecharts.
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

Automatic clustering of non-functional requirements.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Witness and Counterexample Automata for ACTL.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Model Checking Groupware Protocols.
Proceedings of the Cooperative Systems Design, 2004

2003
A model-checking verification environment for mobile processes.
ACM Trans. Softw. Eng. Methodol., 2003

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

Applications of linguistic techniques for use case analysis.
Requir. Eng., 2003

Formal Specification and Verification of Complex Systems.
Electr. Notes Theor. Comput. Sci., 2003

Use case-based testing of product lines.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Elicitation of Use Cases for Product Lines.
Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

PLUTO: A Test Methodology for Product Families.
Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

2002
Model checking fault tolerant systems.
Softw. Test., Verif. Reliab., 2002

Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking.
J. Log. Algebr. Program., 2002


Application of Linguistic Techniques for Use Case Analysis.
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

2001
Formal validation of fault-tolerance mechanisms inside GUARDS.
Rel. Eng. & Sys. Safety, 2001

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

Finite Approximations for Model Checking Non-finite-state Processes.
Comput. J., 2001

2000
Foreword.
Sci. Comput. Program., 2000

A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

A stochastic extension of a behavioural subset of UML statechart diagrams.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

An Automatic SPIN Validation of a Safety Critical Railway Control System.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999
Formal Validation of the GUARDS Inter-Consistency Mechanism.
Proceedings of the Computer Safety, 1999

Implementation of Coordination Primitives in a Mobile Architecture.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

On the Fly Verification of Network of Automata.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Model Checking UML Statechart Diagrams Using JACK.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998
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

A Formal Verification Environment for Railway Signaling System Design.
Formal Methods in System Design, 1998

Editorial.
Formal Asp. Comput., 1998

On Linguistic Quality of Natural Language Requirements.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 1998

A Symbolic Model Checker for ACTL.
Proceedings of the Applied Formal Methods, 1998

Verifying Mobile Processes in the HAL Environment.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997
An industrial application for the JACK environment.
Journal of Systems and Software, 1997

An Automated Based Verification Environment for Mobile Processes.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

1996
A Deductive Database Support to the Specification of Concurrent Systems.
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996

Formal Verification of Safety Requirements on Complex Systems.
Proceedings of the 15th International Conference on Computer Safety, 1996

Proving Safety Properties for Embedded Control Systems.
Proceedings of the Dependable Computing, 1996

Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation.
Proceedings of the CONCUR '96, 1996

1995
Model Checking of Non-Finite State Processes by Finite Approximations.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System.
Proceedings of the 14th International Conference on Computer Safety, 1995

Verifying hardware components within JACK.
Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994
Assisting Requirement Formalization by Means of Natural Language Translation.
Formal Methods in System Design, 1994

Model Checking for Action-Based Logics.
Formal Methods in System Design, 1994

JACK: Just Another Concurrency Kit. The intergration Projekt.
Bulletin of the EATCS, 1994

Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling.
Proceedings of the Formal Description Techniques VII, 1994

1993
An Expressive Logic for Basic Process Algebra.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1991
Executing the formal definition of Ada.
SIGPLAN Notices, 1991

Compositionality and Bisimulation: A Negative Result.
Inf. Process. Lett., 1991

An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990
Compositional logic semantics and LOTOS.
Proceedings of the Protocol Specification, 1990

How Expressive Are LOTOS Behaviour Expressions?
Proceedings of the Formal Description Techniques, 1990

1989
An Expressive Temporal Logic for Basic LOTOS.
Proceedings of the Formal Description Techniques, 1989

1988
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

1987
An Executon Environment for the Formal Definiton of Ada.
Proceedings of the ESEC '87, 1987

1981
Dynamic Programming as Graph Searching: An Algebraic Approach.
J. ACM, 1981

1978
Shortest Path Problems and Tree Grammars: An Algebraic Framework.
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978


  Loading...