María-del-Mar Gallardo

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Adding Correctness Checking to Test Automation Platform.

[BibT_eX]

[DOI]

Leticia Lavado

Pedro Merino Gómez

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

2016

River Basin Management with Spin.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

2015

Using Model Checking to Generate Test Cases for Android Applications.

[BibT_eX]

[DOI]

Ana Rosario Espada

Proceedings of the Proceedings Tenth Workshop on Model Based Testing, 2015

Runtime Verification of Expected Energy Consumption in Smartphones.

[BibT_eX]

[DOI]

Ana Rosario Espada

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Abstract Analysis of Universal Properties for tccp.

[BibT_eX]

[DOI]

Marco Comini

Laura Titolo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

Extending model checkers for hybrid system verification: the case study of SPIN.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2014

Using SPIN for automated debugging of infinite executions of Java programs.

[BibT_eX]

[DOI]

Damián Adalid

J. Syst. Softw., 2014

Modeling Hybrid Systems in the Concurrent Constraint Paradigm.

[BibT_eX]

[DOI]

Damián Adalid

Laura Titolo

Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014

Modeling Hybrid Systems in Hy-tccp.

[BibT_eX]

[DOI]

Damián Adalid

Laura Titolo

CoRR, 2014

2013

Verification of complex dynamic data tree with mu-calculus.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2013

2012

An extension of Java PathFinder for hybrid systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2012

A model-extraction approach to verifying concurrent C programs with CADP.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

Preface of Prole 2012.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

2011

Verification support for ARINC-653-based avionics software.

[BibT_eX]

[DOI]

J. Raúl Castro

Softw. Test. Verification Reliab., 2011

A practical use of model checking for synthesis: generating a dam controller for flood management.

[BibT_eX]

[DOI]

Antonio Linares

Softw. Pract. Exp., 2011

2010

Verification of Dynamic Data Tree with mu-calculus Extended with Separation.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

2009

Checking the reliability of socket based communication software.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2009

Model Checking Dynamic Memory Allocation in Operating Systems.

[BibT_eX]

[DOI]

J. Autom. Reason., 2009

Using SCADE for Decision Support in Dam Management.

[BibT_eX]

Antonio Linares

Proceedings of the Modelling, 2009

Developing a Decision Support Tool for Dam Management with SPIN.

[BibT_eX]

[DOI]

Antonio Linares

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

Web Services for Accessing Explicit State Space Verification Tools.

[BibT_eX]

[DOI]

ERCIM News, 2008

Model Checking C Programs with Dynamic Memory Allocation.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

PiXL: Applying xml standards to support the integration of analysis tools for protocols.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

On-the-Fly Data Flow Analysis Based on Verification Technology.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, 2007

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation.

[BibT_eX]

[DOI]

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

Extending CADP for Analyzing C Code.

[BibT_eX]

Proceedings of the Modelling, 2007

C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2007

Model Extraction for ARINC 653 Based Avionics Software.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2007

On-the-fly model checking for C programs with extended CADP in FMICS-jETI.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006

Verifying Real-Time Properties of tccp Programs.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2006

On the Evolution of reliability Methods for Critical Software.

[BibT_eX]

[DOI]

Trans. SDPS, 2006

Static Analysis using Parameterised Boolean Equation Systems

[BibT_eX]

[DOI]

CoRR, 2006

Towards Model Checking C Code with OPEN/CÆSAR.

[BibT_eX]

Proceedings of the Modelling, 2006

Abstract Matching for Software Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Implementing Influence Analysis Using Parameterised Boolean Equation Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

A semantic framework for the abstract model checking of tccp programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Model checking active networks with SPIN.

[BibT_eX]

[DOI]

Comput. Commun., 2005

Model checking software with well-defined APIs: the socket case.

[BibT_eX]

[DOI]

Mariemma Inmaculada Yagüe del Valle

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

Semantic Access Control Model: A Formal Specification.

[BibT_eX]

[DOI]

Antonio Mana

Proceedings of the Computer Security, 2005

2004

aSPIN: A tool for abstract model checking.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2004

A generalized semantics of PROMELA for abstract model checking.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2004

Integration of Reliability and Performance Analyses for Active Network Services.

[BibT_eX]

[DOI]

Guillermo Rodríguez

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Abstract Model Checking of tccp programs.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

2003

Applying Data Abstraction to XML Formal Designs.

[BibT_eX]

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

Abstract Model Checking and Refinement of Temporal Logic in aSPIN.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Debugging UML Designs with Model Checking.

[BibT_eX]

[DOI]

J. Object Technol., 2002

Comparing Under and Over-Approximations of LTL Properties for Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

A Tool for Abstraction in Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

An extension of the ns simulator for active network research.

[BibT_eX]

[DOI]

Guillermo Rodríguez

Comput. Commun., 2002

alpha SPIN: Extending SPIN with Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Model Checking of Software, 2002

Refinement of LTL Formulas for Abstract Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 9th International Symposium, 2002

Using XML to implement abstraction for Model Checking.

[BibT_eX]

[DOI]

Estefanía Rosales

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

2000

Verifying Distributed Systems with Model Checking and Static Analysis.

[BibT_eX]

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

1999

A Framework for Automatic Construction of Abstract Promela Models.

[BibT_eX]

[DOI]

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

1995

Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis.

[BibT_eX]

[DOI]

José M. Troya

Proceedings of the Logic Programming Synthesis and Transformation, 1995

1994

Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation.

[BibT_eX]

José M. Troya

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

Parlog Programs Nontermination Analysis.

[BibT_eX]