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.

Fingerprint Dive into the research topics where Julien Schmaltz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Research Output

  • 417 Citations
  • 41 Conference contribution
  • 12 Article
  • 3 Book editing
  • 1 Report

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 p. (Computer science reports; vol. 19-04)

Research output: Book/ReportReportAcademic

Open Access
File

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

  • 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

  • 1 Citation (Scopus)

    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
  • 9 Downloads (Pure)

    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, p. 1413-1418

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

  • 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) & 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