Gjalt G. de Jong - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2008

An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOSEric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev. FM 2008: 411-418 [doi]

2007

OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal ModelingEric Verhulst, Gjalt G. de Jong. sdl 2007: 258-271 [doi]

2002

A UML-Based Design Methodology for Real-Time and Embedded SytemsGjalt G. de Jong. date 2002: 776-781 [doi]

2001

C/C++: progress or deadlock in system-level specificationDaniel Gajski, Eugenio Villar, Wolfgang Rosenstiel, Vassilios Gerousis, D. Barton, J. Plantin, S. E. Ericsson, Patrizia Cavalloro, Gjalt G. de Jong. date 2001: 136-137 [doi]

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. date 2000: 576 [doi]

An Incremental Specification Flow for Real Time Embedded SystemsAlex Niemegeers, Gjalt G. de Jong. date 2000: 761 [doi]

1999

How standards will enable hardware/software co-designMark Genoe, Christopher K. Lennard, Joachim Kunkel, Brian Bailey, Gjalt G. de Jong, Grant Martin, M. M. Kamal Hashmi, Shay Ben-Chorin, Anssi Haverinen. codes 1999: 211-212 [doi]

Matisse: A System-on-Chip Design Methodology Emphasizing Dynamic Memory ManagementDiederik Verkest, Julio Leao da Silva Jr., Chantal Ykman-Couvreur, Kris Croes, Miguel Miranda, Sven Wuytack, Francky Catthoor, Gjalt G. de Jong, Hugo De Man. vlsisp, 21(3):185-194, 1999. [doi]

Memory management for embedded network applicationsSven Wuytack, Julio Leao da Silva Jr., Francky Catthoor, Gjalt G. de Jong, Chantal Ykman-Couvreur. tcad, 18(5):533-544, 1999. [doi]

Minimizing the required memory bandwidth in VLSI system realizationsSven Wuytack, Francky Catthoor, Gjalt G. de Jong, Hugo De Man. tvlsi, 7(4):433-441, 1999. [doi]

1998

1997

1996

Efficient Partial Enumeration for Timing Analysis of Asynchronous SystemsEric Verlind, Gjalt G. de Jong, Bill Lin. dac 1996: 55-58 [doi]

Flow Graph Balancing for Minimizing the Required Memory BandwidthSven Wuytack, Francky Catthoor, Gjalt G. de Jong, Bill Lin, Hugo De Man. isss 1996: 127-132 [doi]

1995

1994

A Communicating Petri Net Model for the Design of Concurrent Asynchronous ModulesGjalt G. de Jong, Bill Lin. dac 1994: 49-55 [doi]

A Time Abstraction Method for Efficient Verification of Communicating SystemsEric Verlind, Tilman Kolks, Gjalt G. de Jong, Bill Lin, Hugo De Man. dac 1994: 609-614 [doi]

1991

An Automata Theoretic Approach to Temporal LogicGjalt G. de Jong. cav 1992: 477-487

Data flow graphs: system specification with the most unrestricted semanticsGjalt G. de Jong. eurodac 1991: 401-405 [doi]

Sign in or sign up to see more results.

runs on WebDSL