Gjalt G. de Jong

According to our database, Gjalt G. de Jong authored at least 25 papers between 1991 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

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

Proceedings of the FM 2008: Formal Methods, 2008

2007

OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling.

Eric Verhulst, Gjalt G. de Jong

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

2002

A UML-Based Design Methodology for Real-Time and Embedded Systems.

Gjalt G. de Jong

Proceedings of the 2002 Design, 2002

2001

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

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

2000

An Incremental Specification Flow for Real Time Embedded Systems.

Alex Niemegeers, Gjalt G. de Jong

Proceedings of the 2000 Design, 2000

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

Proceedings of the 2000 Design, 2000

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

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

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

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

Proceedings of the Seventh International Workshop on Hardware/Software Codesign, 1999

1998

Efficient Verification using Generalized Partial Order Analysis.

Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin

Proceedings of the 1998 Design, 1998

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

Proceedings of the 35th Conference on Design Automation, 1998

1997

Derivation of Formal Representations from Process-Based Specification and Implementation Models.

Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin

Proceedings of the 10th International Symposium on System Synthesis, 1997

Fast and Extensive System-Level Memory Exploration for ATM Applications.

Peter Slock, Sven Wuytack, Francky Catthoor, Gjalt G. de Jong

Proceedings of the 10th International Symposium on System Synthesis, 1997

A System Design Methodology for Telecommunication Network Applications.

Julio Leao da Silva Jr., Chantal Ykman-Couvreur, Bill Lin, Hugo De Man, Gjalt G. de Jong

Proceedings of the 7th Great Lakes Symposium on VLSI (GLS-VLSI '97), 1997

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

Proceedings of the European Design and Test Conference, 1997

1996

Flow Graph Balancing for Minimizing the Required Memory Bandwidth.

Sven Wuytack, Francky Catthoor, Gjalt G. de Jong, Bill Lin, Hugo De Man

Proceedings of the 9th International Symposium on System Synthesis, 1996

Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems.

Eric Verlind, Gjalt G. de Jong, Bill Lin

Proceedings of the 33st Conference on Design Automation, 1996

1995

Background memory management for dynamic data structure intensive processing systems.

Gjalt G. de Jong, Bill Lin, Carl Verdonck, Sven Wuytack, Francky Catthoor

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

Modeling and optimization of hierarchical synchronous circuits.

Bill Lin, Gjalt G. de Jong, Tilman Kolks

Proceedings of the 1995 European Design and Test Conference, 1995

Hierarchical Optimization of Asynchronous Circuits.

Bill Lin, Gjalt G. de Jong, Tilman Kolks

Proceedings of the 32st Conference on Design Automation, 1995

1994

A Time Abstraction Method for Efficient Verification of Communicating Systems.

Eric Verlind, Tilman Kolks, Gjalt G. de Jong, Bill Lin, Hugo De Man

Proceedings of the 31st Conference on Design Automation, 1994

A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules.

Gjalt G. de Jong, Bill Lin

Proceedings of the 31st Conference on Design Automation, 1994

1991

Data flow graphs: system specification with the most unrestricted semantics.

Gjalt G. de Jong

Proceedings of the conference on European design automation, 1991

An Automata Theoretic Approach to Temporal Logic.

Gjalt G. de Jong

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991