
Search the dblp DataBase
Julien Schmaltz:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione
Constrained Symbolic Simulation with Mathematica and ACL2. [Citation Graph (0, 0)][DBLP] CHARME, 2003, pp:150157 [Conf]
 Julien Schmaltz, Dominique Borrione
A Functional Approach to the Formal Specification of Networks on Chip. [Citation Graph (0, 0)][DBLP] FMCAD, 2004, pp:5266 [Conf]
 Julien Schmaltz
A Formal Model of Lower System Layers. [Citation Graph (0, 0)][DBLP] FMCAD, 2006, pp:191192 [Conf]
 Ghiath Al Sammane, Julien Schmaltz, Diana Toma, Pierre Ostier, Dominique Borrione
TheoSim: combining symbolic simulation and theorem proving for hardware verification. [Citation Graph (0, 0)][DBLP] SBCCI, 2004, pp:6065 [Conf]
 Julien Schmaltz, Dominique Borrione
A Generic Network on Chip Model. [Citation Graph (0, 0)][DBLP] TPHOLs, 2005, pp:310325 [Conf]
 Julien Schmaltz, Dominique Borrione
Towards a formal theory of on chip communications in the ACL2 logic. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:4756 [Conf]
 Dominique Borrione, Amr Helmy, Laurence V. Pierre, Julien Schmaltz
A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study. [Citation Graph (0, 0)][DBLP] NOCS, 2007, pp:127136 [Conf]
Formalizing On Chip Communications in a Functional Style. [Citation Graph (, )][DBLP]
Formal specification of networksonchips: deadlock and evacuation. [Citation Graph (, )][DBLP]
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. [Citation Graph (, )][DBLP]
A Formal Model of Clock Domain Crossing and Automated Verification of TimeTriggered Hardware. [Citation Graph (, )][DBLP]
Towards a formally verified networkonchip. [Citation Graph (, )][DBLP]
On Conformance Testing for Timed Systems. [Citation Graph (, )][DBLP]
Executable formal specification and validation of NoC communication infrastructures. [Citation Graph (, )][DBLP]
ModelBased Testing of Electronic Passports. [Citation Graph (, )][DBLP]
A Formal Proof of a Necessary and Sufficient Condition for DeadlockFree Adaptive Networks. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.004secs
