The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Carsten Weise: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
    Efficient Timed Reachability Analysis Using Clock Difference Diagrams. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:341-353 [Conf]
  2. Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
    The Methodology of Modal Constraints. [Citation Graph (0, 0)][DBLP]
    Formal Systems Specification, 1994, pp:405-435 [Conf]
  3. Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
    Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:604-615 [Conf]
  4. Carsten Weise, Dirk Lenzkes
    Weak Refinement for Modal Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:316-330 [Conf]
  5. Carsten Weise
    Flexibilität durch kombinierte Design Pattern. [Citation Graph (0, 0)][DBLP]
    Java-Informations-Tage, 1998, pp:364-374 [Conf]
  6. François Laroussinie, Kim Guldstrand Larsen, Carsten Weise
    From Timed Automata to Logic - and Back. [Citation Graph (0, 0)][DBLP]
    MFCS, 1995, pp:529-539 [Conf]
  7. Bernhard Steffen, Carsten Weise
    Deciding Testing Equivalence for Real-Time Processes with Dense Time. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:703-713 [Conf]
  8. Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi
    UPPAAL - Now, Next, and Future. [Citation Graph (0, 0)][DBLP]
    MOVEP, 2000, pp:99-124 [Conf]
  9. Carsten Weise, Dirk Lenzkes
    Efficient Scaling-Invariant Checking of Timed Bisimulation. [Citation Graph (0, 0)][DBLP]
    STACS, 1997, pp:177-188 [Conf]
  10. Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
    A Constraint Oriented Proof Methodology Based on Modal Transition Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 1995, pp:17-40 [Conf]
  11. Ulrich Fröhlings, Carsten Weise
    Parallelisierung objekt-basierter Programme auf einem Transputer-Netzwerk. [Citation Graph (0, 0)][DBLP]
    Transputer-Anwender-Treffen, 1992, pp:101-111 [Conf]
  12. Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
    Clock Difference Diagrams. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1999, v:6, n:3, pp:271-298 [Journal]
  13. Volker Braun, Tiziana Margaria, Carsten Weise
    Integrating Tools in the ETI Platform. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:31-48 [Journal]
  14. Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
    Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:64-85 [Journal]

  15. Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems. [Citation Graph (, )][DBLP]


  16. KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment. [Citation Graph (, )][DBLP]


  17. Evaluation of the real-time Java runtime environment for deployment in time-critical systems. [Citation Graph (, )][DBLP]


  18. Proving Correctness of an Efficient Abstraction for Interrupt Handling. [Citation Graph (, )][DBLP]


Search in 0.020secs, Finished in 0.021secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002