| 2020 | FMCAD | Effective System Level Liveness Verification. | Alexander Fedotov, Jeroen J. A. Keiren, Julien Schmaltz |
| 2018 | DAC | Formal micro-architectural analysis of on-chip ring networks. | Perry van Wesel, Julien Schmaltz |
| 2018 | DATE | Automatic generation of hardware checkers from formal micro-architectural specifications. | Alexander Fedotov, Julien Schmaltz |
| 2015 | DATE | Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs. | Sebastiaan J. C. Joosten, Julien Schmaltz |
| 2015 | MEMOCODE | Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics. | Sanne Wouda, Sebastiaan J. C. Joosten, Julien Schmaltz |
| 2014 | DATE | Scalable liveness verification for communication fabrics. | Sebastiaan J. C. Joosten, Julien Schmaltz |
| 2014 | SAFECOMP | On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. | Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum |
| 2013 | MEMOCODE | Generation of inductive invariants from register transfer level designs of communication fabrics. | Sebastiaan J. C. Joosten, Julien Schmaltz |
| 2011 | FMCAD | Hunting deadlocks efficiently in microarchitectural models of communication fabrics. | Freek Verbeek, Julien Schmaltz |
| 2011 | ICST | An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON. | Carsten Rtz, Julien Schmaltz |
| 2011 | PDP | A Fast and Verified Algorithm for Proving Store-and-Forward Networks Deadlock-Free. | Freek Verbeek, Julien Schmaltz |
| 2010 | DATE | Formal specification of networks-on-chips: deadlock and evacuation. | Freek Verbeek, Julien Schmaltz |
| 2010 | ISoLA | Inference and Abstraction of the Biometric Passport. | Fides Aarts, Julien Schmaltz, Frits W. Vaandrager |
| 2010 | ITP | A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks. | Freek Verbeek, Julien Schmaltz |
| 2009 | FM | Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. | Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager |
| 2009 | FMCAD | Towards a formally verified network-on-chip. | Tom van den Broek, Julien Schmaltz |
| 2009 | FMICS | Model-Based Testing of Electronic Passports. | Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur |
| 2007 | FMCAD | A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware. | Julien Schmaltz |
| 2006 | FMCAD | A Formal Model of Lower System Layers. | Julien Schmaltz |
| 2004 | FMCAD | A Functional Approach to the Formal Specification of Networks on Chip. | Julien Schmaltz, Dominique Borrione |