Marius Bozga

	2009
49		Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar: Automatic Verification of Integer Array Programs. CAV 2009: 157-172
48		Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis: D-Finder: A Tool for Compositional Deadlock Detection and Verification. CAV 2009: 614-619
47		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
46		Ramzi Ben Salah, Marius Bozga, Oded Maler: Compositional timing analysis. EMSOFT 2009: 39-48
45		Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis: Modeling synchronous systems in BIP. EMSOFT 2009: 77-86
44		Marius Bozga, Mohamad Jaber, Joseph Sifakis: Source-to-source architecture transformation for performance optimization in BIP. SIES 2009: 152-160
43		Marius Bozga, Codruta Gîrlea, Radu Iosif: Iterating Octagons. TACAS 2009: 337-351
42		Marius Bozga, Radu Iosif, Yassine Lakhnech: Flat Parametric Counter Automata. Fundam. Inform. 91(2): 275-303 (2009)
	2008
41		Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen: Compositional Verification for Component-Based Systems and Application. ATVA 2008: 64-79
40		Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis: Distributed Semantics and Implementation for Systems with Interaction and Priority. FORTE 2008: 116-133
39		Marius Bozga, Radu Iosif, Swann Perarnau: Quantitative Separation Logic and Programs with Lists. IJCAR 2008: 34-49
38		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
	2007
37		Ramzi Ben Salah, Marius Bozga, Oded Maler: On timed components and their abstraction. SAVCBS 2007: 63-71
36		Marius Bozga, Radu Iosif: On Flat Programs with Lists. VMCAI 2007: 122-136
	2006
35		Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar: Programs with Lists Are Counter Automata. CAV 2006: 517-531
34		Ramzi Ben Salah, Marius Bozga, Oded Maler: On Interleaving in Timed Automata. CONCUR 2006: 465-476
33		Marius Bozga, Radu Iosif, Yassine Lakhnech: Flat Parametric Counter Automata. ICALP (2) 2006: 577-588
32		Ananda Basu, Marius Bozga, Joseph Sifakis: Modeling Heterogeneous Real-time Components in BIP. SEFM 2006: 3-12
	2005
31		Marius Bozga, Radu Iosif: On Decidability Within the Arithmetic of Addition and Divisibility. FoSSaCS 2005: 425-439
30		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)
	2004
29		Marius Bozga, Abdelkarim Kerbaa, Oded Maler: Scheduling Acyclic Branching Programs on Parallel Machines. RTSS 2004: 208-217
28		Marius Bozga, Radu Iosif, Yassine Lakhnech: On Logics of Aliasing. SAS 2004: 344-360
27		Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis: The IF Toolset. SFM 2004: 237-267
26		Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober: IF Validation Environment Tutorial. SPIN 2004: 306-307
	2003
25		Ramzi Ben Salah, Marius Bozga, Oded Maler: On Timing Analysis of Combinational Circuits. FORMATS 2003: 204-219
24		Marius Bozga, Radu Iosif, Yassine Lakhnech: Storeless semantics and alias logic. PEPM 2003: 55-65
23		Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu: Using static analysis to improve automatic test generation. STTT 4(2): 142-152 (2003)
22		Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu: State space reduction based on live variables analysis. Sci. Comput. Program. 47(2-3): 203-220 (2003)
	2002
21		Marius Bozga, Susanne Graf, Laurent Mounier: IF-2.0: A Validation Environment for Component-Based Real-Time Systems. CAV 2002: 343-348
20		Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain: Verification of Timed Automata via Satisfiability Checking. FTRTFT 2002: 225-244
19		Marius Bozga, Hou Jianmin, Oded Maler, Sergio Yovine: Verification of Asynchronous Circuits using Timed Automata. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
	2001
