If you made any changes in Pure these will be visible here soon.

Personal profile

Quote

“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.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2003 2018

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, p. 1568-1573 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Specifications
Hardware
Computer hardware description languages
Inclusion
Functionality

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 p. 94

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Ring Network
Deadlock
Chip
Ring
Formal Modeling

Logistics modeling and analysis for chuck exchange using Product Line Engineering

Fekade Yimam, B., 24 Oct 2018, Eindhoven: Technische Universiteit Eindhoven. 57 p.

Research output: ThesisPd Eng ThesisAcademic

Open Access
File

Scalable reticle heating correction design

Wang, J., 28 Sep 2017, Eindhoven: Technische Universiteit Eindhoven. 37 p.

Research output: ThesisPd Eng ThesisAcademic

Heating
Data structures

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 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Application programs

Courses

Hardware verification

1/09/1531/08/20

Course

Kick-off meeting Web Science

1/09/15 → …

Course

Software specification

1/09/18 → …

Course

Student theses

Automatic code modernization with Rascal

Author: Liu, T., 29 Oct 2018

Supervisor: van den Brand, M. (Supervisor 1), Schuts, M. (External coach) & Schmaltz, J. (Supervisor 2)

Student thesis: Master

File

Automatic commissioning of wireless sensor networks

Author: Gong, L., 31 Aug 2016

Supervisor: Lukkien, J. (Supervisor 1), Wang, X. (External coach) & Schmaltz, J. (Supervisor 2)

Student thesis: Master

File

Feedforward motion control on a predictable embedded multi-core platform

Author: Feng, W., 31 Aug 2018

Supervisor: Goswami, D. (Supervisor 1), Mojtaba Haghid, S. (External person) (External coach), Donkers, M. (Supervisor 2) & Schmaltz, J. (Supervisor 2)

Student thesis: Master

File

Formal analysis of ring networks

Author: van Wesel, P., 18 Dec 2017

Supervisor: Schmaltz, J. (Supervisor 1)

Student thesis: Master

File

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

Author: Garcia Ramirez, A., 28 Feb 2014

Supervisor: Schmaltz, J. (Supervisor 1)

Student thesis: Master

File