- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c25 |      | Dominik Franke, Stefan Kowalewski, Carsten Weise, Nath Prakobkosol: Testing Conformance of Life Cycle Dependent Properties of Mobile Applications. ICST 2012: 241-250 |
| c24 | | Dominik Franke, Stefan Kowalewski, Carsten Weise: A Mobile Software Quality Model. QSIC 2012: 154-157 |
| e2 | | 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 7641, Springer 2012, isbn 978-3-642-34690-3 |
| 2011 | ||
| c23 | | Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski: Scalable Symbolic Execution of Distributed Systems. ICDCS 2011: 333-342 |
| c22 | | Ralf Mitsching, Carsten Weise, Frank Fiedler, Stefan Kowalewski, Henrik C. Bohnenkamp: TripleT: Improving Test Responsiveness for High Performance Embedded Systems. ICST Workshops 2011: 67-74 |
| c21 | | Dominik Franke, Carsten Weise: Providing a Software Quality Framework for Testing of Mobile Applications. ICST 2011: 431-434 |
| c20 | | Jacob Palczynski, Carsten Weise, Stefan Kowalewski, Daniel Ulmer: Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check. ICST Workshops 2011: 590-595 |
| c19 |  | Jacob Palczynski, Carsten Weise, Sebastian Moj, Stefan Kowalewski: Comparing Continous Behavior in Model-based Development of Embedded Software. MBEES 2011: 61-70 |
| c18 | | Ralf Mitsching, Carsten Weise, Dominik Franke, Thomas Gerlitz, Stefan Kowalewski: Coping with Complexity of Testing Models for Real-Time Embedded Systems. SSIRI (Companion) 2011: 128-135 |
| c17 | | Dominik Franke, Corinna Elsemann, Stefan Kowalewski, Carsten Weise: Reverse Engineering of Mobile Application Lifecycles. WCRE 2011: 283-292 |
| 2010 | ||
| c16 | | Ralf Mitsching, Carsten Weise, Thomas Gatterdam, Stefan Kowalewski: Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems. CIT 2010: 2433-2440 |
| c15 | | Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle: KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment. IPSN 2010: 186-196 |
| c14 | | Ralf Mitsching, Carsten Weise, Stefan Kowalewski: Design Patterns for Integrating Variability in Timed Automata. SSIRI (Companion) 2010: 38-45 |
| 2009 | ||
| c13 | | Ralf Mitsching, Carsten Weise, André Kolbe, Henrik C. Bohnenkamp, Norbert Berzen: Towards an Industrial Strength Process for Timed Testing. ICST Workshops 2009: 29-38 |
| c12 | | John F. Schommer, Dominik Franke, Stefan Kowalewski, Carsten Weise: Evaluation of the real-time Java runtime environment for deployment in time-critical systems. JTRES 2009: 51-60 |
| 2008 | ||
| j4 | | Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll: Proving Correctness of an Efficient Abstraction for Interrupt Handling. Electr. Notes Theor. Comput. Sci. 217: 133-150 (2008) |
| 2006 | ||
| e1 | | Wolfgang Grieskamp, Carsten Weise (Eds.): Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3997, Springer 2006, isbn 3-540-34454-3 |
| 2000 | ||
| c11 | | 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. MOVEP 2000: 99-124 |
| 1999 | ||
| j3 | | Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Clock Difference Diagrams. Nord. J. Comput. 6(3): 271-298 (1999) |
| c10 | | Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV 1999: 341-353 |
| 1998 | ||
| c9 | | |
| 1997 | ||
| j2 | | Volker Braun, Tiziana Margaria, Carsten Weise: Integrating Tools in the ETI Platform. STTT 1(1-2): 31-48 (1997) |
| j1 | | Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. STTT 1(1-2): 64-85 (1997) |
| c8 | | |
| c7 | | Carsten Weise, Dirk Lenzkes: Efficient Scaling-Invariant Checking of Timed Bisimulation. STACS 1997: 177-188 |
| 1995 | ||
| c6 | | Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. Hybrid Systems 1995: 604-615 |
| c5 | | François Laroussinie, Kim Guldstrand Larsen, Carsten Weise: From Timed Automata to Logic - and Back. MFCS 1995: 529-539 |
| c4 | | Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: A Constraint Oriented Proof Methodology Based on Modal Transition Systems. TACAS 1995: 17-40 |
| 1994 | ||
| c3 | | Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: The Methodology of Modal Constraints. Formal Systems Specification 1994: 405-435 |
| 1993 | ||
| c2 | | Bernhard Steffen, Carsten Weise: Deciding Testing Equivalence for Real-Time Processes with Dense Time. MFCS 1993: 703-713 |
| 1992 | ||
| c1 | | Ulrich Fröhlings, Carsten Weise: Parallelisierung objekt-basierter Programme auf einem Transputer-Netzwerk. Transputer-Anwender-Treffen 1992: 101-111 |
Data released under the ODC-BY 1.0 license — See also our legal information page