Gjalt G. de Jong

2008
22	EE	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
21	EE	Eric Verhulst, Gjalt G. de Jong: OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling. SDL Forum 2007: 258-271
2002
20	EE	Gjalt G. de Jong: A UML-Based Design Methodology for Real-Time and Embedded Sytems. DATE 2002: 776-781
2001
19	EE	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
18	EE	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-
17	EE	Alex Niemegeers, Gjalt G. de Jong: An Incremental Specification Flow for Real Time Embedded Systems. DATE 2000: 761
1999
16	EE	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
15	EE	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)
14	EE	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)
13	EE	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
12	EE	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
11	EE	Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin: Efficient Verification using Generalized Partial Order Analysis. DATE 1998: 782-789
1997
10	EE	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	EE	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	EE	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	EE	Eric Verlind, Gjalt G. de Jong, Bill Lin: Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems. DAC 1996: 55-58
6	EE	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	EE	Bill Lin, Gjalt G. de Jong, Tilman Kolks: Hierarchical Optimization of Asynchronous Circuits. DAC 1995: 712-717
4	EE	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	EE	Gjalt G. de Jong, Bill Lin: A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules. DAC 1994: 49-55
2	EE	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	[16]
2	D. Barton	[19]
3	Shay Ben-Chorin	[16]
4	Francky Catthoor	[4] [6] [8] [12] [13] [14] [15]
5	Patrizia Cavalloro	[19]
6	Kris Croes	[12] [13]
7	S. E. Ericsson	[19]
8	Daniel Gajski (Daniel D. Gajski)	[19]
9	Mark Genoe	[16]
10	Vassilios Gerousis	[19]
11	Pete Hardee	[18]
12	M. M. Kamal Hashmi	[16]
13	Anssi Haverinen	[16] [18]
14	Tilman Kolks	[2] [5]
15	Joachim Kunkel	[16]
16	Christopher K. Lennard	[16] [18]
17	Bill Lin	[2] [3] [4] [5] [6] [7] [9] [10] [11]
18	Hugo De Man	[2] [6] [10] [12] [13] [15]
19	Grant Martin	[16]
20	Vitaliy Mezhuyev	[22]
21	Miguel Miranda	[12] [13]
22	Alex Niemegeers	[17]
23	J. Plantin	[19]
24	Wolfgang Rosenstiel	[19]
25	Patrick Schaumont	[18]
26	Julio Leao da Silva Jr.	[10] [12] [13] [14]
27	Paul Six	[12]
28	Peter Slock	[8]
29	Steven Vercauteren	[9] [11]
30	Carl Verdonck	[4]
31	Eric Verhulst	[21] [22]
32	Diederik Verkest	[9] [11] [12] [13]
33	Eric Verlind	[2] [7]
34	Eugenio Villar	[19]
35	Sven Wuytack	[4] [6] [8] [12] [13] [14] [15]
36	Chantal Ykman-Couvreur	[10] [12] [13] [14]

Colors in the list of coauthors