Julien Schmaltz

	2009
14		Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager: Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. FM 2009: 516-531
13		Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur: Model-Based Testing of Electronic Passports. FMICS 2009: 207-209
	2008
12		Julien Schmaltz, Jan Tretmans: On Conformance Testing for Timed Systems. FORMATS 2008: 250-264
11		Dominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz: Executable formal specification and validation of NoC communication infrastructures. SBCCI 2008: 176-181
10		Julien Schmaltz, Dominique Borrione: A functional formalization of on chip communications. Formal Asp. Comput. 20(3): 241-258 (2008)
	2007
9		Julien Schmaltz: A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware. FMCAD 2007: 223-230
8		Dominique Borrione, Amr Helmy, Laurence V. Pierre, Julien Schmaltz: A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study. NOCS 2007: 127-136
	2006
7		Julien Schmaltz, Dominique Borrione: Towards a formal theory of on chip communications in the ACL2 logic. ACL2 2006: 47-56
6		Julien Schmaltz: A Formal Model of Lower System Layers. FMCAD 2006: 191-192
5		Julien Schmaltz, Dominique Borrione: Formalizing On Chip Communications in a Functional Style. Trustworthy Software 2006
	2005
4		Julien Schmaltz, Dominique Borrione: A Generic Network on Chip Model. TPHOLs 2005: 310-325
	2004
3		Julien Schmaltz, Dominique Borrione: A Functional Approach to the Formal Specification of Networks on Chip. FMCAD 2004: 52-66
2		Ghiath Al Sammane, Julien Schmaltz, Diana Toma, Pierre Ostier, Dominique Borrione: TheoSim: combining symbolic simulation and theorem proving for hardware verification. SBCCI 2004: 60-65
	2003
1		Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione: Constrained Symbolic Simulation with Mathematica and ACL2. CHARME 2003: 150-157

Coauthor Index

1	Dominique Borrione	[1] [2] [3] [4] [5] [7] [8] [10] [11]
2	Faranak Heidarian	[14]
3	Amr Helmy	[8] [11]
4	Wojciech Mostowski	[13]
5	Pierre Ostier	[1] [2]
6	Laurence Pierre (Laurence V. Pierre)	[8] [11]
7	Erik Poll	[13]
8	Ghiath Al Sammane	[1] [2]
9	Ronny Wichers Schreur	[13]
10	Diana Toma	[1] [2]
11	Jan Tretmans	[12] [13]
12	Frits W. Vaandrager	[14]

Colors in the list of coauthors