| 2008 | FM | An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS. | Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev |
| 2002 | DATE | A UML-Based Design Methodology for Real-Time and Embedded Systems. | Gjalt G. de Jong |
| 2001 | DATE | C/C++: progress or deadlock in system-level specification. | Daniel Gajski, Eugenio Villar, Wolfgang Rosenstiel, Vassilios Gerousis, D. Barton, Jonas Plantin, S. E. Ericsson, Patrizia Cavalloro, Gjalt G. de Jong |
| 2000 | DATE | Standards for System-Level Design: Practical Reality or Solution in Search of a Question? | Christopher K. Lennard, Patrick Schaumont, Gjalt G. de Jong, Anssi Haverinen, Pete Hardee |
| 2000 | DATE | An Incremental Specification Flow for Real Time Embedded Systems. | Alex Niemegeers, Gjalt G. de Jong |
| 1998 | DAC | Efficient System Exploration and Synthesis of Applications with Dynamic Data Storage and Intensive Data Transfer. | Julio Leao da Silva Jr., Chantal Ykman-Couvreur, Miguel Miranda, Kris Croes, Sven Wuytack, Gjalt G. de Jong, Francky Catthoor, Diederik Verkest, Paul Six, Hugo De Man |
| 1998 | DATE | Efficient Verification using Generalized Partial Order Analysis. | Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin |
| 1997 | DATE | Multi-thread graph: a system model for real-time embedded software synthesis. | Filip Thoen, J. Van Der Steen, Gjalt G. de Jong, Gert Goossens, Hugo De Man |
| 1996 | DAC | Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems. | Eric Verlind, Gjalt G. de Jong, Bill Lin |
| 1995 | DAC | Hierarchical Optimization of Asynchronous Circuits. | Bill Lin, Gjalt G. de Jong, Tilman Kolks |
| 1995 | DATE | Modeling and optimization of hierarchical synchronous circuits. | Bill Lin, Gjalt G. de Jong, Tilman Kolks |
| 1995 | ICCAD | Background memory management for dynamic data structure intensive processing systems. | Gjalt G. de Jong, Bill Lin, Carl Verdonck, Sven Wuytack, Francky Catthoor |
| 1994 | DAC | A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules. | Gjalt G. de Jong, Bill Lin |
| 1994 | DAC | A Time Abstraction Method for Efficient Verification of Communicating Systems. | Eric Verlind, Tilman Kolks, Gjalt G. de Jong, Bill Lin, Hugo De Man |
| 1991 | CAV | An Automata Theoretic Approach to Temporal Logic. | Gjalt G. de Jong |