Search the dblp DataBase
Johan J. Lukkien :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Hailiang Mei , Johan J. Lukkien , Johan Muskens A Compositional Claim-based Component Certification Procedure. [Citation Graph (0, 0)][DBLP ] EUROMICRO, 2004, pp:620-626 [Conf ] Peter van der Stok , Jan Jelle Boomgaardt , Helmut Burklin , Gabriele Cecchetti , Jean-Dominique Decotignie , Hermann de Meer , Gerhard Fohler , Johan J. Lukkien , Gerardo Rubino The FABRIC Project. [Citation Graph (0, 0)][DBLP ] EWSA, 2004, pp:272-278 [Conf ] H. Peter Hofstee , Johan J. Lukkien , Jan L. A. van de Snepscheut A Distributed Implementation of a Task Pool. [Citation Graph (0, 0)][DBLP ] Research Directions in High-Level Parallel Programming Languages, 1991, pp:338-348 [Conf ] John Segers , Johan J. Lukkien , Peter A. J. Hilbers Parallel Monte Carlo Simulation of Chemical Surface Reactions: A Case Study. [Citation Graph (0, 0)][DBLP ] HPCN Europe, 1996, pp:235-242 [Conf ] A. P. J. Jansen , C. G. M. Hermse , F. Frechard , Johan J. Lukkien Ab-Initio Kinetics of Heterogeneous Catalysis: NO+N+O/Rh(111). [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science (1), 2001, pp:531-540 [Conf ] Jinfeng Huang , Ad Verschueren , Henri Aalderink , Johan J. Lukkien A Calculus for Mobile Network Systems. [Citation Graph (0, 0)][DBLP ] ICFEM, 2002, pp:226-230 [Conf ] S. V. Nedea , Johan J. Lukkien , Peter A. J. Hilbers , A. P. J. Jansen Methods for Parallel Simulations of Surface Reactions. [Citation Graph (0, 0)][DBLP ] IPDPS, 2003, pp:256- [Conf ] Johan J. Lukkien An Operational Semantics for the Guarded Command Language. [Citation Graph (0, 0)][DBLP ] MPC, 1992, pp:233-249 [Conf ] N. H. L. Kuijpers , G. Paar , Johan J. Lukkien Stereo Vision and 3D Reconstruction on a Distributed Memory System. [Citation Graph (0, 0)][DBLP ] PDPTA, 1996, pp:854-866 [Conf ] Johan J. Lukkien , T. Tranmanh , P. H. F. M. Verhoeven , P. J. F. Peters Service Discovery Mechanisms: Two Case Studies. [Citation Graph (0, 0)][DBLP ] PDPTA, 2002, pp:1187-1192 [Conf ] Y. Mazuryk , Johan J. Lukkien Analysis and improvements of the eventing protocol for universal plug and play. [Citation Graph (0, 0)][DBLP ] Communications, Internet, and Information Technology, 2004, pp:419-424 [Conf ] T. Tranmanh , Loe M. G. Feijs , Johan J. Lukkien Implementation and Validation of UPnP for Embedded Systems in a Home Networking Environment. [Citation Graph (0, 0)][DBLP ] Communications, Internet, and Information Technology, 2002, pp:279-284 [Conf ] Peter A. J. Hilbers , Johan J. Lukkien Deadlock-Free Message Routing in Multicomputer Networks. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 1989, v:3, n:4, pp:178-186 [Journal ] Johan J. Lukkien , Jan L. A. van de Snepscheut Weakest Preconditions for Progress. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1992, v:4, n:2, pp:195-236 [Journal ] Robert I. Davis , Alan Burns , Reinder J. Bril , Johan J. Lukkien Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 2007, v:35, n:3, pp:239-272 [Journal ] Johan J. Lukkien Operational Semantics and Generalized Weakest Preconditions. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1994, v:22, n:1-2, pp:137-155 [Journal ] Andrei Korostelev , Johan J. Lukkien , Jan Nesvadba , Yuechen Qian QoS management in distributed service oriented systems. [Citation Graph (0, 0)][DBLP ] Parallel and Distributed Computing and Networks, 2007, pp:325-330 [Conf ] Peter van der Stok , Dmitri Jarnikov , Sergei Kozlov , Michael van Hartskamp , Johan J. Lukkien Hierarchical resource allocation for robust in-home video streaming. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2007, v:80, n:7, pp:951-961 [Journal ] On a Theory of Media Processing Systems Behavior, with Applications. [Citation Graph (, )][DBLP ] Worst-Case Response Time Analysis of Real-Time Tasks under Fixed-Priority Scheduling with Deferred Preemption Revisited. [Citation Graph (, )][DBLP ] Towards verification-based development of in-vehicle safety critical software: a case study. [Citation Graph (, )][DBLP ] Real-Time and Distributed AV Content Analysis System for Consumer Electronics Networks. [Citation Graph (, )][DBLP ] A service-oriented virtual community overlay network for secure external service orchestration. [Citation Graph (, )][DBLP ] An Investigation Into Soft-state Protocol Parameters. [Citation Graph (, )][DBLP ] Obtaining resource controllability in service cooperation environments. [Citation Graph (, )][DBLP ] Swift Mode Changes in Memory Constrained Real-Time Systems. [Citation Graph (, )][DBLP ] Towards Resource-Aware Runtime Reconfigurable Component-Based Systems. [Citation Graph (, )][DBLP ] Search in 0.010secs, Finished in 0.012secs