Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Marius Bozga

Incremental Generation of Linear Invariants for Component-Based Systems

2013English

Using Static Analysis to Improve Automatic Test Generation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

If-2.0: A Validation Environment for Component-Based Real-Time Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

D-Finder: A Tool for Compositional Deadlock Detection and Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Distributed Semantics and Implementation for Systems With Interaction and Priority

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy