Víctor A. Braberman

Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, 2010

2009

Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models.

[BibT_eX]

[DOI]

Esteban Pavese

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

On transforming Java-like programs into memory-predictable code.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

A Sound Observational Semantics for Modal Transition Systems.

[BibT_eX]

[DOI]

Dario Fischbein

Proceedings of the Theoretical Aspects of Computing, 2009

Validation of contracts using enabledness preserving finite state abstractions.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2008

Parametric prediction of heap memory requirements.

[BibT_eX]

[DOI]

Federico Javier Fernández

Sergio Yovine

Proceedings of the 7th International Symposium on Memory Management, 2008

Existential live sequence charts revisited.

[BibT_eX]

[DOI]

German E. Sibay

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Hypervolume Approximation in Timed Automata Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

Achieving both model and code coverage with automated gray-box testing.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption.

[BibT_eX]

[DOI]

Sergio Yovine

J. Object Technol., 2006

Dealing with practical limitations of distributed timed model checking for timed automata.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2006

A foundation for behavioural conformance in software product line architectures.

[BibT_eX]

[DOI]

Dario Fischbein

Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

A toolsuite for the verification of real-time systems in Eclipse.

[BibT_eX]

[DOI]

Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

2005

A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties.

[BibT_eX]

[DOI]

Nicolas Kicillof

IEEE Trans. Software Eng., 2005

Issues in distributed timed model checking.

[BibT_eX]

[DOI]

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

JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications.

[BibT_eX]

[DOI]

Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

2004

On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

Visual Timed Event Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

ObsSlice: A Timed Automata Slicer Based on Observers.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2002

On Improving Backwards Verification of Timed Automata.

[BibT_eX]

[DOI]

Carlos López Pombo

Proceedings of the Theory and Practice of Timed Systems, 2002

ZEUS: A Distributed Timed Model-Checker Based on KRONOS.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Model Checking, 2002

Improving the Verification of Timed Systems Using Influence Information.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

An architecture-centric approach to the development of a distributed model-checker for timed automata.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Software Engineering, 2002

Observing timed systems by means of message sequence chart graphs.

[BibT_eX]

[DOI]

Sebastián Blaustein

Fernando Oliveto

Proceedings of the 24th International Conference on Software Engineering, 2002

2001

Extending Timed Automata for Compositional Modeling Healthy Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Models for Time-Critical Systems, 2001

2000

Duration Properties over Real Time System Designs.

[BibT_eX]

[DOI]

Fabio Pieniazek

Proceedings of the 10th International Workshop on Software Specification and Design, 2000

1999

Automatic Verification of Real-Time Designs.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Engineering, 1999

Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification.

[BibT_eX]

[DOI]

Miguel Felder

Proceedings of the Software Engineering, 1999

1998

On Checking Timed Automata for Linear Duration Invariants.

[BibT_eX]

[DOI]