Gjalt G. de Jong

	2008
23		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: 411-418
	2007
22		Eric Verhulst, Gjalt G. de Jong: OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling. SDL Forum 2007: 258-271
	2002
21		Gjalt G. de Jong: A UML-Based Design Methodology for Real-Time and Embedded Sytems. DATE 2002: 776-781
	2001
20		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: 136-137
	2000
19		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: 576-
18		Alex Niemegeers, Gjalt G. de Jong: An Incremental Specification Flow for Real Time Embedded Systems. DATE 2000: 761
	1999
17		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: 211-212
16		Sven Wuytack, Francky Catthoor, Gjalt G. de Jong, Hugo De Man: Minimizing the required memory bandwidth in VLSI system realizations. IEEE Trans. VLSI Syst. 7(4): 433-441 (1999)
15		Sven Wuytack, Julio Leao da Silva Jr., Francky Catthoor, Gjalt G. de Jong, Chantal Ykman-Couvreur: Memory management for embedded network applications. IEEE Trans. on CAD of Integrated Circuits and Systems 18(5): 533-544 (1999)
14		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. VLSI Signal Processing 21(3): 185-194 (1999)
	1998
13		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: 76-81
12		Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin: Efficient Verification using Generalized Partial Order Analysis. DATE 1998: 782-789
	1997
11		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: 476-481
10		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: 64-69
9		Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin: Derivation of Formal Representations from Process-Based Specification and Implementation Models. ISSS 1997: 16-
8		Peter Slock, Sven Wuytack, Francky Catthoor, Gjalt G. de Jong: Fast and Extensive System-Level Memory Exploration for ATM Applications. ISSS 1997: 74-81
	1996
7		Eric Verlind, Gjalt G. de Jong, Bill Lin: Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems. DAC 1996: 55-58
6		Sven Wuytack, Francky Catthoor, Gjalt G. de Jong, Bill Lin, Hugo De Man: Flow Graph Balancing for Minimizing the Required Memory Bandwidth. ISSS 1996: 127-132
	1995
5		Bill Lin, Gjalt G. de Jong, Tilman Kolks: Hierarchical Optimization of Asynchronous Circuits. DAC 1995: 712-717
4		Gjalt G. de Jong, Bill Lin, Carl Verdonck, Sven Wuytack, Francky Catthoor: Background memory management for dynamic data structure intensive processing systems. ICCAD 1995: 515-520
	1994
3		Gjalt G. de Jong, Bill Lin: A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules. DAC 1994: 49-55
2		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: 609-614
	1991
1		Gjalt G. de Jong: An Automata Theoretic Approach to Temporal Logic. CAV 1991: 477-487

Coauthor Index

1	Brian Bailey	[17]
2	D. Barton	[20]
3	Shay Ben-Chorin	[17]
4	Francky Catthoor	[4] [6] [8] [13] [14] [15] [16]
5	Patrizia Cavalloro	[20]
6	Kris Croes	[13] [14]
7	S. E. Ericsson	[20]
8	Daniel Gajski (Daniel D. Gajski)	[20]
9	Mark Genoe	[17]
10	Vassilios Gerousis	[20]
11	Gert Goossens	[11]
12	Pete Hardee	[19]
13	M. M. Kamal Hashmi	[17]
14	Anssi Haverinen	[17] [19]
15	Tilman Kolks	[2] [5]
16	Joachim Kunkel	[17]
17	Christopher K. Lennard	[17] [19]
18	Bill Lin	[2] [3] [4] [5] [6] [7] [9] [10] [12]
19	Hugo De Man	[2] [6] [10] [11] [13] [14] [16]
20	Grant Martin	[17]
21	Vitaliy Mezhuyev	[23]
22	Miguel Miranda	[13] [14]
23	Alex Niemegeers	[18]
24	J. Plantin	[20]
25	Wolfgang Rosenstiel	[20]
26	Patrick Schaumont	[19]
27	Julio Leao da Silva Jr.	[10] [13] [14] [15]
28	Paul Six	[13]
29	Peter Slock	[8]
30	J. Van Der Steen	[11]
31	Filip Thoen	[11]
32	Steven Vercauteren	[9] [12]
33	Carl Verdonck	[4]
34	Eric Verhulst	[22] [23]
35	Diederik Verkest	[9] [12] [13] [14]
36	Eric Verlind	[2] [7]
37	Eugenio Villar	[20]
38	Sven Wuytack	[4] [6] [8] [13] [14] [15] [16]
39	Chantal Ykman-Couvreur	[10] [13] [14] [15]

Colors in the list of coauthors