An Automata Theoretic Approach to Temporal Logic. - Gjalt G. de Jong (CAV, 1991)

Data flow graphs: system specification with the most unrestricted semantics. - Gjalt G. de Jong (EURO-DAC, 1991)

A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules. - Gjalt G. de Jong; Bill Lin 001 (DAC, 1994)

A Time Abstraction Method for Efficient Verification of Communicating Systems. - Eric Verlind; Tilman Kolks; Gjalt G. de Jong; Bill Lin 001; Hugo De Man (DAC, 1994)

Hierarchical Optimization of Asynchronous Circuits. - Bill Lin 001; Gjalt G. de Jong; Tilman Kolks (DAC, 1995)

Modeling and optimization of hierarchical synchronous circuits. - Bill Lin 001; Gjalt G. de Jong; Tilman Kolks (ED&TC, 1995)

Background memory management for dynamic data structure intensive processing systems. - Gjalt G. de Jong; Bill Lin 001; Carl Verdonck; Sven Wuytack; Francky Catthoor (ICCAD, 1995)

Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems. - Eric Verlind; Gjalt G. de Jong; Bill Lin 001 (DAC, 1996)

Flow Graph Balancing for Minimizing the Required Memory Bandwidth. - Sven Wuytack; Francky Catthoor; Gjalt G. de Jong; Bill Lin 001; Hugo De Man (ISSS, 1996)

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 (ED&TC, 1997)

A System Design Methodology for Telecommunication Network Applications. - Julio Leao da Silva Jr.; Chantal Ykman-Couvreur; Bill Lin 001; Hugo De Man; Gjalt G. de Jong (Great Lakes Symposium on VLSI, 1997)

Fast and Extensive System-Level Memory Exploration for ATM Applications. - Peter Slock; Sven Wuytack; Francky Catthoor; Gjalt G. de Jong (ISSS, 1997)

Derivation of Formal Representations from Process-Based Specification and Implementation Models. - Steven Vercauteren; Diederik Verkest; Gjalt G. de Jong; Bill Lin 001 (ISSS, 1997)

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 (DAC, 1998)

Efficient Verification using Generalized Partial Order Analysis. - Steven Vercauteren; Diederik Verkest; Gjalt G. de Jong; Bill Lin 001 (DATE, 1998)

How standards will enable hardware/software co-design. - Mark Genoe; Christopher K. Lennard; Joachim Kunkel; Brian Bailey; Gjalt G. de Jong; Grant Martin; M. M. Kamal Hashmi; Shay Ben-Chorin; Anssi Haverinen (CODES, 1999)

Memory management for embedded network applications. - Sven Wuytack; Julio Leao da Silva Jr.; Francky Catthoor; Gjalt G. de Jong; Chantal Ykman-Couvreur (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

Minimizing the required memory bandwidth in VLSI system realizations. - Sven Wuytack; Francky Catthoor; Gjalt G. de Jong; Hugo De Man (IEEE Trans. Very Large Scale Integr. Syst., 1999)

Matisse: A System-on-Chip Design Methodology Emphasizing Dynamic Memory Management. - Diederik Verkest; Julio Leao da Silva Jr.; Chantal Ykman-Couvreur; Kris Croes; Miguel Miranda; Sven Wuytack; Francky Catthoor; Gjalt G. de Jong; Hugo De Man (J. VLSI Signal Process., 1999)

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 (DATE, 2000)

An Incremental Specification Flow for Real Time Embedded Systems. - Alex Niemegeers; Gjalt G. de Jong (DATE, 2000)

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 (DATE, 2001)

A UML-Based Design Methodology for Real-Time and Embedded Systems. - Gjalt G. de Jong (DATE, 2002)

OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling. - Eric Verhulst; Gjalt G. de Jong (SDL Forum, 2007)

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 (FM, 2008)