Julien Schmaltz
Julien Schmaltz
ICT Group
Verified email at ict.nl
Title
Cited by
Cited by
Year
Inference and abstraction of the biometric passport
F Aarts, J Schmaltz, F Vaandrager
International Symposium On Leveraging Applications of Formal Methods …, 2010
892010
On conformance testing for timed systems
J Schmaltz, J Tretmans
International Conference on Formal Modeling and Analysis of Timed Systems …, 2008
832008
Analysis of a clock synchronization protocol for wireless sensor networks
F Heidarian, J Schmaltz, F Vaandrager
International Symposium on Formal Methods, 516-531, 2009
702009
A generic model for formally verifying NoC communication architectures: A case study
D Borrione, A Helmy, L Pierre, J Schmaltz
First International Symposium on Networks-on-Chip (NOCS'07), 127-136, 2007
472007
A functional formalization of on chip communications
J Schmaltz, D Borrione
Formal Aspects of Computing 20 (3), 241-258, 2008
35*2008
Hunting deadlocks efficiently in microarchitectural models of communication fabrics
F Verbeek, J Schmaltz
2011 Formal Methods in Computer-Aided Design (FMCAD), 223-231, 2011
342011
Model-based testing of electronic passports
WI Mostowski, E Poll, J Schmaltz, J Tretmans, RJM Wichers Schreur
Berlin: Springer Verlag, 2009
332009
A formal model of clock domain crossing and automated verification of time-triggered hardware
J Schmaltz
Formal Methods in Computer Aided Design, 2007. FMCAD'07, 223-230, 2007
33*2007
A decision procedure for deadlock-free routing in wormhole networks
F Verbeek, J Schmaltz
IEEE transactions on parallel and distributed systems 25 (8), 1935-1944, 2013
31*2013
A formal approach to the verification of networks on chip
D Borrione, A Helmy, L Pierre, J Schmaltz
EURASIP Journal on Embedded Systems 2009, 1-14, 2009
312009
On necessary and sufficient conditions for deadlock-free routing in wormhole networks
F Verbeek, J Schmaltz
IEEE Transactions on Parallel and Distributed Systems 22 (12), 2022-2032, 2011
292011
Towards a formal theory of on chip communications in the ACL2 logic
J Schmaltz, D Borrione
Proceedings of the sixth international workshop on the ACL2 theorem prover …, 2006
292006
Formal API specification of the PikeOS separation kernel
F Verbeek, O Havle, J Schmaltz, S Tverdyshev, H Blasum, B Langenstein, ...
NASA Formal Methods Symposium, 375-389, 2015
232015
A generic network on chip model
J Schmaltz, D Borrione
International Conference on Theorem Proving in Higher Order Logics, 310-325, 2005
232005
A functional approach to the formal specification of networks on chip
J Schmaltz, D Borrione
Formal Methods in Computer-Aided Design, 52-66, 2004
232004
Formal specification of networks-on-chips: deadlock and evacuation
F Verbeek, J Schmaltz
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
202010
Easy formal specification and validation of unbounded networks-on-chips architectures
F Verbeek, J Schmaltz
ACM Transactions on Design Automation of Electronic Systems (TODAES) 17 (1 …, 2012
162012
A comment on "A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks”
F Verbeek, J Schmaltz
Parallel and Distributed Systems, IEEE Transactions on 22 (10), 1775-1776, 2011
162011
A conformance testing relation for symbolic timed automata
S Von Styp, H Bohnenkamp, J Schmaltz
International Conference on Formal Modeling and Analysis of Timed Systems …, 2010
152010
The axiomatization of override and update
J Berendsen, DN Jansen, J Schmaltz, FW Vaandrager
Journal of Applied Logic 8 (1), 141-150, 2010
142010
The system can't perform the operation now. Try again later.
Articles 1–20