Carlo A. Furia

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

To Run What No One Has Run Before: Executing an Intermediate Verification Language.

[BibT_eX]

[DOI]

Nadia Polikarpova

Scott West

Proceedings of the Runtime Verification - 4th International Conference, 2013

What good are strong specifications?

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Collaborative Debugging.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Global Software Engineering, 2013

Javanni: A Verifier for JavaScript.

[BibT_eX]

[DOI]

Martin Nordio

Cristiano Calcagno

Carlo Alberto Furia

Proceedings of the Fundamental Approaches to Software Engineering, 2013

An Empirical Study of API Usability.

[BibT_eX]

[DOI]

Marco Piccioni

Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

Really Automatic Scalable Object-Oriented Reengineering.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

Unifying Configuration Management with Merge Conflict Detection and Awareness Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012

How Specifications Change and Why You Should Care

[BibT_eX]

[DOI]

CoRR, 2012

A survey of loop invariants

[BibT_eX]

[DOI]

Sergey Velder

CoRR, 2012

Automatic Translation of C Source Code to Eiffel

[BibT_eX]

[DOI]

CoRR, 2012

Multi-tape automata for automatic verification

[BibT_eX]

[DOI]

CoRR, 2012

A Survey of Multi-Tape Automata

[BibT_eX]

[DOI]

CoRR, 2012

C to O-O Translation: Beyond the Easy Stuff.

[BibT_eX]

[DOI]

Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Automatic C to O-O Translation with C2Eiffel.

[BibT_eX]

[DOI]

Marco Trudel

Martin Nordio

Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Automata-based Verification of Linear Temporal Logic Models with Bounded Variability.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

A Verifier for Functional Properties of Sequence-Manipulating Programs.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2012

Modeling Time in Computing.

[BibT_eX]

[DOI]

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-32331-7, 2012

2011

Review of The calculus of computation: decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna.

[BibT_eX]

[DOI]

SIGACT News, 2011

Verifying Eiffel Programs with Boogie

[BibT_eX]

[DOI]

CoRR, 2011

Evidence-Based Automated Program Fixing

[BibT_eX]

[DOI]

CoRR, 2011

Automated Translation of Java Source Code to Eiffel.

[BibT_eX]

[DOI]

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

On Relaxing Metric Information in Linear Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach.

[BibT_eX]

[DOI]

Proceedings of the Tools for Practical Software Verification, 2011

Stateful testing: Finding more errors in code and contracts.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Code-based automated program fixing.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Inferring better contracts.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

A theory of sampling for continuous-time metric temporal logic.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2010

SCORE: the first student contest on software engineering.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2010

Modeling time in computing: A taxonomy and a comparative survey.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2010

A control-theoretical methodology for the scheduling problem

[BibT_eX]

[DOI]

CoRR, 2010

Refinement and Verification of Real-Time Systems

[BibT_eX]

[DOI]

CoRR, 2010

Specifying Reusable Components.

[BibT_eX]

[DOI]

Nadia Polikarpova

Proceedings of the Verified Software: Theories, 2010

Automated fixing of programs with contracts.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

A Tile-Based Approach for Self-Assembling Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Inferring Loop Invariants Using Postconditions.

[BibT_eX]

[DOI]

Proceedings of the Fields of Logic and Computation, 2010

What's Decidable about Sequences?

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Comments on temporal logics for real-time system specification.

[BibT_eX]

[DOI]

Matteo Pradella

ACM Comput. Surv., 2009

Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Towards Relaxing Metric Information in Linear Temporal Logic.

[BibT_eX]

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

2008

Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2008

Practical Automated Partial Verification of Multi-paradigm Real-Time Models.

[BibT_eX]

[DOI]

Matteo Pradella

Proceedings of the Formal Methods and Software Engineering, 2008

MTL with Bounded Variability: Decidability and Complexity.

[BibT_eX]

[DOI]

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

Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.

[BibT_eX]

[DOI]

Matteo Pradella

Proceedings of the FM 2008: Formal Methods, 2008

Towards the exhaustive verification of real-time aspects in controller implementation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Computer-Aided Control Systems, 2008

Practical Efficient Modular Linear-Time Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Automated compositional proofs for real-time systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators.

[BibT_eX]

Bull. EATCS, 2007

Modeling the Environment in Software-Intensive Systems.

[BibT_eX]

[DOI]

Dino Mandrioli

Proceedings of the International Workshop on Modeling in Software Engineering, 2007

On the Expressiveness of MTL Variants over Dense Time.

[BibT_eX]

[DOI]

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

2006

Comments on "An Interval Logic for Real-Time System Specification'.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling.

[BibT_eX]

[DOI]

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

2004

A Compositional Framework for Formally Verifying Modular Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

Semi-formal and Formal Models Applied to Flexible Manufacturing Systems.

[BibT_eX]

[DOI]

Andrea Matta