Julien Schmaltz

 



My research interests include model-based testing for timed systems; wireless sensor networks; real-time model checking, in particular using UPPAAL; formal verification of Systems on a chip (SoCs), with an emphasis on Networks on a chip (NoCs); mechanized theorem proving, in particular with ACL2 or Isabelle/HOL, ...

 

Bienvenue ! Welcome ! Willkommen ! Welkom !


I am an Assistant Professor of the School of Computer Science of the Open University of the Netherlands. I am also affiliated to and located at the Institute for Computing and Information Sciences (ICIS) at Radboud University (RU) in Nijmegen, The Netherlands.


Our research on NoCs is supported by NWO and a grant from Intel Corporation.

Open University of The Netherlands

Radboud University Nijmegen

Room 02.069

Phone: +31 24 36 52077

Fax: +31 24 365 2525

Email: julien.schmaltz - at - ou.nl

fresh news



Intel Corporation awarded us a grant to support our research on communication fabrics !


Afstudeerprojecten here (Master Thesis)


Networks-on-Chips: Theory and Practice: published by CRC Press is now available at your favorite bookstore ! Check publisher site here.

 
REsEARCH FOCUS

CONFERENCES


FMCAD 2012

FDL 2012

ITP 2012



 

Recent papers


Our comment on Duato's theory is now on-line.


Our theory for deadlock-free routing is on-line.


Our proof-pearl is in the JAR ! (On-line)