Martin Fränzle  Home/Search
Context Related
| ca.informatik.uni...hwsynthesis.ps.Z informatik.unikie...hwsynthesis.ps.Z imm.dtu.dk/~mf/cor...hwsynthesis.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ca.informatik.uni...publications (more) From: informatik.uni...dkielhomepage (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This report reflects work that has been partially funded by the Deutsche Forschungsgemeinschaft under contract DFG La 426/13-2. (Update)
Context of citations to this paper: More
.... checking techniques for asynchronous circuits [Fra97,Fra98,Fra99b] as well as controller synthesis techniques for synchronous circuits [Fra96b,Fra96c,Fra97] have been derived from the decision procedures. To the best of our knowledge, these are the first e#ective procedures...
Cited by: More
Beyond ProCoS at Kiel: A Synopsis of Recent Research - Fränzle, Goerigk, von.. (1999) (Correct)
Similar documents (at the sentence level):
24.1%: Synthesizing Controllers from Duration Calculus - Fränzle (1996) (Correct)
Active bibliography (related documents): More All
0.1: Combining a State Based Formalism With Temporal Logic - Deiß (1996) (Correct)
0.1: Conflict Resolution for Multi-Agent Hybrid Systems - Pappas, Tomlin, Sastry (1996) (Correct)
0.1: Decidability of Duration Calculi on Restricted Model Classes - Fränzle (1996) (Correct)
Similar documents based on text: More All
0.5: Model-Checking Dense-Time Duration Calculus - Fränzle (Correct)
0.5: Take it NP-easy: Bounded Model Construction for Duration Calculus - Fränzle (2002) (Correct)
0.2: A Concept for Time-Dependent Processes - Polthier, Rumpf (1995) (Correct)
Related documents from co-citation: More All
3: An Introduction to Parallel Algorithms (context) - J'aJ'a - 1992
2: Information Processing Letters (context) - Chaochen, Hoare et al. - 1991
BibTeX entry: (Update)
Martin Franzle. Hardware synthesis from temporal logic: Undecidability need not matter. Position paper, Hardware Synthesis and Verification Workshop, Cornell University, Ithaca, USA, August 1996. http://citeseer.ist.psu.edu/article/franzle96hardware.html More
@misc{ franzle96hardware,
author = "M. Franzle",
title = "Hardware synthesis from temporal logic: Undecidability need not matter",
text = "Martin Franzle. Hardware synthesis from temporal logic: Undecidability
need not matter. Position paper, Hardware Synthesis and Verification Workshop,
Cornell University, Ithaca, USA, August 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/article/franzle96hardware.html" }
Citations (may not include all citations):1447 The mathematical theory of communication (context) - Shannon - 1949
1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
374 Automata on infinite objects (context) - Thomas - 1990
168 What's decidable about hybrid automata - Henzinger, Kopke et al. - 1995
125 A temporal logic for multi-level reasoning about hardware (context) - Moszkowski - 1985
103 Specifying and verifying requirements of real-time systems (context) - Ravn, Rischel et al. - 1993
90 Specifying message passing and time-critical systems with te.. (context) - Koymans - 1992
49 Solving sequential conditions by finitestate strategies (context) - Buchi, Landweber - 1969
34 Hybrid Systems II (context) - Antsaklis, Kohn et al. - 1995
32 Duration calculi: An overview (context) - Chaochen - 1993
32 A calculus of durations (context) - Chaochen, Hoare et al. - 1991
10 Synthesizing controllers from duration calculus - Franzle - 1996
7 and Hans Rischel (context) - Grossman, Nerode et al. - 1993
Documents on the same site (http://ca.informatik.uni-oldenburg.de/~fraenzle/publications.html): More
Model-Checking Dense-Time Duration Calculus - Fränzle (1998) (Correct)
Decidability of Duration Calculi on Restricted Model Classes - Fränzle (1996) (Correct)
Analysis of Hybrid Systems: An ounce of realism can save an.. - Fränzle (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC