Publications

  • C.Weise. Skript zur Assemblerprogrammierung (Assembly Programming Tutorial, in German). RWTH Aachen 1988
  • C.Weise, T.Margaria. Continuous Real Time Models in Practice. 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. 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. 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. 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. 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. Hybrid Systems III, Proc. Workshop on Verification and Control of Hybrid Systems, New Brunswick, 1995. LNCS 1066, pp.604--615
  • C.Weise. Skript ``Echtzeitsysteme'' (Real Time System Tutorial, in German). RWTH Aachen 1996
  • C.Weise. Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozesskalkülen mit dichtem Zeitbereich (Decision algorithm for equivalences of real time process calculi over dense time domains, in German). Dissertation, RWTH Aachen 1996.
  • K.G.Larsen, B.Steffen, C.Weise. The Methodology of Modal Constraints. 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. 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. Proc. Hybrid and Real Time Systems (HART) 1997. LNCS 1201
  • C.Weise. An incremental formal semantics for PROMELA. Proc. SPIN97 Workshop, University of Twente, 1997
  • V.Braun, T.Margaria, C.Weise. Integrating Tools into the ETI Platform. 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. 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. 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 (Flexibility through combined design patterns, in German). 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. 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
  • Wolfgang Grieskamp, Carsten Weise. Formal Approaches to Software Testing: 5th International Workshop. FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science/Programming and Software Engineering)
  • Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll. Proving Correctness of an Efficient Abstraction for Interrupt Handling. Electronic Notes in Theoretical Computer Science, vol. 217, pp. 133-150, 2008, Proceedings of the 3rd International Workshop on Systems Software Verification (SSV 2008)
  • Schommer, J. F., Franke, D., Kowalewski, S., and Weise, C. Evaluation of the Real-Time Java Runtime Environment for Deployment in Time-Critical Systems. Proc. 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES), 2009, ACM, pp. 51-60
  • Mitsching, R., Weise, C., Kolbe, A., Bohnenkamp, H., and Berzen, N. Towards an Industrial Strength Process for Timed Testing. IEEE International Conference on Software Testing, Verification, and Validation, pp. 29-38, 2009
  • Kowalewski, S., Garavello, M., Guéguen, H., Herberich, G., Langerak, R., Piccoli, B., Polderman, J. W., and Weise, C. Handbook of Hybrid Systems Control. Cambridge University Press, 2009, pp. 57-86
  • Mitsching, R., Weise, C., and Kowalewski, S. Design Patterns for Integrating Variability in Timed Automata. Proc. 4th IEEE International Conference on Secure Software Integration and Reliability, 2010, IEEE Computer Society, pp. 38-45
  • Palczynski, J., Weise, C., and Kowalewski, S. Testing Continuous Systems Conformance Using Cross Correlation. Proc. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers, Montreal, 2010, CRIM, pp. 31-36
  • Mitsching, R., Weise, C., Gatterdam, T., and Kowalewski, S. Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems. Proc. 10th IEEE International Conference on Computer and Information Technology (CIT 2010), 2010, IEEE Computer Society, pp. 2433-2440
  • Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski and Klaus Wehrle. KleeNet: Discovering Insidious Interaction Bugs in Wireless Sensor Networks Before Deployment. Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010), Stockholm, Sweden , page 186--196.
  • Franke, D., Elsemann, C., Weise, C., and Kowalewski, S. Reverse Engineering of Mobile Application Lifecycles. Proc. 18th Working Conference on Reverse Engineering (WCRE), 2011, IEEE Computer Society, pp. 283-292
  • Franke, D., Dzafic, D., Weise, C., and Kowalewski, S. Konzept eines Mobilen OSM-Navigationssystems für Elektrofahrzeuge. Proc. Angewandte Geoinformatik 2011 - Beiträge zum 23. AGIT-Symposium (AGIT), 2011, Wichmann Verlag, pp. 148-157
  • Mitsching, R., Weise, C., Franke, D., Gerlitz, T., and Kowalewski, S. Coping with Complexity of Testing Models for Real-Time Embedded Systems. Proc. 3rd Workshop on Model-Based Verification and Validation (MVV), 2011, IEEE Press, pp. 128-135
  • Franke, D., Dzafic, D., Weise, C., and Kowalewski, S. Entwicklung eines mobilen Navigationssystems für Elektrofahrzeuge auf Basis von OpenStreetMap-Daten. Proc. Konferenz für Freie und Open Source Software für Geoinformationssysteme (FOSSGIS), 2011, FOSSGIS e.V., pp. 92-99
  • Palczynski, J., Weise, C., Kowalewski, S., and Ulmer, D. Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check. Proc. Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW, TAIC PART) 2011, 2011, IEEE Computer Society, pp. 590-595
  • Mitsching, R., Weise, C., Bohnenkamp, H., Fiedler, F., and Kowalewski, S. TripleT: Improving Test Responsiveness for High Performance Embedded Systems. Proc. 4th IEEE International Conference on Software Testing, Verification, and Validation, 2011, IEEE, pp. 67-74
  • Palczynski, J., Weise, C., Moj, S., and Kowalewski, S. Comparing Continuous Behaviour in Model-based Development of Embedded Software. Proc. Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII (MBEES 2011), 2011, fortiss GmbH, pp. 61-70
  • Franke, D. and Weise, C. Providing a Software Quality Framework for Testing of Mobile Applications. Proc. 4th International Conference on Software Testing Verification and Validation (ICST), 2011, IEEE Computer Society, pp. 431-434
  • Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Carsten Weise, Stefan Kowalewski and Klaus Wehrle. Scalable Symbolic Execution of Distributed Systems. Proceedings of the 31st IEEE International Conference on Distributed Computing Systems (ICDCS 2011), June 2011, Minneapolis, MN, USA , page 333-342.
  • Franke, D., Kowalewski, S., and Weise, C. A Mobile Software Quality Model. Proc. 12th International Conference on Quality Software (QSIC), 2012, IEEE Computer Society, pp. 154-157
  • Franke, D., Kowalewski, S., Weise, C., and Prakobkosol, N.. Testing Conformance of Lifecycle-Dependent Properties of Mobile Applications. Proc. 5th International Conference on Software Testing, Verification and Validation (ICST), 2012, IEEE Computer Society, pp. 241-250
  • Brian Nielsen, Carsten Weise (Eds.). Testing Software and Systems: 24th IFIP WG 6.1 International Conference. ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings (Lecture Notes in Computer Science/Programming and Software Engineering)