Marius Bozga

	2012
73		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
72		Marius Bozga, Radu Iosif, Filip Konecný: Deciding Conditional Termination. TACAS 2012: 252-266
71		Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay: Statistical abstraction and model-checking of large heterogeneous systems. STTT 14(1): 53-72 (2012)
	2011
70		Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf: Automated distributed implementation of component-based models with priorities. EMSOFT 2011: 59-68
69		Jean-Francois Kempf, Marius Bozga, Oded Maler: Performance Evaluation of Schedulers in a Probabilistic Setting. FORMATS 2011: 1-17
68		Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis: Rigorous System Design: The BIP Approach. MEMICS 2011: 1-19
67		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
66		Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem: Runtime Verification of Component-Based Systems. SEFM 2011: 204-220
65		Borzoo Bonakdarpour, Marius Bozga, Gregor Göessler: A Theory of Fault Recovery for Component-Based Models. SRDS 2011: 265-270
64		Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar: Programs with lists are counter automata. Formal Methods in System Design 38(2): 158-192 (2011)
63		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 Software 28(3): 41-48 (2011)
	2010
62		Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton: Methods for Knowledge Based Controlling of Distributed Systems. ATVA 2010: 52-66
61		Marius Bozga, Radu Iosif, Filip Konecný: Fast Acceleration of Ultimately Periodic Relations. CAV 2010: 227-242
60		Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: From high-level component-based models to distributed implementations. EMSOFT 2010: 209-218
59		Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: Incremental component-based construction and verification using invariants. FMCAD 2010: 257-256
58		Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay: Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE 2010: 32-46
57		Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis: Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV 2010: 330-344
56		Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: Automated Conflict-free distributed implementation of component-based models. SIES 2010: 108-117
55		Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis: Compositional Translation of Simulink Models into Synchronous BIP. SIES 2010: 217-220
54		Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis: Systematic Correct Construction of Self-stabilizing Systems: A Case Study. SSS 2010: 4-18
53		Marius Bozga, Mohamad Jaber, Joseph Sifakis: Source-to-Source Architecture Transformation for Performance Optimization in BIP. IEEE Trans. Industrial Informatics 6(4): 708-718 (2010)
52		Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis: Compositional verification for component-based systems and application. IET Software 4(3): 181-193 (2010)
51		Marius Bozga, Radu Iosif, Swann Perarnau: Quantitative Separation Logic and Programs with Lists. J. Autom. Reasoning 45(2): 131-156 (2010)
	2009
50		Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar: Automatic Verification of Integer Array Programs. CAV 2009: 157-172
49		Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis: D-Finder: A Tool for Compositional Deadlock Detection and Verification. CAV 2009: 614-619
48		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
47		Ramzi Ben Salah, Marius Bozga, Oded Maler: Compositional timing analysis. EMSOFT 2009: 39-48
46		Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis: Modeling synchronous systems in BIP. EMSOFT 2009: 77-86
45		Mohamed Yassin Chkouri, Marius Bozga: Deterministic Data Flow Communication in AADL. ICESS 2009: 93-100
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, Jianmin Hou, Oded Maler, Sergio Yovine: Verification of Asynchronous Circuits using Timed Automata. Electr. Notes Theor. Comput. Sci. 65(6): 47-59 (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): 370-381 (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] [48] [54] [57] [58] [63] [67] [68] [71]
3	Saddek Bensalem	[13] [30] [41] [49] [52] [57] [58] [59] [62] [63] [66] [67] [68] [71]
4	Philippe Bidinger	[40]
5	Borzoo Bonakdarpour	[48] [54] [56] [60] [65] [70]
6	Ahmed Bouajjani	[35] [64]
7	Paraskevas Bourgos	[67] [68]
8	Benoît Caillaud	[58]
9	Mohamed Yassin Chkouri	[38] [45]
10	Jacques Combaz	[63]
11	Alexandre David	[73]
12	Conrado Daws	[4] [5]
13	Benoît Delahaye	[57] [58] [71]
14	Yliès Falcone	[66]
15	Jean-Claude Fernandez	[1] [6] [7] [8] [11] [12] [13] [15] [22] [23]
16	Lucian Ghirvu	[6] [7] [8] [11] [12] [13] [15] [22] [23]
17	Codruta Gîrlea	[43]
18	Gregor Göessler	[65]
19	Susanne Graf	[6] [7] [14] [15] [16] [17] [18] [21] [26] [27] [62]
20	Peter Habermehl	[35] [50] [64]
21	Arnd Hartmanns	[73]
22	Holger Hermanns	[73]
23	Jianmin Hou	[19]
24	Kai Huang	[67]
25	Radu Iosif	[24] [28] [31] [33] [35] [36] [39] [42] [43] [50] [51] [61] [64] [72]
26	Mohamad Jaber	[44] [53] [56] [60] [63] [66]
27	Navendu Jain	[20]
28	Claude Jard	[11]
29	Thierry Jéron	[11]
30	Jean-Francois Kempf	[69]
31	Abdelkarim Kerbaa	[29]
32	Alain Kerbrat	[1] [2] [11] [14]
33	Filip Konecný	[50] [61] [72]
34	Moez Krichen	[30]
35	Jean-Pierre Krimm	[6] [7] [15]
36	Yassine Lakhnech	[13] [24] [28] [33] [42]
37	Kim Guldstrand Larsen (Kim G. Larsen)	[73]
38	Axel Legay	[57] [58] [59] [71] [73]
39	Moez Mahfoudh	[20]
40	Oded Maler	[2] [3] [4] [5] [9] [10] [19] [20] [25] [29] [34] [37] [47] [69]
41	Pierre Morel	[11]
42	Pierre Moro	[35] [64]
43	Laurent Mounier	[1] [6] [7] [11] [14] [15] [16] [17] [18] [21] [26]
44	Thanh-Hung Nguyen	[41] [49] [52] [59] [63] [66]
45	Peter Niebert	[20]
46	Ileana Ober	[27]
47	Iulian Ober	[14] [17] [26] [27]
48	Alfredo Olivero	[4] [5]
49	Doron Peled	[62]
50	Swann Perarnau	[39] [51]
51	Amir Pnueli	[2] [3]
52	Jean Quilbeuf	[56] [60] [70]
53	Sophie Quinton	[62]
54	Anne Rasse	[2]
55	Anne Robert	[38]
56	Jean-Luc Roux	[17]
57	Iris Safaka	[55]
58	Ramzi Ben Salah	[25] [34] [37] [47]
59	Vassiliki Sfyrla	[46] [55]
60	Emmanuel Sifakis	[57]
61	Joseph Sifakis	[7] [27] [32] [38] [40] [41] [44] [46] [48] [49] [52] [53] [54] [55] [56] [59] [60] [63] [67] [68]
62	Jan Tretmans	[73]
63	Stavros Tripakis	[4] [5] [9] [30]
64	Georgios Tsiligiannis	[55]
65	Daniel Vincent	[14] [17]
66	Tomás Vojnar	[35] [50] [64]
67	Rongjie Yan	[59]
68	Sergio Yovine	[3] [4] [5] [19]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page