Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

190 résultats
Page :
triés par
Image document

Verifying Safety Properties of Inductively Defined Parameterized Systems

 Marius Bozga , Radu Iosif
[Research Report] VERIMAG (CNRS, UGA). 2020
Rapport hal-03040188v1
Image document

Flat Parametric Counter Automata

 Marius Bozga , Radu Iosif , Yassine Lakhnech
Fundamenta Informaticae, 2009, 91 (2), pp.275 - 303. ⟨10.3233/FI-2009-0044⟩
Article dans une revue hal-01418876v1
Image document

Compositional Timing Analysis

 Ramzi Ben Salah , Marius Bozga , Oded Maler
9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Oct 2009, Grenoble, France. pp.39-48, ⟨10.1145/1629335.1629342⟩
Communication dans un congrès hal-00722516v1
Image document

An Efficient Algorithm for the Computation of Optimum Paths in Weighted Graphs

 Marius Bozga , Radu Iosif , Vassiliki Sfyrla
MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Oct 2007, Znojmo, Czech Republic. pp.19-27
Communication dans un congrès hal-00374984v1

Source-To-Source Architecture Transformation for Performance Optimization in BIP

 Marius Bozga , Mohamad Jaber , Joseph Sifakis
IEEE Transactions on Industrial Informatics, 2010, 6 (4), pp.708-718. ⟨10.1109/TII.2010.2069102⟩
Article dans une revue hal-00722520v1
Image document

On Timing Analysis of Combinational Circuits

 Ramzi Ben Salah , Marius Bozga , Oded Maler
Formal Modeling and Analysis of Timed Systems First International Workshop, FORMATS 2003, Sep 2003, Marseille, France. pp.204-219, ⟨10.1007/b12025⟩
Communication dans un congrès hal-00374798v1
Image document

Storeless Semantics and Alias Logic

 Marius Bozga , Radu Iosif , Yassine Lakhnech
ACM SIGPLAN 2003 Workshop on Partial Evaluation and Semantics Based Program Manipulation (PEPM), Jun 2003, San Diego, Californie, United States. pp.55 - 65
Communication dans un congrès hal-00369341v1
Image document

On Interleaving in Timed Automata

 Ramzi Ben Salah , Marius Bozga , Oded Maler
CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Aug 2006, Bonn, Germany. pp.456-476, ⟨10.1007/11817949⟩
Communication dans un congrès hal-00369800v1
Image document

Scheduling Acyclic Branching Programs on Parallel Machines

 Marius Bozga , Abdelkarim Aziz Kerbaa , Oded Maler
25th IEEE Real-Time Systems Symposium RTSS 2004, Dec 2004, Lisbon, Portugal. pp.208-217
Communication dans un congrès hal-00374877v1
Image document

Deciding Conditional Termination

 Marius Bozga , Radu Iosif , Filip Konečny
18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012), Mar 2012, Tallinn, Estonia. pp.252-266, ⟨10.1007/978-3-642-28756-5_18⟩
Communication dans un congrès hal-01418906v1
Image document

Flat Parametric Counter Automata

 Marius Bozga , Radu Iosif , Yassine Lakhnech
33rd International Colloquium on Automata, Languages and Programming (ICALP 2006), Jul 2006, Venise, Italy. pp.577-588, ⟨10.1007/11787006_49⟩
Communication dans un congrès hal-01418920v1
Image document

Quantitative Separation Logic and Programs with Lists

 Marius Bozga , Radu Iosif , Swann Perarnau
The 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Aug 2008, Sydney, Australia. pp.34-49, ⟨10.1007/978-3-540-71070-7_4⟩
Communication dans un congrès hal-01418913v1
Image document

Local Reasoning about Parametric and Reconfigurable Component-based Systems

 Marius Bozga , Radu Iosif , Joseph Sifakis
2019
Pré-publication, Document de travail hal-02267423v1
Image document

Modeling Synchronous Systems in BIP

 Marius Bozga , Vassiliki Sfyrla , Joseph Sifakis
9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Oct 2009, Grenoble, France. pp.77-86, ⟨10.1145/1629335.1629347⟩
Communication dans un congrès hal-00722479v1

On Timed Components and their Abstraction

 Ramzi Ben Salah , Marius Bozga , Oded Maler
Sixth International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007), Sep 2007, Dubrovnik, Croatia. pp.63-72
Communication dans un congrès hal-00375707v1
Image document

Model-based validation of CANopen systems

 Alexios Lekidis , Marius Bozga , Saddek Bensalem
