Marius Bozga

2009
42	EE	Marius Bozga, Codruta Gîrlea, Radu Iosif: Iterating Octagons. TACAS 2009: 337-351
2008
41	EE	Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen: Compositional Verification for Component-Based Systems and Application. ATVA 2008: 64-79
40	EE	Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis: Distributed Semantics and Implementation for Systems with Interaction and Priority. FORTE 2008: 116-133
39	EE	Marius Bozga, Radu Iosif, Swann Perarnau: Quantitative Separation Logic and Programs with Lists. IJCAR 2008: 34-49
38	EE	M. 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	EE	Ramzi Ben Salah, Marius Bozga, Oded Maler: On timed components and their abstraction. SAVCBS 2007: 63-71
36	EE	Marius Bozga, Radu Iosif: On Flat Programs with Lists. VMCAI 2007: 122-136
2006
35	EE	Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar: Programs with Lists Are Counter Automata. CAV 2006: 517-531
34	EE	Ramzi Ben Salah, Marius Bozga, Oded Maler: On Interleaving in Timed Automata. CONCUR 2006: 465-476
33	EE	Marius Bozga, Radu Iosif, Yassine Lakhnech: Flat Parametric Counter Automata. ICALP (2) 2006: 577-588
32	EE	Ananda Basu, Marius Bozga, Joseph Sifakis: Modeling Heterogeneous Real-time Components in BIP. SEFM 2006: 3-12
2005
31	EE	Marius Bozga, Radu Iosif: On Decidability Within the Arithmetic of Addition and Divisibility. FoSSaCS 2005: 425-439
30	EE	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	EE	Marius Bozga, Abdelkarim Kerbaa, Oded Maler: Scheduling Acyclic Branching Programs on Parallel Machines. RTSS 2004: 208-217
28	EE	Marius Bozga, Radu Iosif, Yassine Lakhnech: On Logics of Aliasing. SAS 2004: 344-360
27	EE	Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis: The IF Toolset. SFM 2004: 237-267
26	EE	Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober: IF Validation Environment Tutorial. SPIN 2004: 306-307
2003
25	EE	Ramzi Ben Salah, Marius Bozga, Oded Maler: On Timing Analysis of Combinational Circuits. FORMATS 2003: 204-219
24	EE	Marius Bozga, Radu Iosif, Yassine Lakhnech: Storeless semantics and alias logic. PEPM 2003: 55-65
23	EE	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu: Using static analysis to improve automatic test generation. STTT 4(2): 142-152 (2003)
22	EE	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	EE	Marius Bozga, Susanne Graf, Laurent Mounier: IF-2.0: A Validation Environment for Component-Based Real-Time Systems. CAV 2002: 343-348
20	EE	Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain: Verification of Timed Automata via Satisfiability Checking. FTRTFT 2002: 225-244
19	EE	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	EE	Marius Bozga, Susanne Graf, Laurent Mounier: Automated Validation of Distributed Software Using the IF Environment. NCA 2001: 268-275
17	EE	Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent: Timed Extensions for SDL. SDL Forum 2001: 223-240
16	EE	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	EE	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	EE	Marius Bozga, Oded Maler: On the Representation of Probabilities over Structured Domains. CAV 1999: 261-273
9	EE	Marius Bozga, Oded Maler, Stavros Tripakis: Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. CHARME 1999: 125-141
8	EE	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	EE	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	EE	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	EE	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]
3	Saddek Bensalem	[13] [30] [41]
4	Philippe Bidinger	[40]
5	Ahmed Bouajjani	[35]
6	M. Yassin Chkouri	[38]
7	Conrado Daws	[4] [5]
8	Jean-Claude Fernandez	[1] [6] [7] [8] [11] [12] [13] [15] [22] [23]
9	Lucian Ghirvu	[6] [7] [8] [11] [12] [13] [15] [22] [23]
10	Codruta Gîrlea	[42]
11	Susanne Graf	[6] [7] [14] [15] [16] [17] [18] [21] [26] [27]
12	Peter Habermehl	[35]
13	Radu Iosif	[24] [28] [31] [33] [35] [36] [39] [42]
14	Navendu Jain	[20]
15	Claude Jard	[11]
16	Thierry Jéron	[11]
17	Hou Jianmin	[19]
18	Abdelkarim Kerbaa	[29]
19	Alain Kerbrat	[1] [2] [11] [14]
20	Moez Krichen	[30]
21	Jean-Pierre Krimm	[6] [7] [15]
22	Yassine Lakhnech	[13] [24] [28] [33]
23	Moez Mahfoudh	[20]
24	Oded Maler	[2] [3] [4] [5] [9] [10] [19] [20] [25] [29] [34] [37]
25	Pierre Morel	[11]
26	Pierre Moro	[35]
27	Laurent Mounier	[1] [6] [7] [11] [14] [15] [16] [17] [18] [21] [26]
28	Thanh-Hung Nguyen	[41]
29	Peter Niebert	[20]
30	Ileana Ober	[27]
31	Iulian Ober	[14] [17] [26] [27]
32	Alfredo Olivero	[4] [5]
33	Swann Perarnau	[39]
34	Amir Pnueli	[2] [3]
35	Anne Rasse	[2]
36	Anne Robert	[38]
37	Jean-Luc Roux	[17]
38	Ramzi Ben Salah	[25] [34] [37]
39	Joseph Sifakis	[7] [27] [32] [38] [40] [41]
40	Stavros Tripakis	[4] [5] [9] [30]
41	Daniel Vincent	[14] [17]
42	Tomás Vojnar	[35]
43	Sergio Yovine	[3] [4] [5] [19]