Marius Bozga

Saddek Bensalem, Axel Legay, Marius Bozga: Rigorous embedded design: challenges and perspectives. STTT 15(3): 149-154 (2013)

Jean-Francois Kempf, Marius Bozga, Oded Maler: As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. TACAS 2013: 385-400

Marius Bozga, Radu Iosif, Filip Konecný: Deciding Conditional Termination. CoRR abs/1302.2762 (2013)

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: A framework for automated distributed implementation of component-based models. Distributed Computing 25(5): 383-409 (2012)

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay: Statistical abstraction and model-checking of large heterogeneous systems. STTT 14(1): 53-72 (2012)

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

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis: Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. FMOODS/FORTE 2012: 118-134

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

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

Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis: Modeling Dynamic Architectures Using Dy-BIP. Software Composition 2012: 1-16

Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler: A Theory of Fault Recovery for Component-Based Models. SSS 2012: 314-328

Marius Bozga, Radu Iosif, Filip Konecný: Deciding Conditional Termination. TACAS 2012: 252-266

Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Gu Ming, Marius Bozga: Modeling and Validation of PLC-Controlled Systems: A Case Study. TASE 2012: 161-166

Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis: Rigorous Component-Based System Design - (Invited Paper). WRLA 2012: 1-9

Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar: Programs with lists are counter automata. Formal Methods in System Design 38(2): 158-192 (2011)

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 Software 28(3): 41-48 (2011)

Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf: Automated distributed implementation of component-based models with priorities. EMSOFT 2011: 59-68

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

Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis: Component Assemblies in the Context of Manycore. FMCO 2011: 314-333

Jean-Francois Kempf, Marius Bozga, Oded Maler: Performance Evaluation of Schedulers in a Probabilistic Setting. FORMATS 2011: 1-17

Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis: Rigorous System Design: The BIP Approach. MEMICS 2011: 1-19

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

Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem: Runtime Verification of Component-Based Systems. SEFM 2011: 204-220

Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler: A Theory of Fault Recovery for Component-Based Models. SRDS 2011: 265-270

Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis: Compositional verification for component-based systems and application. IET Software 4(3): 181-193 (2010)

Marius Bozga, Radu Iosif, Swann Perarnau: Quantitative Separation Logic and Programs with Lists. J. Autom. Reasoning 45(2): 131-156 (2010)

Marius Bozga, Mohamad Jaber, Joseph Sifakis: Source-to-Source Architecture Transformation for Performance Optimization in BIP. IEEE Trans. Industrial Informatics 6(4): 708-718 (2010)

Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton: Methods for Knowledge Based Controlling of Distributed Systems. ATVA 2010: 52-66

Marius Bozga, Radu Iosif, Filip Konecný: Fast Acceleration of Ultimately Periodic Relations. CAV 2010: 227-242

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: From high-level component-based models to distributed implementations. EMSOFT 2010: 209-218

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

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

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

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: Automated Conflict-free distributed implementation of component-based models. SIES 2010: 108-117

Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis: Compositional Translation of Simulink Models into Synchronous BIP. SIES 2010: 217-220

Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis: Systematic Correct Construction of Self-stabilizing Systems: A Case Study. SSS 2010: 4-18

Marius Bozga, Radu Iosif, Yassine Lakhnech: Flat Parametric Counter Automata. Fundam. Inform. 91(2): 275-303 (2009)

Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar: Automatic Verification of Integer Array Programs. CAV 2009: 157-172

Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis: D-Finder: A Tool for Compositional Deadlock Detection and Verification. CAV 2009: 614-619

Ramzi Ben Salah, Marius Bozga, Oded Maler: Compositional timing analysis. EMSOFT 2009: 39-48

Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis: Modeling synchronous systems in BIP. EMSOFT 2009: 77-86

Mohamed Yassin Chkouri, Marius Bozga: Deterministic Data Flow Communication in AADL. ICESS 2009: 93-100

Marius Bozga, Mohamad Jaber, Joseph Sifakis: Source-to-source architecture transformation for performance optimization in BIP. SIES 2009: 152-160

