The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marius Bozga" ( http://dblp.L3S.de/Authors/Marius_Bozga )

URL (Homepage):  http://www-verimag.imag.fr/~bozga/  Author page on DBLP  Author page in RDF  Community of Marius Bozga in ASPL-2

Publication years (Num. hits)
1997-2000 (16) 2001-2005 (16) 2006-2009 (21) 2010-2011 (23) 2012-2013 (22) 2014-2015 (23) 2016-2017 (18) 2018-2019 (17)
Publication types (Num. hits)
article(38) inproceedings(116) phdthesis(1) proceedings(1)
Venues (Conferences, Journals, ...)
CAV(9) CoRR(6) TACAS(6) STTT(5) EMSOFT(4) ISoLA (1)(4) SAS(4) SIES(4) ATVA(3) Electr. Notes Theor. Comput. S...(3) FMOODS/FORTE(3) FORMATS(3) RV(3) Sci. Comput. Program.(3) SEFM(3) DATE(2) More (+10 of total 92)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 32 occurrences of 22 keywords

Results
Found 157 publication records. Showing 156 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga Priority-based scheduling of mixed-critical jobs. Search on Bibsonomy Real-Time Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga Local Planning Semantics: A Semantics for Distributed Real-Time Systems. Search on Bibsonomy LITES The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Radu Iosif, Joseph Sifakis Local Reasoning about Parametric and Reconfigurable Component-based Systems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marius Bozga, Radu Iosif, Joseph Sifakis Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marius Bozga, Radu Iosif, Joseph Sifakis Checking Deadlock-Freedom of Parametric Component-Based Systems. Search on Bibsonomy TACAS (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Georgia 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. Search on Bibsonomy Design Autom. for Emb. Sys. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Radu Iosif, Joseph Sifakis Checking Deadlock-Freedom of Parametric Component-Based Systems. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket Global and Local Deadlock Freedom in BIP. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay Performance evaluation of stochastic real-time systems with the SBIP framework. Search on Bibsonomy IJCCBS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis Model-based design of IoT systems with the BIP component framework. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem Mitigating Security Risks Through Attack Strategies Exploration. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. Search on Bibsonomy ISoLA (3) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. Search on Bibsonomy ISoLA (3) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem Tracing Distributed Component-Based Systems, a Brief Overview. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis Programming Dynamic Reconfigurable Systems. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong A Model-based Approach to Certification of Adaptive MILS. Search on Bibsonomy MILS@DSN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga Monitoring Distributed Component-Based Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Takoua Abdellatif, Marius Bozga An End-to-End Security Model for Adaptive Service-Oriented Applications. Search on Bibsonomy ICSOC Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga Knowledge Based Optimization for Distributed Real-Time Systems. Search on Bibsonomy APSEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem Improved Learning for Stochastic Timed Models by State-Merging Algorithms. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fotios 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). Search on Bibsonomy SEFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan Component-based verification using incremental design and invariants. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem Distinguishing extended finite state machine configurations using predicate abstraction. Search on Bibsonomy J. Software Eng. R&D The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga A Model-Based Approach to Secure Multiparty Distributed Systems. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess Compositional Parameter Synthesis. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem Local Planning of Multiparty Interactions with Bounded Horizons. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga A Compositional Approach to the Verification of Hybrid Systems. Search on Bibsonomy Theory and Practice of Formal Methods The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz Monitoring Multi-threaded Component-Based Systems. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem Performance Evaluation of Complex Systems Using the SBIP Framework. Search on Bibsonomy VECoS The full citation details ... 2016 DBLP  BibTeX  RDF
1Yliè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. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay Statistical model checking QoS properties of systems with SBIP. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz Compositional Verification for Timed Systems Based on Automatic Invariant Generation. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis Optimized distributed implementation of multiparty interactions with Restriction. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga A Timed-Automata Based Middleware for Time-Critical Multicore Applications. Search on Bibsonomy ISORC Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. Search on Bibsonomy ISORC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga Models for deterministic execution of real-time multiprocessor applications. Search on Bibsonomy DATE The full citation details ... 2015 DBLP  BibTeX  RDF
1Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. Search on Bibsonomy HPCC/CSS/ICESS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga A Theory Agenda for Component-Based Design. Search on Bibsonomy Software, Services, and Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis Using BIP to reinforce correctness of resource-constrained IoT applications. Search on Bibsonomy SIES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga A Robust Framework for Securing Composed Web Services. Search on Bibsonomy FACS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexios Lekidis, Paraskevas Bourgos, Simplice Djoko Djoko, Marius Bozga, Saddek Bensalem Building distributed sensor network applications using BIP. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz Compositional Verification of Parameterised Timed Systems. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Radu Iosif, Filip Konecný Deciding Conditional Termination Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem Building faithful high-level models and performance evaluation of manycore embedded systems. Search on Bibsonomy MEMOCODE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexios Lekidis, Marius Bozga, Saddek Bensalem Model-based validation of CANopen systems. Search on Bibsonomy WFCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki Rigorous System Design Flow for Autonomous Systems. Search on Bibsonomy ISoLA (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber Architecture internalisation in BIP. Search on Bibsonomy CBSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Balaji Raman 0001, Marius Bozga, Axel Legay, Saddek Bensalem Faster Statistical Model Checking by Means of Abstraction and Learning. Search on Bibsonomy RV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz Compositional Invariant Generation for Timed Systems. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga Model-Driven Information Flow Security for Component-Based Systems. Search on Bibsonomy FPS@ETAPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Radu Iosif, Filip Konecný Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops. Search on Bibsonomy VMCAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Axel Legay, Marius Bozga (eds.) Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings Search on Bibsonomy FORMATS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf Model-based implementation of distributed systems with priorities. Search on Bibsonomy Design Autom. for Emb. Sys. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Axel Legay, Marius Bozga Rigorous embedded design: challenges and perspectives. Search on Bibsonomy STTT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Radu Iosif, Filip Konecný Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Balaji Raman 0001, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty Stochastic modeling and performance analysis of multimedia SoCs. Search on Bibsonomy ICSAMOS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga Mixed Critical Earliest Deadline First. Search on Bibsonomy ECRTS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay Incremental Generation of Linear Invariants for Component-Based Systems. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jean-Francois Kempf, Marius Bozga, Oded Maler As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket An Abstract Framework for Deadlock Prevention in BIP. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis A framework for automated distributed implementation of component-based models. Search on Bibsonomy Distributed Computing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay Statistical abstraction and model-checking of large heterogeneous systems. Search on Bibsonomy STTT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler A Theory of Fault Recovery for Component-Based Models. Search on Bibsonomy SSS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marius 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. Search on Bibsonomy DATE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri Statistical Model Checking QoS Properties of Systems with SBIP. Search on Bibsonomy ISoLA (1) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis Optimized distributed implementation of multiparty interactions with observation. Search on Bibsonomy AGERE!@SPLASH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Radu Iosif, Filip Konecný Deciding Conditional Termination. Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf Knowledge Based Transactional Behavior. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis Modeling Dynamic Architectures Using Dy-BIP. Search on Bibsonomy Software Composition The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone Integration of correct-by-construction BIP models into the MetroII design space exploration flow. Search on Bibsonomy ICCD The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis Rigorous Component-Based System Design - (Invited Paper). Search on Bibsonomy WRLA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rui Wang 0024, Min Zhou 0001, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu 0001, Marius Bozga Modeling and Validation of PLC-Controlled Systems: A Case Study. Search on Bibsonomy TASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar Programs with lists are counter automata. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis Rigorous Component-Based System Design Using the BIP Framework. Search on Bibsonomy IEEE Software The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang Rigorous system level modeling and analysis of mixed HW/SW systems. Search on Bibsonomy MEMOCODE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis Rigorous System Design: The BIP Approach. Search on Bibsonomy MEMICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf Automated distributed implementation of component-based models with priorities. Search on Bibsonomy EMSOFT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis Component Assemblies in the Context of Manycore. Search on Bibsonomy FMCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian 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. Search on Bibsonomy FMCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jean-Francois Kempf, Marius Bozga, Oded Maler Performance Evaluation of Schedulers in a Probabilistic Setting. Search on Bibsonomy FORMATS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem Runtime Verification of Component-Based Systems. Search on Bibsonomy SEFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler A Theory of Fault Recovery for Component-Based Models. Search on Bibsonomy SRDS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis Compositional verification for component-based systems and application. Search on Bibsonomy IET Software The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Mohamad Jaber, Joseph Sifakis Source-to-Source Architecture Transformation for Performance Optimization in BIP. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Radu Iosif, Swann Perarnau Quantitative Separation Logic and Programs with Lists. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Radu Iosif, Filip Konecný Fast Acceleration of Ultimately Periodic Relations. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis Systematic Correct Construction of Self-stabilizing Systems: A Case Study. Search on Bibsonomy SSS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton Methods for Knowledge Based Controlling of Distributed Systems. Search on Bibsonomy ATVA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis Verification of an AFDX Infrastructure Using Simulations and Probabilities. Search on Bibsonomy RV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar Tool Demonstration of the FLATA Counter Automata Toolset. Search on Bibsonomy WING@ETAPS/IJCAR The full citation details ... 2010 DBLP  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis From high-level component-based models to distributed implementations. Search on Bibsonomy EMSOFT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis Automated Conflict-free distributed implementation of component-based models. Search on Bibsonomy SIES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 156 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license