18		Marius Bozga, Susanne Graf, Laurent Mounier: Automated Validation of Distributed Software Using the IF Environment. NCA 2001: 268-275
17		Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent: Timed Extensions for SDL. SDL Forum 2001: 223-240
16		Marius Bozga, Susanne Graf, Laurent Mounier: Automated validation of distributed software using the IF environment. Electr. Notes Theor. Comput. Sci. 55(3): (2001)
	2000
15		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
14		Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent: SDL for Real-Time: What is Missing? SAM 2000: 108-
13		Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech: A Transformational Approach for Generating Non-linear Invariants. SAS 2000: 58-74
12		Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu: Using Static Analysis to Improve Automatic Test Generation. TACAS 2000: 235-250
11		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)
	1999
10		Marius Bozga, Oded Maler: On the Representation of Probabilities over Structured Domains. CAV 1999: 261-273
9		Marius Bozga, Oded Maler, Stavros Tripakis: Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. CHARME 1999: 125-141
8		Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu: State Space Reduction Based on Live Variables Analysis. SAS 1999: 164-178
7		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
6		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
	1998
5		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
4		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
3		Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine: Some Progress in the Symbolic Verification of Timed Automata. CAV 1997: 179-190
2		Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse: Data-Structures for the Verification of Timed Automata. HART 1997: 346-360
1		Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier: Protocol Verification with the ALDÉBARAN Toolset. STTT 1(1-2): 166-184 (1997)

Coauthor Index

1	Eugene Asarin	[2] [20]
2	Ananda Basu	[32] [40] [47]
3	Saddek Bensalem	[13] [30] [41] [48]
4	Philippe Bidinger	[40]
5	Borzoo Bonakdarpour	[47]
6	Ahmed Bouajjani	[35]
7	Mohamed Yassin Chkouri	[38]
8	Conrado Daws	[4] [5]
9	Jean-Claude Fernandez	[1] [6] [7] [8] [11] [12] [13] [15] [22] [23]
10	Lucian Ghirvu	[6] [7] [8] [11] [12] [13] [15] [22] [23]
11	Codruta Gîrlea	[43]
12	Susanne Graf	[6] [7] [14] [15] [16] [17] [18] [21] [26] [27]
13	Peter Habermehl	[35] [49]
14	Radu Iosif	[24] [28] [31] [33] [35] [36] [39] [42] [43] [49]
15	Mohamad Jaber	[44]
16	Navendu Jain	[20]
17	Claude Jard	[11]
18	Thierry Jéron	[11]
19	Hou Jianmin	[19]
20	Abdelkarim Kerbaa	[29]
21	Alain Kerbrat	[1] [2] [11] [14]
22	Filip Konecný	[49]
23	Moez Krichen	[30]
24	Jean-Pierre Krimm	[6] [7] [15]
25	Yassine Lakhnech	[13] [24] [28] [33] [42]
26	Moez Mahfoudh	[20]
27	Oded Maler	[2] [3] [4] [5] [9] [10] [19] [20] [25] [29] [34] [37] [46]
28	Pierre Morel	[11]
29	Pierre Moro	[35]
30	Laurent Mounier	[1] [6] [7] [11] [14] [15] [16] [17] [18] [21] [26]
31	Thanh-Hung Nguyen	[41] [48]
32	Peter Niebert	[20]
33	Ileana Ober	[27]
34	Iulian Ober	[14] [17] [26] [27]
35	Alfredo Olivero	[4] [5]
36	Swann Perarnau	[39]
37	Amir Pnueli	[2] [3]
38	Anne Rasse	[2]
39	Anne Robert	[38]
40	Jean-Luc Roux	[17]
41	Ramzi Ben Salah	[25] [34] [37] [46]
42	Vassiliki Sfyrla	[45]
43	Joseph Sifakis	[7] [27] [32] [38] [40] [41] [44] [45] [47] [48]
44	Stavros Tripakis	[4] [5] [9] [30]
45	Daniel Vincent	[14] [17]
46	Tomás Vojnar	[35] [49]
47	Sergio Yovine	[3] [4] [5] [19]