Veröffentlichungen

  • C.Weise. Skript zur Assemblerprogrammierung. RWTH Aachen 1988.
  • U.Fröhlings, C.Weise. Parallelisierung objekt-basierter Programme auf einem Transputer-Netzwerk. In: Baumann, Martin; Grebe, Reinhard (Hrsg). Parallele Datenverarbeitung mit dem Transputer: 4.Transputer-Anwender-Treffen TAT '92, Springer Berlin 1993.
  • C.Weise, T.Margaria. Continuous Real Time Models in Practice. In: Proc. 5th Euromicro Workshop on Real-Time Systems, Oulu, Finland 1993. pp.8--13.
  • B.Steffen, C.Weise. Deciding testing equivalence for real-time processes with dense time. In: A.M.Borzyszkowski, Stefan Sokolowksi (Eds.). Proc. 18th Symposium on Mathematical Foundations of Computer Science (MFCS) 1993. LNCS 711, pp.703--713.
  • K.G.Larsen, B.Steffen, C.Weise. A constraint oriented proof methodology based on modal transition systems In: Proc. 6th Nordic Workshop on Programming Theory, Aarhus, Denmark, BRICS Notes Series NS-94-6 1994, pp.238--250.
  • F.Laroussinie, K.G.Larsen, C.Weise. From Timed Automata to Logic -- and Back. In: Proc. 20th Symposium on Mathematical Foundations of Computer Science (MFCS), 1995. LNCS 969, pp.529--540.
  • K.G.Larsen, B.Steffen, C.Weise. A constraint oriented proof methodology based on modal transition systems In: Proc. 1st Workshop Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 1995. LNCS 1019, pp.17--40.
  • K.G.Larsen, B.Steffen, C.Weise. Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints In: Hybrid Systems III, Proc. Workshop on Verification and Control of Hybrid Systems, New Brunswick, 1995. LNCS 1066, pp.604--615.
  • C.Weise. Skript ``Echtzeitsysteme''. RWTH Aachen 1996.
  • C.Weise. Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozesskalkülen mit dichtem Zeitbereich. Dissertation, RWTH Aachen 1996.
  • K.G.Larsen, B.Steffen, C.Weise. The Methodology of Modal Constraints. In: M.Broy, S.Merz, K.Spies (Eds.). Formal Systems Specification - The RPC-Memory Specification Case Study. LNCS 1169, Springer 1996, pp.405--436.
  • C.Weise, D.Lenzkes. Efficient Scaling-Invariant Checking of Timed Bisimulation. In: Proc. 14th Annual Symposium on Theoretical Aspects of Computer Science (STACS), Lübeck, Germany, February/March 1997. LNCS 1200, pp.177--188
  • C.Weise, D.Lenzkes. Weak Refinement for Modal Hybrid Systems. In: Proc. Hybrid and Real Time Systems (HART) 1997. LNCS 1201.
  • C.Weise. An incremental formal semantics for PROMELA. In: Proc. SPIN97 Workshop, University of Twente, 1997.
  • V.Braun, T.Margaria, C.Weise. Integrating Tools into the ETI Platform. In: Software Tools for Technology Transfer, Vol.1, No.1+2, Springer, December 1997, pp. 31-48.
  • K.G.Larsen, B.Steffen. C.Weise. Continuous Modelling of Real Time and Hybrid Systems: From Concepts to Tools. In: Software Tools for Technology Transfer, Vol.1, No.1+2, Springer, December 1997, pp. 64-85.
  • Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi and Carsten Weise. New Generation of UPPAAL. In: Proc. International Workshop on Software Tool for Technology Transfer (STTT '98), Aalborg, Denmark, July 12-13, 1998, pp. 43-53.
  • Carsten Weise. Flexibilität durch kombinierte Design Pattern. In: Proc. Java Informations-Tage (JIT'98), Informatik Aktuell, Springer 1998.
  • K.G.Larsen, C.Weise, W.Yi, J.Pearson. Clock Difference Diagrams. Nordic Journal of Computing 6(3), pp. 271-298, 1999.
  • Kåre J.Kristoffersen, Kim G.Larsen, Paul Pettersson, Carsten Weise. Experimental Batch Plant -- VHS Case Study 1 using Uppaal. Esprit LTR Project 26270 VHS (Verification of Hybrid Systems), 1999.
  • Gerd Behrmann, Kim G. Larsen, Carsten Weise, Wang Yi, Justin Pearson. Efficient Timed Reachability Analysis using Clock Difference Diagrams. CAV 1999, pp.341-353.
  • Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim G. Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, and Wang Yi. UPPAAL - Now, Next, and Future. In Proceedings of Modelling and Verification of Parallel Processes (MOVEP'2k), Nantes, France, June 19 to 23, 2000. LNCS Tutorial 2067, pages 100-125, F. Cassez, C. Jard, B. Rozoy, and M. Ryan (Eds.), 2001.
  • Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll. Proving Correctness of an Efficient Abstraction for Interrupt Handling. in 3rd International Workshop on Systems Software Verification (SSV 08), Feb 25/26 2008, Sydney, Australia, to appear.