Marius Bozga, Codruta Gîrlea, Radu Iosif: Iterating Octagons. TACAS 2009: 337-351

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

Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen: Compositional Verification for Component-Based Systems and Application. ATVA 2008: 64-79

Marius Bozga, Radu Iosif, Swann Perarnau: Quantitative Separation Logic and Programs with Lists. IJCAR 2008: 34-49

Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis: Distributed Semantics and Implementation for Systems with Interaction and Priority. FORTE 2008: 116-133

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

Ramzi Ben Salah, Marius Bozga, Oded Maler: On timed components and their abstraction. SAVCBS 2007: 63-71

Marius Bozga, Radu Iosif: On Flat Programs with Lists. VMCAI 2007: 122-136

Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar: Programs with Lists Are Counter Automata. CAV 2006: 517-531

Ramzi Ben Salah, Marius Bozga, Oded Maler: On Interleaving in Timed Automata. CONCUR 2006: 465-476

Marius Bozga, Radu Iosif, Yassine Lakhnech: Flat Parametric Counter Automata. ICALP (2) 2006: 577-588

Ananda Basu, Marius Bozga, Joseph Sifakis: Modeling Heterogeneous Real-time Components in BIP. SEFM 2006: 3-12

Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis: Testing Conformance of Real-Time Applications by Automatic Generation of Observers. Electr. Notes Theor. Comput. Sci. 113: 23-43 (2005)

Marius Bozga, Radu Iosif: On Decidability Within the Arithmetic of Addition and Divisibility. FoSSaCS 2005: 425-439

Marius Bozga, Abdelkarim Kerbaa, Oded Maler: Scheduling Acyclic Branching Programs on Parallel Machines. RTSS 2004: 208-217

Marius Bozga, Radu Iosif, Yassine Lakhnech: On Logics of Aliasing. SAS 2004: 344-360

Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis: The IF Toolset. SFM 2004: 237-267

Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober: IF Validation Environment Tutorial. SPIN 2004: 306-307

Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu: State space reduction based on live variables analysis. Sci. Comput. Program. 47(2-3): 203-220 (2003)

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu: Using static analysis to improve automatic test generation. STTT 4(2): 142-152 (2003)

Ramzi Ben Salah, Marius Bozga, Oded Maler: On Timing Analysis of Combinational Circuits. FORMATS 2003: 204-219

Marius Bozga, Radu Iosif, Yassine Lakhnech: Storeless semantics and alias logic. PEPM 2003: 55-65

Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine: Verification of Asynchronous Circuits using Timed Automata. Electr. Notes Theor. Comput. Sci. 65(6): 47-59 (2002)

Marius Bozga, Susanne Graf, Laurent Mounier: IF-2.0: A Validation Environment for Component-Based Real-Time Systems. CAV 2002: 343-348

Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain: Verification of Timed Automata via Satisfiability Checking. FTRTFT 2002: 225-244

Marius Bozga, Susanne Graf, Laurent Mounier: Automated validation of distributed software using the IF environment. Electr. Notes Theor. Comput. Sci. 55(3): 370-381 (2001)

Marius Bozga, Susanne Graf, Laurent Mounier: Automated Validation of Distributed Software Using the IF Environment. NCA 2001: 268-275

Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent: Timed Extensions for SDL. SDL Forum 2001: 223-240

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)

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

Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent: SDL for Real-Time: What is Missing? SAM 2000: 108-

Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech: A Transformational Approach for Generating Non-linear Invariants. SAS 2000: 58-74

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu: Using Static Analysis to Improve Automatic Test Generation. TACAS 2000: 235-250

Marius Bozga, Oded Maler: On the Representation of Probabilities over Structured Domains. CAV 1999: 261-273

Marius Bozga, Oded Maler, Stavros Tripakis: Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. CHARME 1999: 125-141

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

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu: State Space Reduction Based on Live Variables Analysis. SAS 1999: 164-178

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

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

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

Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier: Protocol Verification with the ALDÉBARAN Toolset. STTT 1(1-2): 166-184 (1997)

Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine: Some Progress in the Symbolic Verification of Timed Automata. CAV 1997: 179-190

Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse: Data-Structures for the Verification of Timed Automata. HART 1997: 346-360