Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Persoonlijk profiel


“Rigorous system modelling is like creating music, paintings, or great wines. It is the search for the perfect combination of well-designed parts.”

Research profile

Julien Schmaltz is an Associate Professor and Chair of Rigorous Industrial System Design in the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e). He is a member of the Model Driven Software Engineering Section. His primary research interests are related to the application of formal methods to hardware and software systems. In particular, his group is working on hardware verification techniques for on-chip networks and the development of formal models for the verification and certification of safety-critical and high-assurance systems. This research is supported by NWO, Intel Corporation, and the European Commission.

His group’s main research activities are related to:

MaDL (Micro-architectural Description Language) which denotes a formal language to represent and analyze architectural models of hardware and software systems;

The MaDL Whiteboard design environment that turns the techniques developed for the textual MaDL language into graphical and practical solutions;

GeNoC (Generic Network-on-Chip), which denotes a formal theory of communication network architectures;

CISK: a generic model of a Controlled Interruptible Separation Kernel, used within the EURO-MILS project to support the high-level modelling of an industrial Separation Kernel.

Academic background

Julien Schmaltz received his education at the Université Joseph Fourier (Grenoble I), Polytech Grenoble and the University of Lille. After graduating, he worked as a postdoctoral fellow at Saarland University, Germany, at Radboud University, Nijmegen, the Netherlands and as an Assistant Professor at Open Universiteit Nederland (Dutch Open University). He joined TU/e as an Assistant Professor in 2014 and became an Associate Professor in 2016.

Julien has regularly published in leading journals, such as IEEE Transactions on Parallel and Distributed Systems, Journal of Automated Reasoning and ACM Transactions on Design Automation of Electronic Systems. He has been track-chair at the Design Automation and Test Europe conference (three times), chair of the International Workshop on the ACL2 Theorem Prover and Its Applications (twice), and chair of the 2nd International Conference on Interactive Theorem Proving (ITP). He has contributed to the book Formal verification of communications in networks-on-chips. He has also contributed to more than 50 international workshops and conferences.

Vingerafdruk Duik in de onderzoeksthema's waar Julien Schmaltz actief is. Deze onderwerplabels komen voort uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

Theorem proving Engineering en materiaalwetenschappen
Communication Engineering en materiaalwetenschappen
Specifications Engineering en materiaalwetenschappen
Surface mount technology Engineering en materiaalwetenschappen
Semantics Engineering en materiaalwetenschappen
Telecommunication networks Engineering en materiaalwetenschappen
Network protocols Engineering en materiaalwetenschappen
Formal methods Engineering en materiaalwetenschappen

Onderzoeksoutput 2003 2019

  • 405 Citaten
  • 41 Conferentiebijdrage
  • 12 Tijdschriftartikel
  • 3 Boekredactie
  • 1 Rapport

Sound idle and block equations for finite state machines in xMAS

Fedotov, A., Keiren, J. J. A. & Schmaltz, J., nov 2019, Eindhoven: Technische Universiteit Eindhoven. 32 blz. (Computer science reports; vol. 19-04)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access

Automatic generation of hardware checkers from formal micro-architectural specifications

Fedotov, A. & Schmaltz, J., 19 apr 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers, Vol. 2018-January. blz. 1568-1573 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Computer hardware description languages

Formal micro-architectural analysis of on-chip ring networks

van Wesel, P. & Schmaltz, J., 24 jun 2018, Proceedings of the 55th Annual Design Automation Conference, DAC 2018. New York: ACM/IEEE, 6 blz. 94

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Ring Network
Formal Modeling
7 Downloads (Pure)

Modelling information routing with noninterference

Koolen, R. P. J. & Schmaltz, J., 19 jan 2016, International Workshop on MILS: Architecture and Assurance for Secure Systems, Prague, 19 January 2016. 7 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Application programs

Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs

Joosten, S. J. C. & Schmaltz, J., 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE, Grenoble, France, March 9-13, 2015). Piscataway NJ: Institute of Electrical and Electronics Engineers, blz. 1413-1418

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Computer hardware description languages
Flow control
Data storage equipment


Automatic code modernization with Rascal

Auteur: Liu, T., 29 okt 2018

Begeleider: van den Brand, M. (Afstudeerdocent 1), Schuts, M. (Externe coach) & Schmaltz, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master


Automatic commissioning of wireless sensor networks

Auteur: Gong, L., 31 aug 2016

Begeleider: Lukkien, J. (Afstudeerdocent 1), Wang, X. (Externe coach) & Schmaltz, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master


Feedforward motion control on a predictable embedded multi-core platform

Auteur: Feng, W., 31 aug 2018

Begeleider: Goswami, D. (Afstudeerdocent 1), Mojtaba Haghid, S. (Externe persoon) (Externe coach) & Schmaltz, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master


Formal analysis of ring networks

Auteur: van Wesel, P., 18 dec 2017

Begeleider: Schmaltz, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master


Formal comparison of separation kernel models: GWV separation versus Rushby's non interference

Auteur: Garcia Ramirez, A., 28 feb 2014

Begeleider: Schmaltz, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master