Marius Bozga

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Regular Grammars for Graph Sets of Tree-Width $\leq2$ 2024 Marius Bozga
Radu Iosif
Florian Zuleger
+ Safe by Design Autonomous Driving Systems 2024 Marius Bozga
Joseph Sifakis
+ PDF Chat Function Synthesis for Maximizing Model Counting 2023 Thomas Vigouroux
Marius Bozga
Cristian Ene
Laurent Mounier
+ The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations 2023 Marius Bozga
Lucas Bueri
Radu Iosif
Florian Zuleger
+ PDF Chat Verification of component-based systems with recursive architectures 2022 Marius Bozga
Radu Iosif
Joseph Sifakis
+ PDF Chat Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework 2022 Marius Bozga
Joseph Sifakis
+ Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems 2022 Marius Bozga
Lucas Bueri
Radu Iosif
+ Correct by Design Coordination of Autonomous Driving Systems 2022 Marius Bozga
Joseph Sifakis
+ PDF Chat Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems 2022 Marius Bozga
Lucas Bueri
Radu Iosif
+ On an Invariance Problem for Parameterized Concurrent Systems 2022 Marius Bozga
Lucas Bueri
Radu Iosif
+ Correct by Design Coordination of Autonomous Driving Systems 2022 Marius Bozga
Joseph Sifakis
+ PDF Chat Monitoring Distributed Component-Based Systems 2021 Ylìès Falcone
Hosein Nazarpour
Saddek Bensalem
Marius Bozga
+ Formal verification of space systems designed with TASTE 2021 Iulia Dragomir
Marius Bozga
Iulian Ober
Dâmaris Silveira
T Jorge
Elena Alaña
Maxime Perrotin
+ Verification of Component-based Systems with Recursive Architectures 2021 Marius Bozga
Radu Iosif
Joseph Sifakis
+ Reasoning about Reconfigurations of Distributed Systems 2021 Emma Ahrens
Marius Bozga
Radu Iosif
Joost-Pieter Katoen
+ Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework 2021 Marius Bozga
Joseph Sifakis
+ Verifying Safety Properties of Inductively Defined Parameterized Systems 2020 Marius Bozga
Radu Iosif
+ Structural Invariants for the Verification of Systems with Parameterized Architectures 2020 Marius Bozga
Javier Esparza
Radu Iosif
Joseph Sifakis
Christoph Welzel
+ Local Reasoning about Parametric and Reconfigurable Component-based Systems 2019 Marius Bozga
Radu Iosif
Joseph Sifakis
+ Checking Deadlock-Freedom of Parametric Component-Based Systems 2018 Marius Bozga
Radu Iosif
Joseph Sifakis
+ Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. 2016 Hosein Nazarpour
Ylìès Falcone
Saddek Bensalem
Marius Bozga
+ PDF Chat Local Planning of Multiparty Interactions with Bounded Horizon 2016 Mahieddine Dellabani
Jacques Combaz
Marius Bozga
Saddek Bensalem
+ Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems 2016 Hosein Nazarpour
Ylìès Falcone
Saddek Bensalem
Marius Bozga
+ PDF Chat Compositional Verification for Timed Systems Based on Automatic Invariant Generation 2015 Lăcrămioara Aştefănoaei
Souha Ben Rayana
Saddek Bensalem
Marius Bozga
Jacques Combaz
+ PDF Chat Deciding Conditional Termination 2014 Radu Iosif
Filip Konečný
Marius Bozga
+ PDF Chat Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops 2014 Marius Bozga
Radu Iosif
Filip Konečný
+ Safety Problems are NP-complete for Flat Integer Programs with Difference Bounds Loops 2013 Marius Bozga
Radu Iosif
Filip Konečný
+ The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops 2013 Marius Bozga
Radu Iosif
Filip Konečný
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ Taming Past LTL and Flat Counter Systems 2012 Stéphane Demri
Amit Kumar Dhar
Arnaud Sangnier
2
+ PDF Chat Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs 2012 Thomas Martin Gawlitza
David Monniaux
2
+ On the Complexity of Verifying Regular Properties on Flat Counter Systems, 2013 Stéphane Demri
Amit Kumar Dhar
Arnaud Sangnier
2
+ PDF Chat Formalizing Traffic Rules for Machine Interpretability 2020 Klemens Esterle
Luis Gressenbuch
Alois Knoll
2
+ PDF Chat Ontology based Scene Creation for the Development of Automated Vehicles 2018 Gerrit Bagschik
Till Menzel
Markus Maurer
2
+ PDF Chat An Improved Tight Closure Algorithm for Integer Octagonal Constraints 2008 Roberto Bagnara
Patricia M. Hill
Enea Zaffanella
2
+ The covering and boundedness problems for branching vector addition systems 2012 Stéphane Demri
Marcin Jurdziński
Oded Lachish
Ranko Lazić
1
+ On a Problem of Formal Logic 1930 Frank Plumpton Ramsey
1
+ PDF Chat Consensus on transaction commit 2006 Jim Gray
Leslie Lamport
1
+ A New Method in Elementary Prime Number Theory 1982 M. Nair
1
+ PDF Chat Balancing Scalability and Uniformity in SAT Witness Generator 2014 Supratik Chakraborty
Kuldeep S. Meel
Moshe Y. Vardi
1
+ PDF Chat Decentralised LTL Monitoring 2012 Andreas Bauer
Ylìès Falcone
1
+ PDF Chat Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic 2017 Christina Jansen
Jens Katelaan
Christoph Matheja
Thomas Noll
Florian Zuleger
1
+ Safety Problems are NP-complete for Flat Integer Programs with Difference Bounds Loops 2013 Marius Bozga
Radu Iosif
Filip Konečný
1
+ Scenic: Language-Based Scene Generation. 2018 Daniel J. Fremont
Xiangyu Yue
Tommaso Dreossi
Shromona Ghosh
Alberto Sangiovanni‐Vincentelli
Sanjit A. Seshia
1
+ Incremental Adaptive Attack Synthesis 2019 Seemanta Saha
William Eiers
İsmet Burak Kadron
Lucas Bang
Tevfik Bultan
1
+ PDF Chat Hoare-style specifications as correctness conditions for non-linearizable concurrent objects 2016 Ilya Sergey
Aleksandar Nanevski
Anindya Banerjee
Germán Andrés Delbianco
1
+ PDF Chat Autonomous Systems – An Architectural Characterization 2019 Joseph Sifakis
1
+ PDF Chat Autonomics: In search of a foundation for next-generation autonomous systems 2020 David Harel
Assaf Marron
Joseph Sifakis
1
+ PDF Chat Datacenter Traffic Control: Understanding Techniques and Tradeoffs 2017 Mohammad Noormohammadpour
C.S. Raghavendra
1
+ Scenic: a language for scenario specification and scene generation 2019 Daniel J. Fremont
Tommaso Dreossi
Shromona Ghosh
Xiangyu Yue
Alberto Sangiovanni‐Vincentelli
Sanjit A. Seshia
1
+ PDF Chat From Specifications to Behavior: Maneuver Verification in a Semantic State Space 2019 Klemens Esterle
Vincent Aravantinos
Alois Knoll
1
+ PDF Chat Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete 2015 Michael Blondin
Alain Finkel
Stefan Göller
Christoph Haase
Pierre McKenzie
1
+ PDF Chat Deciding Conditional Termination 2014 Radu Iosif
Filip Konečný
Marius Bozga
1
+ PDF Chat Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World 2020 Daniel J. Fremont
Edward Kim
Yash Vardhan Pant
Sanjit A. Seshia
Atul Acharya
Xantha Bruso
Paul Wells
Steve Lemke
Qiang Lu
Shalin Mehta
1
+ PDF Chat LGSVL Simulator: A High Fidelity Simulator for Autonomous Driving 2020 Guodong Rong
Byung Hyun Shin
Hadi Tabatabaee
Qiang Lu
Steve Lemke
Mārtiņš Možeiko
Eric Boise
Geehoon Uhm
Mark Gerow
Shalin Mehta
1
+ PDF Chat Safe and efficient collision avoidance control for autonomous vehicles 2020 Qiang Wang
Dachuan Li
Joseph Sifakis
1
+ PDF Chat The octagon abstract domain 2006 Antoine Miné
1
+ PDF Chat Efficient and Generalized Decentralized Monitoring of Regular Languages 2014 Ylìès Falcone
Tom Cornebize
Jean-Claude Fernandez
1
+ Unifying Decidable Entailments in Separation Logic with Inductive Definitions 2021 Mnacho Echenim
Radu Iosif
Nicolas Peltier
1
+ PDF Chat Monitoring Distributed Component-Based Systems 2021 Ylìès Falcone
Hosein Nazarpour
Saddek Bensalem
Marius Bozga
1
+ L. Henkin. Some remarks on infinitely long formulas. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 167–183. - Carol R. Karp. Independence proofs in predicate logic with infinitely long expressions. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 171–188. 1965 Thomas Frayne
1
+ PDF Chat Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty 2021 Nian-Ze Lee
Jie-Hong R. Jiang
1
+ PDF Chat Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems 2022 Marius Bozga
Lucas Bueri
Radu Iosif
1
+ PDF Chat Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints 2022 Muhammad Waqas
Muhammad Ali Murtaza
Pierluigi Nuzzo
Pétros Ioannou
1
+ PTIME Computation of Transitive Closures of Octagonal Relations 2014 Filip Konečný
1
+ A Quantitative Flavour of Robust Reachability 2022 Sébastien Bardin
Guillaume Girol
1
+ Correct by Design Coordination of Autonomous Driving Systems 2022 Marius Bozga
Joseph Sifakis
1
+ BAXMC: a CEGAR approach to Max#SAT 2022 Thomas Vigouroux
Cristian Ene
David Monniaux
Laurent Mounier
Marie-Laure Potet
1
+ PDF Chat Decentralised LTL monitoring 2016 Andreas Bauer
Ylìès Falcone
1
+ PDF Chat Function Synthesis for Maximizing Model Counting 2023 Thomas Vigouroux
Marius Bozga
Cristian Ene
Laurent Mounier
1
+ PDF Chat A Scalable Approximate Model Counter 2013 Supratik Chakraborty
Kuldeep S. Meel
Moshe Y. Vardi
1
+ On rational series in one variable over certain dioids 1994 Stéphane Gaubert
1
+ PDF Chat The Tree Width of Separation Logic with Recursive Definitions 2013 Radu Iosif
Adam Rogalewicz
Jiří Šimáček
1
+ PDF Chat On the linear ranking problem for integer linear-constraint loops 2013 Amir M. Ben-Amram
Samir Genaim
1
+ Mathematics Today Twelve Informal Essays 1978 Lynn Arthur Steen
1