MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Marc Geilen" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

26 documents found, showing 1 through 10. Next 10 →

ATOM

An Improved On-the-fly Tableau Construction For a Real-Time Temporal Logic
by Marc Geilen — 2003 — In International Conference on Computer Aided Verification
…An Improved On-the-fly Tableau Construction for a Real-Time Temporal Logic Marc Geilen m.c.w.geilen…
Cited by 6 (1 self) – Add To MetaCart

Model-Checking In Simulations Of Distributed Systems
by Marc Geilen — 2000 — Proceedings of 12th European Simulation Symposium ESS 2000
…MODEL-CHECKING IN SIMULATIONS OF DISTRIBUTED SYSTEMS Marc Geilen Section of Information…
Cited by 1 (0 self) – Add To MetaCart

Non-Exhaustive Model-Checking in Component Based Systems
by Marc Geilen — 2000 — Journal of Systems Architecture – The Euromicro Journal
…Non-Exhaustive Model-Checking in Component Based Systems Marc Geilen Section of Information…
Cited by 1 (0 self) – Add To MetaCart

Reactive Process Networks
by Marc Geilen, Twan Basten — 2004 — IN ACM INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT
…-58113-860-1/04/0009 ...$5.00. Reactive Process Networks ∗ Marc Geilen and Twan Basten Eindhoven University of Technology…
Cited by 9 (1 self) – Add To MetaCart

A Calculator for Pareto Points
by Marc Geilen, Twan Basten
…A Calculator for Pareto Points Marc Geilen and Twan Basten Eindhoven University of Technology…
Cited by 2 (2 self) – Add To MetaCart

Requirements on the Execution of Kahn Process Networks
by Marc Geilen, Twan Basten — 2003 — Proc. of the 12th European Symposium on Programming, ESOP 2003
…Requirements on the Execution of Kahn Process Networks ⋆ Marc Geilen and Twan Basten {m.c.w.geilen…
Cited by 12 (1 self) – Add To MetaCart

Real-time Property Preservation in Concurrent Real-time Systems
by Jinfeng Huang, Jeroen Voeten, Marc Geilen — 2004 — In: Proc. of 10th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA
… and Marc Geilen Eindhoven Univ. of Tech. Faculty of Electrical Engineering, The Netherlands J…
Cited by 1 (1 self) – Add To MetaCart

Real-time Property Preservation in Approximations of Timed Systems
by Jinfeng Huang, Jeroen Voeten, Marc Geilen — 2003 — In: Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design
… and Marc Geilen Eindhoven University of Technology Faculty of Electrical Engineering Eindhoven, 5600MB…
Cited by 11 (8 self) – Add To MetaCart

An algebra of Pareto points
by Marc Geilen, Twan Basten, Bart Theelen, Ralph Otten — 2005 — Fundamenta Informaticae
…An Algebra of Pareto Points ∗ Marc Geilen, Twan Basten, Bart Theelen and Ralph Otten Eindhoven…
Cited by 10 (6 self) – Add To MetaCart

Minimising buffer requirements of synchronous dataflow graphs with model checking
by Marc Geilen, Twan Basten, Er Stuijk — 2005 — in Proceedings of the Design Automation Conference
…Minimising Buffer Requirements of Synchronous Dataflow Graphs with Model Checking ABSTRACT Marc…
Cited by 11 (5 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB