Gjalt G. de Jong

25 papers A* 6A 6B 1Journal 3Unranked 9

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