10th IEEE Workshop on Factory Communication Systems WFCS 2014, May 2014, Toulouse, France. pp.1-10, ⟨10.1109/WFCS.2014.6837602⟩
Communication dans un congrès hal-01212300v1
Image document

Model-driven Information Flow Security for Component-Based Systems

 Najah Ben Said , Takoua Abdellatif , Saddek Bensalem , Marius Bozga
From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Apr 2014, Grenoble, France. pp.1--20, ⟨10.1007/978-3-642-54848-2_1⟩
Communication dans un congrès hal-01212303v1
Image document

Brief Announcement: : Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset

 Ananda Basu , Borzoo Bonakdarpour , Marius Bozga , Joseph Sifakis
Distributed Computing, 23rd International Symposium, DISC 2009, Sep 2009, Elche, Spain. pp.174-175, ⟨10.1007/978-3-642-04355-0_19⟩
Communication dans un congrès hal-00691925v1

Rigorous Component-Based System Design - (Invited Paper)

 Ananda Basu , Saddek Bensalem , Marius Bozga , Joseph Sifakis
Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Mar 2012, Tallin, Estonia. pp.1-9, ⟨10.1007/978-3-642-34005-5_1⟩
Communication dans un congrès hal-00878722v1
Image document

Mixed Critical Earliest Deadline First

 Dario Socci , Peter Poplavko , Saddek Bensalem , Marius Bozga
25th Euromicro Conference on Real-Time Systems, ECRTS 2013, Paris, France, July 9-12, 2013, Jul 2013, Paris, France. pp.93-102, ⟨10.1109/ECRTS.2013.20⟩
Communication dans un congrès hal-00867470v1
Image document

Some Progress in the Symbolic Verification of Timed Automata

 Marius Bozga , Oded Maler , Amir Pnueli , Sergio Yovine
Computer Aided Verification 9th International Conference, CAV'97, Jun 1997, Haifa, Israel. pp.179--190, ⟨10.1007/3-540-63166-6_19⟩
Communication dans un congrès hal-00374086v1
Image document

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

 Marius Bozga , Susanne Graf , Laurent Mounier
Computer Aided Verification (CAV), Jul 2002, Copenhagen, Denmark. pp.343-348
Communication dans un congrès hal-00357518v1
Image document

On Logics of Aliasing

 Marius Bozga , Radu Iosif , Yassine Lakhnech
Static Analysis 11th International Symposium, SAS 2004, Aug 2004, Verona, Italy. pp.344-360, ⟨10.1007/b99688⟩
Communication dans un congrès hal-00369338v1
Image document

Iterating Octagons

 Marius Bozga , Codruta Girlea , Radu Iosif
Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Mar 2009, York, United Kingdom. pp.337-351, ⟨10.1007/978-3-642-00768-2⟩
Communication dans un congrès hal-00374863v1
Image document

On the Representation of Probabilities over Structured Domains

 Marius Bozga , Oded Maler
Computer Aided Verification 11th International Conference, CAV'99, Jul 1999, Trento, Italy. pp.261-273, ⟨10.1007/3-540-48683-6⟩
Communication dans un congrès hal-00369366v1
Image document

Quantitative Separation Logic and Programs with Lists

 Marius Bozga , Radu Iosif , Swann Perarnau
Automated Reasoning 4th International Joint Conference, IJCAR 2008, Aug 2008, Sydney, Australia. pp.34-49, ⟨10.1007/978-3-540-71070-7⟩
Communication dans un congrès hal-00359290v1
Image document

Counting Aliases

 Marius Bozga , Radu Iosif , Yassine Lakhnech
[Research Report] VERIMAG. 2004
Rapport hal-01423603v1
Image document

Deciding Conditional Termination

 Radu Iosif , Filip Konecny , Marius Bozga
Logical Methods in Computer Science, 2014, 10 (3), pp.8. ⟨10.2168/LMCS-10(3:8)2014⟩
Article dans une revue hal-01418866v1
Image document

Automated validation of distributed software using the IF environment

 Marius Bozga , Susanne Graf , Laurent Mounier
Workshop on Software Model Checking (in connection with CAV '01), Jul 2001, Paris, France. pp.370-381
Communication dans un congrès hal-00369349v1
Image document

On Decidability within the Arithmetic of Addition and Divisibility

 Marius Bozga , Radu Iosif
Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Apr 2005, Edinburgh, United Kingdom. pp.425-439, ⟨10.1007/b106850⟩
Communication dans un congrès hal-00374872v1
Page :