Carsten Weise

33 papers A* 1A 5B 2C 2Journal 3Unranked 18
YearRankTypeTitle / Venue / Authors
2012 — conf
A Mobile Software Quality Model.
QSIC
Dominik Franke, Stefan Kowalewski, Carsten Weise
2012 A conf
Testing Conformance of Life Cycle Dependent Properties of Mobile Applications.
ICST
Dominik Franke, Stefan Kowalewski, Carsten Weise, Nath Prakobkosol
2012 C ed.
Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
ICTSS
Brian Nielsen, Carsten Weise
2011 — conf
Comparing Continous Behavior in Model-based Development of Embedded Software.
MBEES
Jacob Palczynski, Carsten Weise, Sebastian Moj, Stefan Kowalewski
2011 — conf
Coping with Complexity of Testing Models for Real-Time Embedded Systems.
SSIRI (Companion)
Ralf Mitsching, Carsten Weise, Dominik Franke, Thomas Gerlitz, Stefan Kowalewski
2011 — conf
Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check.
ICST Workshops
Jacob Palczynski, Carsten Weise, Stefan Kowalewski, Daniel Ulmer
2011 A conf
Providing a Software Quality Framework for Testing of Mobile Applications.
ICST
Dominik Franke, Carsten Weise
2011 — conf
Reverse Engineering of Mobile Application Lifecycles.
WCRE
Dominik Franke, Corinna Elsemann, Stefan Kowalewski, Carsten Weise
2011 A conf
Scalable Symbolic Execution of Distributed Systems.
ICDCS
Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski
2011 — conf
TripleT: Improving Test Responsiveness for High Performance Embedded Systems.
ICST Workshops
Ralf Mitsching, Carsten Weise, Frank Fiedler, Stefan Kowalewski, Henrik C. Bohnenkamp
2010 — conf
Design Patterns for Integrating Variability in Timed Automata.
SSIRI (Companion)
Ralf Mitsching, Carsten Weise, Stefan Kowalewski
2010 — conf
KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment.
IPSN
Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle
2010 C conf
Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems.
CIT
Ralf Mitsching, Carsten Weise, Thomas Gatterdam, Stefan Kowalewski
2009 — conf
Evaluation of the real-time Java runtime environment for deployment in time-critical systems.
JTRES
John F. Schommer, Dominik Franke, Stefan Kowalewski, Carsten Weise
2009 — conf
Towards an Industrial Strength Process for Timed Testing.
ICST Workshops
Ralf Mitsching, Carsten Weise, André Kolbe, Henrik C. Bohnenkamp, Norbert Berzen
2008 — conf
Proving Correctness of an Efficient Abstraction for Interrupt Handling.
SSV
Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll
2006 — ed.
Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
FATES
Wolfgang Grieskamp, Carsten Weise
2000 — conf
UPPAAL - Now, Next, and Future.
MOVEP
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
1999 J jnl
Clock Difference Diagrams.
Nord. J. Comput.
Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
1999 A* conf
Efficient Timed Reachability Analysis Using Clock Difference Diagrams.
CAV
Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
1998 — conf
Flexibilität durch kombinierte Design Pattern.
Java-Informations-Tage
Carsten Weise
1997 J jnl
Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools.
Int. J. Softw. Tools Technol. Transf.
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
1997 A conf
Efficient Scaling-Invariant Checking of Timed Bisimulation.
STACS
Carsten Weise, Dirk Lenzkes
1997 J jnl
Integrating Tools in the ETI Platform.
Int. J. Softw. Tools Technol. Transf.
Volker Braun, Tiziana Margaria, Carsten Weise
1997 — conf
Weak Refinement for Modal Hybrid Systems.
HART
Carsten Weise, Dirk Lenzkes
1995 A conf
A Constraint Oriented Proof Methodology Based on Modal Transition Systems.
TACAS
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
1995 — —
Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozesskalkülen mit dichtem Zeitbereich.
Carsten Weise
1995 — conf
Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints.
Hybrid Systems
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
1995 B conf
From Timed Automata to Logic - and Back.
MFCS
François Laroussinie, Kim Guldstrand Larsen, Carsten Weise
1994 — conf
The Methodology of Modal Constraints.
Formal Systems Specification
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
1993 — conf
Continuous Real Time Models in Practice.
RTS
Carsten Weise, Tiziana Margaria
1993 B conf
Deciding Testing Equivalence for Real-Time Processes with Dense Time.
MFCS
Bernhard Steffen, Carsten Weise
1992 — conf
Parallelisierung objekt-basierter Programme auf einem Transputer-Netzwerk.
Transputer-Anwender-Treffen
Ulrich Fröhlings, Carsten Weise