Stop the war!Остановите войну!
for scientists:
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
- 2023
[j35]Marius Bozga
, Radu Iosif, Joseph Sifakis:
Verification of component-based systems with recursive architectures. Theor. Comput. Sci. 940(Part): 146-175 (2023)- [i17]Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier:
Function synthesis for maximizing model counting. CoRR abs/2305.10003 (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]