Gjalt G. de Jong

Publication Activity (10 Years)

Years Active: 1991-2008
Publications (10 Years): 0

Publications

Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev
An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS. FM (2008)
Eric Verhulst, Gjalt G. de Jong
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling. SDL Forum (2007)
Gjalt G. de Jong
A UML-Based Design Methodology for Real-Time and Embedded Systems. DATE (2002)
Daniel Gajski, Eugenio Villar, Wolfgang Rosenstiel, Vassilios Gerousis, D. Barton, J. Plantin, S. E. Ericsson, Patrizia Cavalloro, Gjalt G. de Jong
C/C++: progress or deadlock in system-level specification. DATE (2001)
Christopher K. Lennard, Patrick Schaumont, Gjalt G. de Jong, Anssi Haverinen, Pete Hardee
Standards for System-Level Design: Practical Reality or Solution in Search of a Question? DATE (2000)
Alex Niemegeers, Gjalt G. de Jong
An Incremental Specification Flow for Real Time Embedded Systems. DATE (2000)
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
Matisse: A System-on-Chip Design Methodology Emphasizing Dynamic Memory Management. J. VLSI Signal Process. 21 (3) (1999)
Sven Wuytack, Julio Leao da Silva Jr., Francky Catthoor, Gjalt G. de Jong, Chantal Ykman-Couvreur
Memory management for embedded network applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (5) (1999)
Sven Wuytack, Francky Catthoor, Gjalt G. de Jong, Hugo De Man
Minimizing the required memory bandwidth in VLSI system realizations. IEEE Trans. Very Large Scale Integr. Syst. 7 (4) (1999)
Mark Genoe, Christopher K. Lennard, Joachim Kunkel, Brian Bailey, Gjalt G. de Jong, Grant Martin, M. M. Kamal Hashmi, Shay Ben-Chorin, Anssi Haverinen
How standards will enable hardware/software co-design. CODES (1999)
Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin
Efficient Verification using Generalized Partial Order Analysis. DATE (1998)
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
Efficient System Exploration and Synthesis of Applications with Dynamic Data Storage and Intensive Data Transfer. DAC (1998)
Filip Thoen, J. Van Der Steen, Gjalt G. de Jong, Gert Goossens, Hugo De Man
Multi-thread graph: a system model for real-time embedded software synthesis. ED&TC (1997)
Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin
Derivation of Formal Representations from Process-Based Specification and Implementation Models. ISSS (1997)
Peter Slock, Sven Wuytack, Francky Catthoor, Gjalt G. de Jong
Fast and Extensive System-Level Memory Exploration for ATM Applications. ISSS (1997)
Julio Leao da Silva Jr., Chantal Ykman-Couvreur, Bill Lin, Hugo De Man, Gjalt G. de Jong
A System Design Methodology for Telecommunication Network Applications. Great Lakes Symposium on VLSI (1997)
Eric Verlind, Gjalt G. de Jong, Bill Lin
Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems. DAC (1996)
Sven Wuytack, Francky Catthoor, Gjalt G. de Jong, Bill Lin, Hugo De Man
Flow Graph Balancing for Minimizing the Required Memory Bandwidth. ISSS (1996)
Bill Lin, Gjalt G. de Jong, Tilman Kolks
Modeling and optimization of hierarchical synchronous circuits. ED&TC (1995)
Bill Lin, Gjalt G. de Jong, Tilman Kolks
Hierarchical Optimization of Asynchronous Circuits. DAC (1995)
Gjalt G. de Jong, Bill Lin, Carl Verdonck, Sven Wuytack, Francky Catthoor
Background memory management for dynamic data structure intensive processing systems. ICCAD (1995)
Eric Verlind, Tilman Kolks, Gjalt G. de Jong, Bill Lin, Hugo De Man
A Time Abstraction Method for Efficient Verification of Communicating Systems. DAC (1994)
Gjalt G. de Jong, Bill Lin
A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules. DAC (1994)
Gjalt G. de Jong
An Automata Theoretic Approach to Temporal Logic. CAV (1991)
Gjalt G. de Jong
Data flow graphs: system specification with the most unrestricted semantics. EURO-DAC (1991)