default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarius Bozga
Person information
- affiliation: IMAG, Grenoble, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c135]Thomas Vigouroux
, Marius Bozga, Cristian Ene, Laurent Mounier:
Function Synthesis for Maximizing Model Counting. VMCAI (1) 2024: 258-279- [i20]Marius Bozga, Joseph Sifakis:
Safe by Design Autonomous Driving Systems. CoRR abs/2405.11995 (2024) - [i19]Marius Bozga, Radu Iosif, Florian Zuleger:
Regular Grammars for Graph Sets of Tree-Width ≤. CoRR abs/2408.01226 (2024) - 2023
- [j36]Marius Bozga, Joseph Sifakis:
Correct by design coordination of autonomous driving systems. Int. J. Softw. Tools Technol. Transf. 25(5): 625-639 (2023) - [j35]Marius Bozga, Radu Iosif, Joseph Sifakis:
Verification of component-based systems with recursive architectures. Theor. Comput. Sci. 940(Part): 146-175 (2023) - [i18]Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier:
Function synthesis for maximizing model counting. CoRR abs/2305.10003 (2023) - [i17]Marius Bozga, Lucas Bueri, Radu Iosif, Florian Zuleger:
The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations. CoRR abs/2310.09542 (2023) - 2022
- [j34]Abdelhakim Baouya, Salim Chehida, Samir Ouchani, Saddek Bensalem, Marius Bozga:
Generation and verification of learned stochastic automata using k-NN and statistical model checking. Appl. Intell. 52(8): 8874-8894 (2022) - [j33]Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen:
Reasoning about distributed reconfigurable systems. Proc. ACM Program. Lang. 6(OOPSLA2): 145-174 (2022) - [j32]Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga:
Learning and analysis of sensors behavior in IoT systems using statistical model checking. Softw. Qual. J. 30(2): 367-388 (2022) - [c134]Marius Bozga, Joseph Sifakis:
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. Principles of Systems Design 2022: 85-106 - [c133]Marius Bozga, Lucas Bueri, Radu Iosif:
Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems. IJCAR 2022: 691-711 - [c132]Marius Bozga, Lucas Bueri, Radu Iosif:
On an Invariance Problem for Parameterized Concurrent Systems. CONCUR 2022: 24:1-24:16 - [c131]Marius Bozga, Joseph Sifakis:
Correct by Design Coordination of Autonomous Driving Systems. ISoLA (3) 2022: 13-29 - [c130]Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin:
Model-checking of space systems designed with TASTE/SDL. MoDELS (Companion) 2022: 237-246 - [i16]Marius Bozga, Lucas Bueri, Radu Iosif:
Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems. CoRR abs/2202.09637 (2022) - [i15]Marius Bozga, Lucas Bueri, Radu Iosif:
On an Invariance Problem for Parameterized Concurrent Systems. CoRR abs/2204.12117 (2022) - [i14]Marius Bozga, Joseph Sifakis:
Correct by Design Coordination of Autonomous Driving Systems. CoRR abs/2205.10037 (2022) - 2021
- [j31]Marius Bozga, Radu Iosif, Joseph Sifakis:
Checking deadlock-freedom of parametric component-based systems. J. Log. Algebraic Methods Program. 119: 100621 (2021) - [j30]Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Programming dynamic reconfigurable systems. Int. J. Softw. Tools Technol. Transf. 23(5): 701-719 (2021) - [c129]Marius Bozga, Radu Iosif:
Specification and Safety Verification of Parametric Hierarchical Distributed Systems. FACS 2021: 95-114 - [c128]Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga:
Monitoring Distributed Component-Based Systems. FACS 2021: 153-173 - [c127]Antoine El-Hokayem, Marius Bozga, Joseph Sifakis:
A temporal configuration logic for dynamic reconfigurable systems. SAC 2021: 1419-1428 - [i13]Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen:
Local Reasoning about Parameterized Reconfigurable Distributed Systems. CoRR abs/2107.05253 (2021) - [i12]Marius Bozga, Joseph Sifakis:
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. CoRR abs/2109.06478 (2021) - [i11]Iulia Dragomir, Marius Bozga, Iulian Ober, D. Silveira, Tiago Jorge, E. Alaña, Maxime Perrotin:
Formal verification of space systems designed with TASTE. CoRR abs/2111.10132 (2021) - [i10]Marius Bozga, Radu Iosif, Joseph Sifakis:
Verification of Component-based Systems with Recursive Architectures. CoRR abs/2112.08292 (2021) - 2020
- [c126]Salim Chehida, Abdelhakim Baouya, Diego Fernández Alonso, Paul-Emmanuel Brun, Guillemette Massot, Marius Bozga, Saddek Bensalem:
Asset-Driven Approach for Security Risk Assessment in IoT Systems. CRiSIS 2020: 149-163 - [c125]Abdelhakim Baouya, Salim Chehida, Miquel Cantero, Marta Millet, Saddek Bensalem, Marius Bozga:
Formal Modeling and Simulation of Collaborative Intelligent Robots. ESOCC Workshops 2020: 41-52 - [c124]Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga:
Fog Computing and Blockchain for Massive IoT Deployment. MECO 2020: 1-4 - [c123]Salim Chehida, Abdelhakim Baouya, Marius Bozga, Saddek Bensalem:
Exploration of Impactful Countermeasures on IoT Attacks. MECO 2020: 1-4 - [c122]Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga:
Applied Statistical Model Checking for a Sensor Behavior Analysis. QUATIC 2020: 399-411 - [c121]Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. SEFM 2020: 284-302 - [c120]Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga:
Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. SoMeT 2020: 330-342 - [c119]Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel:
Structural Invariants for the Verification of Systems with Parameterized Architectures. TACAS (1) 2020: 228-246 - [i9]Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel:
Structural Invariants for the Verification of Systems with Parameterized Architectures. CoRR abs/2002.07672 (2020) - [i8]Marius Bozga, Radu Iosif:
Verifying Safety Properties of Inductively Defined Parameterized Systems. CoRR abs/2008.04160 (2020)
2010 – 2019
- 2019
- [j29]Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga:
Local Planning Semantics: A Semantics for Distributed Real-Time Systems. Leibniz Trans. Embed. Syst. 6(1): 01:1-01:27 (2019) - [j28]Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga:
Priority-based scheduling of mixed-critical jobs. Real Time Syst. 55(4): 709-773 (2019) - [c118]Marius Bozga, Radu Iosif, Joseph Sifakis:
Checking Deadlock-Freedom of Parametric Component-Based Systems. TACAS (2) 2019: 3-20 - [i7]Marius Bozga, Radu Iosif, Joseph Sifakis:
Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures. CoRR abs/1902.02696 (2019) - [i6]Marius Bozga, Radu Iosif, Joseph Sifakis:
Local Reasoning about Parametric and Reconfigurable Component-based Systems. CoRR abs/1908.11345 (2019) - 2018
- [j27]Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Benoît Dupont de Dinechin:
DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. Des. Autom. Embed. Syst. 22(1-2): 141-181 (2018) - [j26]Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay:
Performance evaluation of stochastic real-time systems with the SBIP framework. Int. J. Crit. Comput. Based Syst. 8(3/4): 340-370 (2018) - [j25]Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis:
Model-based design of IoT systems with the BIP component framework. Softw. Pract. Exp. 48(6): 1167-1194 (2018) - [j24]Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket:
Global and Local Deadlock Freedom in BIP. ACM Trans. Softw. Eng. Methodol. 26(3): 9:1-9:48 (2018) - [c117]Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem:
S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. ATVA 2018: 536-542 - [c116]Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Programming Dynamic Reconfigurable Systems. FACS 2018: 118-136 - [c115]Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong:
A Model-based Approach to Certification of Adaptive MILS. MILS@DSN 2018 - [c114]Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem:
Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. ISoLA (3) 2018: 155-171 - [c113]Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. ISoLA (3) 2018: 304-320 - [c112]Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem:
Mitigating Security Risks Through Attack Strategies Exploration. ISoLA (2) 2018: 392-413 - [c111]Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem:
Tracing Distributed Component-Based Systems, a Brief Overview. RV 2018: 417-425 - [i5]Marius Bozga, Radu Iosif, Joseph Sifakis:
Checking Deadlock-Freedom of Parametric Component-Based Systems. CoRR abs/1805.10073 (2018) - 2017
- [j23]Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga:
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Formal Aspects Comput. 29(6): 951-986 (2017) - [c110]Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga:
Knowledge Based Optimization for Distributed Real-Time Systems. APSEC 2017: 751-756 - [c109]Takoua Abdellatif, Marius Bozga:
An End-to-End Security Model for Adaptive Service-Oriented Applications. ICSOC Workshops 2017: 43-54 - [c108]Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem:
Improved Learning for Stochastic Timed Models by State-Merging Algorithms. NFM 2017: 178-193 - [c107]Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo:
Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). SEFM 2017: 401-407 - [i4]Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga:
Monitoring Distributed Component-Based Systems. CoRR abs/1705.05242 (2017) - 2016
- [j22]Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem:
Distinguishing extended finite state machine configurations using predicate abstraction. J. Softw. Eng. Res. Dev. 4: 1 (2016) - [j21]Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
Component-based verification using incremental design and invariants. Softw. Syst. Model. 15(2): 427-451 (2016) - [j20]Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem:
ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis. ACM Trans. Embed. Comput. Syst. 15(2): 31:1-31:26 (2016) - [c106]Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga:
A Compositional Approach to the Verification of Hybrid Systems. Theory and Practice of Formal Methods 2016: 88-103 - [c105]Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess:
Compositional Parameter Synthesis. FM 2016: 60-68 - [c104]Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem:
Local Planning of Multiparty Interactions with Bounded Horizons. FM 2016: 199-216 - [c103]Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Monitoring Multi-threaded Component-Based Systems. IFM 2016: 141-159 - [c102]Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga:
Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. ISoLA (1) 2016: 605-621 - [c101]Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga:
A Model-Based Approach to Secure Multiparty Distributed Systems. ISoLA (1) 2016: 893-908 - [c100]Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz:
RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. TACAS 2016: 394-406 - [c99]Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem:
Performance Evaluation of Complex Systems Using the SBIP Framework. VECoS 2016: 11-26 - [i3]Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga:
Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. CoRR abs/1612.06154 (2016) - 2015
- [j19]Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Compositional Verification for Timed Systems Based on Automatic Invariant Generation. Log. Methods Comput. Sci. 11(3) (2015) - [j18]Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis:
Optimized distributed implementation of multiparty interactions with Restriction. Sci. Comput. Program. 98: 293-316 (2015) - [j17]Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem:
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. 14(1): 173-199 (2015) - [j16]Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay:
Statistical model checking QoS properties of systems with SBIP. Int. J. Softw. Tools Technol. Transf. 17(2): 171-185 (2015) - [c98]Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga:
A Theory Agenda for Component-Based Design. Software, Services, and Systems 2015: 409-439 - [c97]Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga:
Models for deterministic execution of real-time multiprocessor applications. DATE 2015: 1665-1670 - [c96]Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga:
A Robust Framework for Securing Composed Web Services. FACS 2015: 105-122 - [c95]Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga:
Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. HPCC/CSS/ICESS 2015: 684-687 - [c94]Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga:
A Timed-Automata Based Middleware for Time-Critical Multicore Applications. ISORC Workshops 2015: 1-8 - [c93]Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga:
Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. ISORC 2015: 198-207 - [c92]Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Compositional Verification of Parameterised Timed Systems. NFM 2015: 66-81 - [c91]Alexios Lekidis, Paraskevas Bourgos, Simplice Djoko Djoko, Marius Bozga, Saddek Bensalem:
Building distributed sensor network applications using BIP. SAS 2015: 1-6 - [c90]Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis:
Using BIP to reinforce correctness of resource-constrained IoT applications. SIES 2015: 245-253 - 2014
- [j15]Marius Bozga, Radu Iosif, Filip Konecný:
Deciding Conditional Termination. Log. Methods Comput. Sci. 10(3) (2014) - [c89]Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber:
Architecture internalisation in BIP. CBSE 2014: 169-178 - [c88]Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga:
Model-Driven Information Flow Security for Component-Based Systems. FPS@ETAPS 2014: 1-20 - [c87]Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki:
Rigorous System Design Flow for Autonomous Systems. ISoLA (1) 2014: 184-198 - [c86]Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem:
Building faithful high-level models and performance evaluation of manycore embedded systems. MEMOCODE 2014: 209-218 - [c85]Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem:
Faster Statistical Model Checking by Means of Abstraction and Learning. RV 2014: 340-355 - [c84]Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Compositional Invariant Generation for Timed Systems. TACAS 2014: 263-278 - [c83]Marius Bozga, Radu Iosif, Filip Konecný:
Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops. VMCAI 2014: 242-261 - [c82]Alexios Lekidis, Marius Bozga, Saddek Bensalem:
Model-based validation of CANopen systems. WFCS 2014: 1-10 - [e1]Axel Legay, Marius Bozga:
Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings. Lecture Notes in Computer Science 8711, Springer 2014, ISBN 978-3-319-10511-6 [contents] - 2013
- [j14]Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf:
Model-based implementation of distributed systems with priorities. Des. Autom. Embed. Syst. 17(2): 251-276 (2013) - [j13]Saddek Bensalem, Axel Legay, Marius Bozga:
Rigorous embedded design: challenges and perspectives. Int. J. Softw. Tools Technol. Transf. 15(3): 149-154 (2013) - [c81]Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay:
Incremental Generation of Linear Invariants for Component-Based Systems. ACSD 2013: 80-89 - [c80]Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga:
Mixed Critical Earliest Deadline First. ECRTS 2013: 93-102 - [c79]Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket:
An Abstract Framework for Deadlock Prevention in BIP. FMOODS/FORTE 2013: 161-177 - [c78]Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf:
Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Haifa Verification Conference 2013: 344-358 - [c77]Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty:
Stochastic modeling and performance analysis of multimedia SoCs. ICSAMOS 2013: 145-154 - [c76]Jean-Francois Kempf, Marius Bozga, Oded Maler:
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. TACAS 2013: 385-400 - [i2]Marius Bozga, Radu Iosif, Filip Konecný:
Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops. CoRR abs/1307.5321 (2013) - 2012
- [j12]Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis:
A framework for automated distributed implementation of component-based models. Distributed Comput. 25(5): 383-409 (2012) - [j11]Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay:
Statistical abstraction and model-checking of large heterogeneous systems. Int. J. Softw. Tools Technol. Transf. 14(1): 53-72 (2012) - [c75]Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis:
Optimized distributed implementation of multiparty interactions with observation. AGERE!@SPLASH 2012: 71-82 - [c74]Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans:
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE 2012: 370-375 - [c73]Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis:
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. FMOODS/FORTE 2012: 118-134 - [c72]Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf:
Knowledge Based Transactional Behavior. Haifa Verification Conference 2012: 40-55 - [c71]Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone:
Integration of correct-by-construction BIP models into the MetroII design space exploration flow. ICCD 2012: 490-491 - [c70]Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri:
Statistical Model Checking QoS Properties of Systems with SBIP. ISoLA (1) 2012: 327-341 - [c69]Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis:
Modeling Dynamic Architectures Using Dy-BIP. SC@TOOLS 2012: 1-16 - [c68]Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler:
A Theory of Fault Recovery for Component-Based Models. SSS 2012: 314-328 - [c67]Marius Bozga, Radu Iosif, Filip Konecný:
Deciding Conditional Termination. TACAS 2012: 252-266 - [c66]Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga:
Modeling and Validation of PLC-Controlled Systems: A Case Study. TASE 2012: 161-166 - [c65]Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Rigorous Component-Based System Design - (Invited Paper). WRLA 2012: 1-9 - 2011
- [j10]Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar:
Programs with lists are counter automata. Formal Methods Syst. Des. 38(2): 158-192 (2011) - [j9]Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis:
Rigorous Component-Based System Design Using the BIP Framework. IEEE Softw. 28(3): 41-48 (2011) - [c64]Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf:
Automated distributed implementation of component-based models with priorities. EMSOFT 2011: 59-68 - [c63]Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza, Eric Flamand, Jean-Pierre Krimm, Julien Mottin, Lars Schor, Pratyush Kumar, Hoeseok Yang, Devesh B. Chokshi, Lothar Thiele, Saddek Bensalem, Marius Bozga, Luca Benini, Mohamed M. Sabry, Yusuf Leblebici, Giovanni De Micheli, Diego Melpignano:
PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status. FMCO 2011: 277-293 - [c62]Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis:
Component Assemblies in the Context of Manycore. FMCO 2011: 314-333 - [c61]Jean-Francois Kempf, Marius Bozga, Oded Maler:
Performance Evaluation of Schedulers in a Probabilistic Setting. FORMATS 2011: 1-17 - [c60]Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis:
Rigorous System Design: The BIP Approach. MEMICS 2011: 1-19 - [c59]Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang:
Rigorous system level modeling and analysis of mixed HW/SW systems. MEMOCODE 2011: 11-20 - [c58]Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem:
Runtime Verification of Component-Based Systems. SEFM 2011: 204-220 - [c57]Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler:
A Theory of Fault Recovery for Component-Based Models. SRDS 2011: 265-270 - 2010
- [b2]Marius Bozga:
Component-Based Design of Real-Time Systems. (Construction des Systèmes Temps Réel à base de Composants). Joseph Fourier University, Grenoble, France, 2010 - [j8]Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis:
Compositional verification for component-based systems and application. IET Softw. 4(3): 181-193 (2010) - [j7]Marius Bozga, Radu Iosif, Swann Perarnau:
Quantitative Separation Logic and Programs with Lists. J. Autom. Reason. 45(2): 131-156 (2010) - [j6]Marius Bozga, Mohamad Jaber, Joseph Sifakis:
Source-to-Source Architecture Transformation for Performance Optimization in BIP. IEEE Trans. Ind. Informatics 6(4): 708-718 (2010) - [c56]Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton:
Methods for Knowledge Based Controlling of Distributed Systems. ATVA 2010: 52-66 - [c55]Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar:
Tool Demonstration of the FLATA Counter Automata Toolset. WING@ETAPS/IJCAR 2010: 75 - [c54]Marius Bozga, Radu Iosif, Filip Konecný:
Fast Acceleration of Ultimately Periodic Relations. CAV 2010: 227-242 - [c53]Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis:
From high-level component-based models to distributed implementations. EMSOFT 2010: 209-218 - [c52]Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
Incremental component-based construction and verification using invariants. FMCAD 2010: 257-256 - [c51]Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay:
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE 2010: 32-46 - [c50]Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis:
Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV 2010: 330-344 - [c49]Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis:
Automated Conflict-free distributed implementation of component-based models. SIES 2010: 108-117 - [c48]Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis:
Compositional Translation of Simulink Models into Synchronous BIP. SIES 2010: 217-220 - [c47]Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis:
Systematic Correct Construction of Self-stabilizing Systems: A Case Study. SSS 2010: 4-18
2000 – 2009
- 2009
- [j5]Marius Bozga, Radu Iosif, Yassine Lakhnech:
Flat Parametric Counter Automata. Fundam. Informaticae 91(2): 275-303 (2009) - [c46]Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar:
Automatic Verification of Integer Array Programs. CAV 2009: 157-172 - [c45]Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis:
D-Finder: A Tool for Compositional Deadlock Detection and Verification. CAV 2009: 614-619 - [c44]Ramzi Ben Salah, Marius Bozga, Oded Maler:
Compositional timing analysis. EMSOFT 2009: 39-48 - [c43]Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis:
Modeling synchronous systems in BIP. EMSOFT 2009: 77-86 - [c42]Mohamed Yassin Chkouri, Marius Bozga:
Deterministic Data Flow Communication in AADL. ICESS 2009: 93-100 - [c41]Mohamed Yassin Chkouri, Marius Bozga:
Prototyping of Distributed Embedded Systems Using AADL. ACES-MB@MoDELS 2009 - [c40]Marius Bozga, Mohamad Jaber, Joseph Sifakis:
Source-to-source architecture transformation for performance optimization in BIP. SIES 2009: 152-160 - [c39]Marius Bozga, Codruta Gîrlea, Radu Iosif:
Iterating Octagons. TACAS 2009: 337-351 - [c38]Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis:
Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. DISC 2009: 174-175 - 2008
- [c37]Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen:
Compositional Verification for Component-Based Systems and Application. ATVA 2008: 64-79 - [c36]Marius Bozga, Radu Iosif, Swann Perarnau:
Quantitative Separation Logic and Programs with Lists. IJCAR 2008: 34-49 - [c35]Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis:
Distributed Semantics and Implementation for Systems with Interaction and Priority. FORTE 2008: 116-133 - [c34]Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis:
Translating AADL into BIP - Application to the Verification of Real-Time Systems. MoDELS (Workshops) 2008: 5-19 - [i1]Ananda Basu, Marius Bozga, Joseph Sifakis:
Modeling Heterogeneous Real-time Components in BIP. Perspectives Workshop: Model Engineering of Complex Systems (MECS) 2008 - 2007
- [c33]Ramzi Ben Salah, Marius Bozga, Oded Maler:
On timed components and their abstraction. SAVCBS 2007: 63-71 - [c32]Marius Bozga, Radu Iosif:
On Flat Programs with Lists. VMCAI 2007: 122-136 - 2006
- [c31]Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar:
Programs with Lists Are Counter Automata. CAV 2006: 517-531 - [c30]Ramzi Ben Salah, Marius Bozga, Oded Maler:
On Interleaving in Timed Automata. CONCUR 2006: 465-476 - [c29]Marius Bozga, Radu Iosif, Yassine Lakhnech:
Flat Parametric Counter Automata. ICALP (2) 2006: 577-588 - [c28]Ananda Basu, Marius Bozga, Joseph Sifakis:
Modeling Heterogeneous Real-time Components in BIP. SEFM 2006: 3-12 - 2005
- [c27]Marius Bozga, Radu Iosif:
On Decidability Within the Arithmetic of Addition and Divisibility. FoSSaCS 2005: 425-439 - 2004
- [c26]Marius Bozga, Abdelkarim Kerbaa, Oded Maler:
Scheduling Acyclic Branching Programs on Parallel Machines. RTSS 2004: 208-217 - [c25]Marius Bozga, Radu Iosif, Yassine Lakhnech:
On Logics of Aliasing. SAS 2004: 344-360 - [c24]Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis:
The IF Toolset. SFM 2004: 237-267 - [c23]Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober:
IF Validation Environment Tutorial. SPIN 2004: 306-307 - [c22]Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis:
Testing Conformance of Real-Time Applications by Automatic Generation of Observers. RV@ETAPS 2004: 23-43 - 2003
- [j4]Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu:
State space reduction based on live variables analysis. Sci. Comput. Program. 47(2-3): 203-220 (2003) - [j3]Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu:
Using static analysis to improve automatic test generation. Int. J. Softw. Tools Technol. Transf. 4(2): 142-152 (2003) - [c21]Ramzi Ben Salah, Marius Bozga, Oded Maler:
On Timing Analysis of Combinational Circuits. FORMATS 2003: 204-219 - [c20]Marius Bozga, Radu Iosif, Yassine Lakhnech:
Storeless semantics and alias logic. PEPM 2003: 55-65 - 2002
- [c19]Marius Bozga, Susanne Graf, Laurent Mounier:
IF-2.0: A Validation Environment for Component-Based Real-Time Systems. CAV 2002: 343-348 - [c18]Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain:
Verification of Timed Automata via Satisfiability Checking. FTRTFT 2002: 225-244 - [c17]Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine:
Verification of Asynchronous Circuits using Timed Automata. Theory and Practice of Timed Systems @ ETAPS 2002: 47-59 - 2001
- [c16]Marius Bozga, Susanne Graf, Laurent Mounier:
Automated Validation of Distributed Software Using the IF Environment. NCA 2001: 268-275 - [c15]Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent:
Timed Extensions for SDL. SDL Forum 2001: 223-240 - [c14]Marius Bozga, Susanne Graf, Laurent Mounier:
Automated validation of distributed software using the IF environment. Workshop on Software Model Checking @ CAV 2001: 370-381 - 2000
- [j2]Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier:
Verification and test generation for the SSCOP protocol. Sci. Comput. Program. 36(1): 27-52 (2000) - [c13]Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier:
IF: A Validation Environment for Timed Asynchronous Systems. CAV 2000: 543-547 - [c12]Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent:
SDL for Real-Time: What is Missing? SAM 2000: 108- - [c11]Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech:
A Transformational Approach for Generating Non-linear Invariants. SAS 2000: 58-74 - [c10]Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu:
Using Static Analysis to Improve Automatic Test Generation. TACAS 2000: 235-250
1990 – 1999
- 1999
- [b1]Marius Bozga:
Vérification symbolique pour les protocoles de communication. (Symbolic verification for communication protocols). Joseph Fourier University, Grenoble, France, 1999 - [c9]Marius Bozga, Oded Maler:
On the Representation of Probabilities over Structured Domains. CAV 1999: 261-273 - [c8]Marius Bozga, Oded Maler, Stavros Tripakis:
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. CHARME 1999: 125-141 - [c7]Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier:
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. World Congress on Formal Methods 1999: 307-327 - [c6]Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu:
State Space Reduction Based on Live Variables Analysis. SAS 1999: 164-178 - [c5]Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis:
IF: An intermediate representation for SDL and its applications. SDL Forum 1999: 423-440 - 1998
- [c4]Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine:
Kronos: A Model-Checking Tool for Real-Time Systems. CAV 1998: 546-550 - [c3]Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine:
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). FTRTFT 1998: 298-302 - 1997
- [j1]Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier:
Protocol Verification with the ALDÉBARAN Toolset. Int. J. Softw. Tools Technol. Transf. 1(1-2): 166-184 (1997) - [c2]Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine:
Some Progress in the Symbolic Verification of Timed Automata. CAV 1997: 179-190 - [c1]Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse:
Data-Structures for the Verification of Timed Automata. HART 1997: 346-360
Coauthor Index
[j34] [j32] [j30] [c128] [c126] [c125] [c124] [c123] [c122] [c121] [c120] [j29] [j28] [j27] [j26] [j24] [c117] [c116] [c114] [c113] [c112] [c111] [j23] [c110] [c108] [c107] [i4] [j22] [j21] [j20] [c106] [c105] [c104] [c103] [c102] [c101] [c100] [c99] [i3] [j19] [j18] [j17] [j16] [c98] [c97] [c96] [c95] [c94] [c93] [c92] [c91] [c88] [c87] [c86] [c85] [c84] [c82] [j13] [c81] [c80] [c79] [c78] [c77] [j11] [c75] [c73] [c72] [c70] [c65] [j9] [c63] [c62] [c60] [c59] [c58] [j8] [c56] [c52] [c51] [c50] [c45] [c37] [c22] [c11]
[i20] [j36] [j35] [c134] [c131] [i14] [j31] [j30] [c127] [i12] [i10] [c121] [c119] [i9] [c118] [i7] [i6] [j24] [c116] [c113] [i5] [j21] [j18] [c98] [c89] [c79] [j12] [c75] [c73] [c69] [c65] [j9] [c62] [c60] [c59] [j8] [j6] [c53] [c52] [c49] [c48] [c47] [c45] [c43] [c40] [c38] [c37] [c35] [c34] [i1] [c28] [c24] [c5]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
