BibTeX records: Carsten Weise

download as .bib file

@inproceedings{DBLP:conf/icst/FrankeKWP12,
  author       = {Dominik Franke and
                  Stefan Kowalewski and
                  Carsten Weise and
                  Nath Prakobkosol},
  editor       = {Giuliano Antoniol and
                  Antonia Bertolino and
                  Yvan Labiche},
  title        = {Testing Conformance of Life Cycle Dependent Properties of Mobile Applications},
  booktitle    = {Fifth {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
  pages        = {241--250},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICST.2012.104},
  doi          = {10.1109/ICST.2012.104},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/FrankeKWP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/FrankeKW12,
  author       = {Dominik Franke and
                  Stefan Kowalewski and
                  Carsten Weise},
  editor       = {Antony Tang and
                  Henry Muccini},
  title        = {A Mobile Software Quality Model},
  booktitle    = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi,
                  China, August 27-29, 2012},
  pages        = {154--157},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/QSIC.2012.49},
  doi          = {10.1109/QSIC.2012.49},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/qsic/FrankeKW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2012,
  editor       = {Brian Nielsen and
                  Carsten Weise},
  title        = {Testing Software and Systems - 24th {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2012, Aalborg, Denmark, November 19-21, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7641},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34691-0},
  doi          = {10.1007/978-3-642-34691-0},
  isbn         = {978-3-642-34690-3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/SasnauskasDKWWK11,
  author       = {Raimondas Sasnauskas and
                  Oscar Soria Dustmann and
                  Benjamin Lucien Kaminski and
                  Klaus Wehrle and
                  Carsten Weise and
                  Stefan Kowalewski},
  title        = {Scalable Symbolic Execution of Distributed Systems},
  booktitle    = {2011 International Conference on Distributed Computing Systems, {ICDCS}
                  2011, Minneapolis, Minnesota, USA, June 20-24, 2011},
  pages        = {333--342},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICDCS.2011.28},
  doi          = {10.1109/ICDCS.2011.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/SasnauskasDKWWK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MitschingWFKB11,
  author       = {Ralf Mitsching and
                  Carsten Weise and
                  Frank Fiedler and
                  Stefan Kowalewski and
                  Henrik C. Bohnenkamp},
  title        = {TripleT: Improving Test Responsiveness for High Performance Embedded
                  Systems},
  booktitle    = {Fourth {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
                  Proceedings},
  pages        = {67--74},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICSTW.2011.86},
  doi          = {10.1109/ICSTW.2011.86},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/MitschingWFKB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FrankeW11,
  author       = {Dominik Franke and
                  Carsten Weise},
  title        = {Providing a Software Quality Framework for Testing of Mobile Applications},
  booktitle    = {Fourth {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
  pages        = {431--434},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICST.2011.18},
  doi          = {10.1109/ICST.2011.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/FrankeW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PalczynskiWKU11,
  author       = {Jacob Palczynski and
                  Carsten Weise and
                  Stefan Kowalewski and
                  Daniel Ulmer},
  title        = {Estimation of Clock Drift in HiL Testing by Property-Based Conformance
                  Check},
  booktitle    = {Fourth {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
                  Proceedings},
  pages        = {590--595},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICSTW.2011.101},
  doi          = {10.1109/ICSTW.2011.101},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/PalczynskiWKU11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/PalczynskiWMK11,
  author       = {Jacob Palczynski and
                  Carsten Weise and
                  Sebastian Moj and
                  Stefan Kowalewski},
  editor       = {Holger Giese and
                  Michaela Huhn and
                  Jan Phillips and
                  Bernhard Sch{\"{a}}tz},
  title        = {Comparing Continous Behavior in Model-based Development of Embedded
                  Software},
  booktitle    = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
                  Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte
                  Entwicklung eingebetteter Systeme},
  pages        = {61--70},
  publisher    = {fortiss GmbH, M{\"{u}}nchen},
  year         = {2011},
  timestamp    = {Thu, 12 Mar 2020 11:39:36 +0100},
  biburl       = {https://dblp.org/rec/conf/mbees/PalczynskiWMK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/MitschingWFGK11,
  author       = {Ralf Mitsching and
                  Carsten Weise and
                  Dominik Franke and
                  Thomas Gerlitz and
                  Stefan Kowalewski},
  title        = {Coping with Complexity of Testing Models for Real-Time Embedded Systems},
  booktitle    = {Fifth International Conference on Secure Software Integration and
                  Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
                  Korea - Companion Volume},
  pages        = {128--135},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/SSIRI-C.2011.27},
  doi          = {10.1109/SSIRI-C.2011.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssiri/MitschingWFGK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/FrankeEKW11,
  author       = {Dominik Franke and
                  Corinna Elsemann and
                  Stefan Kowalewski and
                  Carsten Weise},
  editor       = {Martin Pinzger and
                  Denys Poshyvanyk and
                  Jim Buckley},
  title        = {Reverse Engineering of Mobile Application Lifecycles},
  booktitle    = {18th Working Conference on Reverse Engineering, {WCRE} 2011, Limerick,
                  Ireland, October 17-20, 2011},
  pages        = {283--292},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/WCRE.2011.42},
  doi          = {10.1109/WCRE.2011.42},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/FrankeEKW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/MitschingWGK10,
  author       = {Ralf Mitsching and
                  Carsten Weise and
                  Thomas Gatterdam and
                  Stefan Kowalewski},
  title        = {Low Effort Evaluation of Real-Time and Reliability Requirements for
                  Embedded Systems},
  booktitle    = {10th {IEEE} International Conference on Computer and Information Technology,
                  {CIT} 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010},
  pages        = {2433--2440},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/CIT.2010.418},
  doi          = {10.1109/CIT.2010.418},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcit/MitschingWGK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/SasnauskasLAWKW10,
  author       = {Raimondas Sasnauskas and
                  Olaf Landsiedel and
                  Muhammad Hamad Alizai and
                  Carsten Weise and
                  Stefan Kowalewski and
                  Klaus Wehrle},
  editor       = {Tarek F. Abdelzaher and
                  Thiemo Voigt and
                  Adam Wolisz},
  title        = {KleeNet: discovering insidious interaction bugs in wireless sensor
                  networks before deployment},
  booktitle    = {Proceedings of the 9th International Conference on Information Processing
                  in Sensor Networks, {IPSN} 2010, April 12-16, 2010, Stockholm, Sweden},
  pages        = {186--196},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1791212.1791235},
  doi          = {10.1145/1791212.1791235},
  timestamp    = {Tue, 06 Nov 2018 16:59:08 +0100},
  biburl       = {https://dblp.org/rec/conf/ipsn/SasnauskasLAWKW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/MitschingWK10,
  author       = {Ralf Mitsching and
                  Carsten Weise and
                  Stefan Kowalewski},
  title        = {Design Patterns for Integrating Variability in Timed Automata},
  booktitle    = {Fourth International Conference on Secure Software Integration and
                  Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
                  - Companion Volume},
  pages        = {38--45},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SSIRI-C.2010.21},
  doi          = {10.1109/SSIRI-C.2010.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssiri/MitschingWK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MitschingWKBB09,
  author       = {Ralf Mitsching and
                  Carsten Weise and
                  Andr{\'{e}} Kolbe and
                  Henrik C. Bohnenkamp and
                  Norbert Berzen},
  title        = {Towards an Industrial Strength Process for Timed Testing},
  booktitle    = {Second International Conference on Software Testing Verification and
                  Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops
                  Proceedings},
  pages        = {29--38},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICSTW.2009.42},
  doi          = {10.1109/ICSTW.2009.42},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/MitschingWKBB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/SchommerFKW09,
  author       = {John F. Schommer and
                  Dominik Franke and
                  Stefan Kowalewski and
                  Carsten Weise},
  editor       = {M. Teresa Higuera{-}Toledano and
                  Martin Schoeberl},
  title        = {Evaluation of the real-time Java runtime environment for deployment
                  in time-critical systems},
  booktitle    = {Proceedings of the 7th International Workshop on Java Technologies
                  for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September
                  23-25, 2009},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {51--60},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1620405.1620413},
  doi          = {10.1145/1620405.1620413},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jtres/SchommerFKW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HerberichSWN08,
  author       = {Gerlind Herberich and
                  Bastian Schlich and
                  Carsten Weise and
                  Thomas Noll},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Proving Correctness of an Efficient Abstraction for Interrupt Handling},
  booktitle    = {Proceedings of the 3rd International Workshop on Systems Software
                  Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {217},
  pages        = {133--150},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.06.046},
  doi          = {10.1016/J.ENTCS.2008.06.046},
  timestamp    = {Fri, 17 Feb 2023 10:34:05 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HerberichSWN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fates/2005,
  editor       = {Wolfgang Grieskamp and
                  Carsten Weise},
  title        = {Formal Approaches to Software Testing, 5th International Workshop,
                  {FATES} 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3997},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11759744},
  doi          = {10.1007/11759744},
  isbn         = {3-540-34454-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/movep/AmnellBBDDFHJLMPWY00,
  author       = {Tobias Amnell and
                  Gerd Behrmann and
                  Johan Bengtsson and
                  Pedro R. D'Argenio and
                  Alexandre David and
                  Ansgar Fehnker and
                  Thomas Hune and
                  Bertrand Jeannet and
                  Kim Guldstrand Larsen and
                  M. Oliver M{\"{o}}ller and
                  Paul Pettersson and
                  Carsten Weise and
                  Wang Yi},
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {{UPPAAL} - Now, Next, and Future},
  booktitle    = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  pages        = {99--124},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45510-8\_4},
  doi          = {10.1007/3-540-45510-8\_4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/movep/AmnellBBDDFHJLMPWY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LarsenPWY99,
  author       = {Kim Guldstrand Larsen and
                  Justin Pearson and
                  Carsten Weise and
                  Wang Yi},
  title        = {Clock Difference Diagrams},
  journal      = {Nord. J. Comput.},
  volume       = {6},
  number       = {3},
  pages        = {271--298},
  year         = {1999},
  timestamp    = {Fri, 07 Dec 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/njc/LarsenPWY99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BehrmannLPWY99,
  author       = {Gerd Behrmann and
                  Kim Guldstrand Larsen and
                  Justin Pearson and
                  Carsten Weise and
                  Wang Yi},
  editor       = {Nicolas Halbwachs and
                  Doron A. Peled},
  title        = {Efficient Timed Reachability Analysis Using Clock Difference Diagrams},
  booktitle    = {Computer Aided Verification, 11th International Conference, {CAV}
                  '99, Trento, Italy, July 6-10, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1633},
  pages        = {341--353},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48683-6\_30},
  doi          = {10.1007/3-540-48683-6\_30},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BehrmannLPWY99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jit/Weise98,
  author       = {Carsten Weise},
  editor       = {Clemens H. Cap},
  title        = {Flexibilit{\"{a}}t durch kombinierte Design Pattern},
  booktitle    = {{JIT} '98, Java-Informations-Tage 1998, Frankfurt/Main, 12./13. November
                  1998},
  series       = {Informatik Aktuell},
  pages        = {364--374},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-642-59984-2\_32},
  doi          = {10.1007/978-3-642-59984-2\_32},
  timestamp    = {Tue, 25 Jun 2019 12:37:38 +0200},
  biburl       = {https://dblp.org/rec/conf/jit/Weise98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BraunMW97,
  author       = {Volker Braun and
                  Tiziana Margaria and
                  Carsten Weise},
  title        = {Integrating Tools in the {ETI} Platform},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {1},
  number       = {1-2},
  pages        = {31--48},
  year         = {1997},
  url          = {https://doi.org/10.1007/s100090050004},
  doi          = {10.1007/S100090050004},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/BraunMW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LarsenSW97,
  author       = {Kim Guldstrand Larsen and
                  Bernhard Steffen and
                  Carsten Weise},
  title        = {Continuous Modeling of Real-Time and Hybrid Systems: From Concepts
                  to Tools},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {1},
  number       = {1-2},
  pages        = {64--85},
  year         = {1997},
  url          = {https://doi.org/10.1007/s100090050006},
  doi          = {10.1007/S100090050006},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/LarsenSW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/WeiseL97,
  author       = {Carsten Weise and
                  Dirk Lenzkes},
  editor       = {Oded Maler},
  title        = {Weak Refinement for Modal Hybrid Systems},
  booktitle    = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble,
                  France, March 26-28, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1201},
  pages        = {316--330},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0014735},
  doi          = {10.1007/BFB0014735},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/WeiseL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/WeiseL97,
  author       = {Carsten Weise and
                  Dirk Lenzkes},
  editor       = {R{\"{u}}diger Reischuk and
                  Michel Morvan},
  title        = {Efficient Scaling-Invariant Checking of Timed Bisimulation},
  booktitle    = {{STACS} 97, 14th Annual Symposium on Theoretical Aspects of Computer
                  Science, L{\"{u}}beck, Germany, February 27 - March 1, 1997,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1200},
  pages        = {177--188},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0023458},
  doi          = {10.1007/BFB0023458},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/WeiseL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Weise95,
  author       = {Carsten Weise},
  title        = {Entscheidungsalgorithmen f{\"{u}}r {\"{A}}quivalenzen in
                  Echtzeit-Prozesskalk{\"{u}}len mit dichtem Zeitbereich},
  school       = {{RWTH} Aachen University, Germany},
  year         = {1995},
  url          = {https://d-nb.info/948865881},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Weise95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LarsenSW95,
  author       = {Kim Guldstrand Larsen and
                  Bernhard Steffen and
                  Carsten Weise},
  editor       = {Rajeev Alur and
                  Thomas A. Henzinger and
                  Eduardo D. Sontag},
  title        = {Fischer's Protocol Revisited: {A} Simple Proof Using Modal Constraints},
  booktitle    = {Hybrid Systems {III:} Verification and Control, Proceedings of the
                  {DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
                  October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1066},
  pages        = {604--615},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0020979},
  doi          = {10.1007/BFB0020979},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/LarsenSW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LaroussinieLW95,
  author       = {Fran{\c{c}}ois Laroussinie and
                  Kim Guldstrand Larsen and
                  Carsten Weise},
  editor       = {Jir{\'{\i}} Wiedermann and
                  Petr H{\'{a}}jek},
  title        = {From Timed Automata to Logic - and Back},
  booktitle    = {Mathematical Foundations of Computer Science 1995, 20th International
                  Symposium, MFCS'95, Prague, Czech Republic, August 28 - September
                  1, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {969},
  pages        = {529--539},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60246-1\_158},
  doi          = {10.1007/3-540-60246-1\_158},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/LaroussinieLW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LarsenSW95,
  author       = {Kim Guldstrand Larsen and
                  Bernhard Steffen and
                  Carsten Weise},
  editor       = {Ed Brinksma and
                  Rance Cleaveland and
                  Kim Guldstrand Larsen and
                  Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Constraint Oriented Proof Methodology Based on Modal Transition
                  Systems},
  booktitle    = {Tools and Algorithms for Construction and Analysis of Systems, First
                  International Workshop, {TACAS} '95, Aarhus, Denmark, May 19-20, 1995,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1019},
  pages        = {17--40},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60630-0\_2},
  doi          = {10.1007/3-540-60630-0\_2},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/LarsenSW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LarsenSW94,
  author       = {Kim Guldstrand Larsen and
                  Bernhard Steffen and
                  Carsten Weise},
  editor       = {Manfred Broy and
                  Stephan Merz and
                  Katharina Spies},
  title        = {The Methodology of Modal Constraints},
  booktitle    = {Formal Systems Specification, The RPC-Memory Specification Case Study
                  (the book grow out of a Dagstuhl Seminar, September 1994)},
  series       = {Lecture Notes in Computer Science},
  volume       = {1169},
  pages        = {405--435},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0024437},
  doi          = {10.1007/BFB0024437},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/LarsenSW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/WeiseM93,
  author       = {Carsten Weise and
                  Tiziana Margaria},
  title        = {Continuous Real Time Models in Practice},
  booktitle    = {Fifth Euromicro Workshop on Real-Time Systems, {RTS} 1993, Oulu, Finland,
                  June 22-24, 1993. Proceedings},
  pages        = {8--13},
  publisher    = {{IEEE}},
  year         = {1993},
  url          = {https://doi.org/10.1109/EMWRT.1993.638859},
  doi          = {10.1109/EMWRT.1993.638859},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ecrts/WeiseM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/SteffenW93,
  author       = {Bernhard Steffen and
                  Carsten Weise},
  editor       = {Andrzej M. Borzyszkowski and
                  Stefan Sokolowski},
  title        = {Deciding Testing Equivalence for Real-Time Processes with Dense Time},
  booktitle    = {Mathematical Foundations of Computer Science 1993, 18th International
                  Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {711},
  pages        = {703--713},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57182-5\_61},
  doi          = {10.1007/3-540-57182-5\_61},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/SteffenW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tat/FrohlingsW92,
  author       = {Ulrich Fr{\"{o}}hlings and
                  Carsten Weise},
  editor       = {Martin Baumann and
                  Reinhard Grebe},
  title        = {Parallelisierung objekt-basierter Programme auf einem Transputer-Netzwerk},
  booktitle    = {Parallele Datenverarbeitung mit dem Transputer, 4. Transputer-Anwender-Treffen
                  {TAT} '92, Aachen, 22.-23. September 1992},
  series       = {Informatik Aktuell},
  pages        = {101--111},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 26 Oct 2017 07:55:37 +0200},
  biburl       = {https://dblp.org/rec/conf/tat/FrohlingsW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics