Veröffentlichungen des Instituts

2013
Jon Sneyers, Daniel De Schreye and Thom Fruehwirth. Probabilistic Legal Reasoning in CHRiSM, Selected Papers of the 29th International Conference on Logic Programming (ICLP 2013), Theory and Practice of Logic Programming, volume 13, Special Issue 4-5, pp. 769-781, Cambridge University Press, 2013.
Amira Zaki, Thom Fruehwirth and Slim Abdennadher. Towards Inverse Execution of Constraint Handling Rules, 29th International Conference on Logic Programming (ICLP 2013), Theory and Practice of Logic Programming, volume 13, 4-5-Online-Supplement, Cambridge University Press, 2013.
Amira Zaki, Matthias Rau, and Thom Fruehwirth. CHR-IDE: An Eclipse Plug-In for Constraint Handling Rules, In Henning Christiansen and Jon Sneyers (editors), CHR 2013: Proc. 10th Workshop on Constraint Handling Rules, K.U.Leuven, Department of Computer Science, Technical report CW 641, July 2013.
Jon Sneyers, Daniel De Schreye and Thom Fruehwirth. CHRiSM and Probabilistic Argumentation Logic, In Henning Christiansen and Jon Sneyers (editors), CHR 2013: Proc. 10th Workshop on Constraint Handling Rules, K.U.Leuven, Department of Computer Science, Technical report CW 641, July 2013.
Betz, H. and T. Frühwirth. Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction, ACM Transactions on Computational Logic (TOCL) Volume 14, Number 1, ACM New York, USA, 2013.
2012
Saad, A., C. Gervet and T. Frühwirth: CDF-Intervals Revisited, The Eleventh International Workshop on Constraint Modelling and Reformulation (ModRef 2012), Quebec City, Canada, October 2012.
Wielemaker, J., T. Frühwirth, L. Koninck, M. Triska and M. Uneson: SWI Prolog Reference Manual 6.2.2, ISBN 978-3-84-822617-7, BOD, September 2012.
Sneyers, J. and T. Frühwirth (editors): Proceedings of the 9th International Workshop on Constraint Handling Rules (CHR 2012), Report CW 624, Department of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium, September 2012.
Bolock, A., A. Zaki and T. Frühwirth: Substitution-based CHR Solver for Bivariate Binomial Equation Sets, CHR 2012: Ninth International Workshop on Constraint Handling Rules, Budapest, Hungary, September 2012.
Zaki, A., T. Frühwirth and I. Geller: Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit, CHR 2012: Ninth International Workshop on Constraint Handling Rules, Budapest, Hungary, September 2012.
Triossi, A., S. Orlando, A. Raffaeta and T. Frühwirth: Compiling CHR to parallel hardware, PPDP 2012: 14th International Symposium on Association for Computing Machinery Principles and Practice of Declarative Programming, Leuven, Belgium, September 2012.
Breckel, A.: Error Mining: Bug Detection through Comparison with Large Code Databases. In Proceedings of the 9th International Working Conference on Mining Software Repositories, MSR 2012
Guttmann, W.: Algebras for Iteration and Infinite Computations. Acta Informatica, 2012. To appear.
Guttmann, W.: Extended Designs Algebraically. Science of Computer Programming, 2012. To appear.
Guttmann, W.: Unifying Lazy and Strict Computations. In: Griffin, T. G. und W. Kahl (Herausgeber): Relational and Algebraic Methods in Computer Science, Lecture Notes in Computer Science. Springer-Verlag, 2012. To appear.
Guttmann, W.: Typing Theorems of Omega Algebra. Journal of Logic and Algebraic Programming, 2012. [ http://dx.doi.org/10.1016/j.jlap.2012.05.002 ]
Guttmann, W.: Unifying Correctness Statements. In: Gibbons, J. und P. Nogueira (Herausgeber): Mathematics of Program Construction, Band 7342 der Reihe Lecture Notes in Computer Science, Seiten 198-219. Springer-Verlag, 2012.
2011
Frühwirth, T. und F. Raiser (Herausgeber): Constraint Handling Rules: Compilation, Execution, and Analysis. Books on Demand, 2011. ISBN 978-3-83-911591-6.
Foreword and Appendix. In: Frühwirth, T. und F. Raiser (Herausgeber): Constraint Handling Rules: Compilation, Execution, and Analysis. Books on Demand, 2011. ISBN 978-3-83-911591-6.
Gessenharter, D. und M. Rauscher: Code Generation for UML 2 Activity Diagrams: Towards a Comprehensive Model-Driven Development Approach. In: France, R. B., J. M. Küster, B. Bordbar und R. F. Paige (Herausgeber): Modelling Foundations and Applications, Band 6698 der Reihe Lecture Notes in Computer Science, Seiten 205-220. Springer-Verlag, 2011. [ http://dx.doi.org/10.1007/978-3-642-21470-7_15 ]
Guttmann, W.: Towards a Typed Omega Algebra. In: Swart, H. de (Herausgeber): Relational and Algebraic Methods in Computer Science, Band 6663 der Reihe Lecture Notes in Computer Science, Seiten 196-211. Springer-Verlag, 2011. [ http://dx.doi.org/10.1007/978-3-642-21070-9_16 ]
Guttmann, W.: Fixpoints for General Correctness. Journal of Logic and Algebraic Programming, 80(6):248-265, August 2011. [ http://dx.doi.org/10.1016/j.jlap.2011.04.004 ]
Guttmann, W., G. Struth und T. Weber: A Repository for Tarski-Kleene Algebras. In: Höfner, P., A. McIver und G. Struth (Herausgeber): Automated Theory Engineering, Band 760 der Reihe CEUR Workshop Proceedings, Seiten 30-39, 2011. [ http://ceur-ws.org/Vol-760/paper5.pdf ]
Guttmann, W., G. Struth und T. Weber: Automating Algebraic Methods in Isabelle. In: Qin, S. und Z. Qiu (Herausgeber): Formal Methods and Software Engineering, Band 6991 der Reihe Lecture Notes in Computer Science, Seiten 617-632. Springer-Verlag, 2011. [ http://dx.doi.org/10.1007/978-3-642-24559-6_41 ]
Langbein, J., R. Stelzer und T. Frühwirth: A Rule-Based Approach to Long-Term Routing for Autonomous Sailboats. In: Schlaefer, A. und O. Blaurock (Herausgeber): Robotic Sailing: Proceedings of the 4th International Robotic Sailing Conference, Seiten 195-204. Springer-Verlag, 2011. [ http://dx.doi.org/10.1007/978-3-642-22836-0_14 ]
Partsch, H., M. Dausend, D. Gessenharter, J. Kohlmeyer und A. Raschke: From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development. International Journal of Software and Informatics, 5(1-2, Part II):291-312, 2011.
Raiser, F. und T. Frühwirth: Analysing graph transformation systems through constraint handling rules. Theory and Practice of Logic Programming, 11(1):65-109, Januar 2011. [ http://dx.doi.org/10.1017/S1471068410000438 ]
2010
Betz, H., F. Raiser und T. Frühwirth: A Complete and Terminating Execution Model for Constraint Handling Rules. Ulmer Informatik-Berichte 2010-01, Universität Ulm, Januar 2010. [ http://vts.uni-ulm.de/doc.asp?id=7193 ]
Betz, H., F. Raiser und T. Frühwirth: Persistent Constraints in Constraint Handling Rules. In: Geske, U. und A. Wolf (Herausgeber): Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009, Seiten 155-166. Universitätsverlag Potsdam, März 2010. [ http://opus.kobv.de/ubp/volltexte/2010/4154/ ]
Betz, H., F. Raiser und T. Frühwirth: A Complete and Terminating Execution Model for Constraint Handling Rules. Theory and Practice of Logic Programming, 10(4-6):597-610, Juli 2010. [ http://dx.doi.org/10.1017/S147106841000030X ]
Dausend, M. und M. Poguntke: Spezifikation multimodaler Interaktionsanwendungen mit UML. In: Ziegler, J. und A. Schmidt (Herausgeber): Mensch & Computer 2010, Seiten 215-224. Oldenbourg, 2010. [ http://mc.informatik.uni-hamburg.de/konferenzbaende/mc2010/p215.pdf ]
Geiselhart, F., F. Raiser, J. Sneyers und T. Frühwirth: MTSeq: Multi-touch-enabled CHR-based Music Generation and Manipulation. In: Van Weert, P. und L. De Koninck (Herausgeber): Proceedings of the 7th International Workshop on Constraint Handling Rules, Nummer CW 588 in Report, Seiten 41-46. Departement of Computer Science, Katholieke Universiteit Leuven, Mai 2010. [ http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW588.pdf ]
Gessenharter, D.: Extending the UML Semantics for a Better Support of Model Driven Software Development. In: Arabnia, H. R., H. Reza, L. Deligiannidis, J. J. Cuadrado-Gallego, V. Schmidt und A. M. G. Solo (Herausgeber): Proceedings of the 2010 International Conference on Software Engineering Research and Practice (SERP 2010), Band 1, Seiten 45-51, Juli 2010.
Gessenharter, D.: UML Activities at Runtime: Experiences of Using Interpreters and Running Generated Code. In: Trujillo, J., G. Dobbie, H. Kangassalo, S. Hartmann, M. Kirchberg, M. Rossi, I. Reinhartz-Berger, E. Zimányi und F. Frasincar (Herausgeber): Advances in Conceptual Modeling: Applications and Challenges, Band 6413 der Reihe Lecture Notes in Computer Science, Seiten 275-284. Springer-Verlag, 2010. [ http://dx.doi.org/10.1007/978-3-642-16385-2_34 ]
Guttmann, W.: Partial, Total and General Correctness. In: Bolduc, C., J. Desharnais und B. Ktari (Herausgeber): Mathematics of Program Construction, Band 6120 der Reihe Lecture Notes in Computer Science, Seiten 157-177. Springer-Verlag, 2010. [ http://dx.doi.org/10.1007/978-3-642-13321-3_11 ]
Guttmann, W.: Lazy UTP. In: Butterfield, A. (Herausgeber): Unifying Theories of Programming, Second International Symposium, UTP 2008, Band 5713 der Reihe Lecture Notes in Computer Science, Seiten 82-101. Springer-Verlag, 2010. [ http://dx.doi.org/10.1007/978-3-642-14521-6_6 ]
Guttmann, W.: Imperative Abstractions for Functional Actions. Journal of Logic and Algebraic Programming, 79(8):768-793, November 2010. [ http://dx.doi.org/10.1016/j.jlap.2010.07.015 ]
Guttmann, W.: Unifying Recursion in Partial, Total and General Correctness. In: Qin, S. (Herausgeber): Unifying Theories of Programming, Third International Symposium, UTP 2010, Band 6445 der Reihe Lecture Notes in Computer Science, Seiten 207-225. Springer-Verlag, 2010. [ http://dx.doi.org/10.1007/978-3-642-16690-7_10 ]
Guttmann, W. und B. Möller: Normal Design Algebra. Journal of Logic and Algebraic Programming, 79(2):144-173, Februar 2010. [ http://dx.doi.org/10.1016/j.jlap.2009.07.002 ]
Kohlmeyer, J. und W. Guttmann: Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams. In: Pnueli, A., I. Virbitskaite und A. Voronkov (Herausgeber): Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Band 5947 der Reihe Lecture Notes in Computer Science, Seiten 206-217. Springer-Verlag, 2010. [ http://dx.doi.org/10.1007/978-3-642-11486-1_18 ]
Langbein, J., F. Raiser und T. Frühwirth: A State Equivalence and Confluence Checker for CHR. In: Van Weert, P. und L. De Koninck (Herausgeber): Proceedings of the 7th International Workshop on Constraint Handling Rules, Nummer CW 588 in Report, Seiten 1-7. Departement of Computer Science, Katholieke Universiteit Leuven, Mai 2010. [ http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW588.pdf ]
Partsch, H.: Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme. Springer-Verlag, zweite, überarbeitete und erweiterte Auflage, 2010.
Raiser, F.: Graph Transformation Systems in Constraint Handling Rules: Improved Methods for Program Analysis. Doktorarbeit, Universität Ulm, November 2010.
2009
Frühwirth, T.: Constraint Handling Rules. Cambridge University Press, 2009. [ http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521877763 ]
Gessenharter, D.: Implementing UML Associations in Java: A Slim Code Pattern for a Complex Modeling Concept. In: Relationships and Associations in Object-Oriented Languages, Seiten 17-24. ACM, 2009. [ http://doi.acm.org/10.1145/1562100.1562104 ]
Guttmann, W.: General Correctness Algebra. In: Berghammer, R., A. M. Jaoua und B. Möller (Herausgeber): Relations and Kleene Algebra in Computer Science, Band 5827 der Reihe Lecture Notes in Computer Science, Seiten 150-165. Springer-Verlag, 2009. [ http://dx.doi.org/10.1007/978-3-642-04639-1_11 ]
Kohlmeyer, J.: Eine formale Semantik für die Verknüpfung von Verhaltensbeschreibungen in der UML 2. Doktorarbeit, Universität Ulm, Juli 2009.
Kohlmeyer, J. und W. Guttmann: Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams. In: Pnueli, A., I. Virbitskaite und A. Voronkov (Herausgeber): Perspectives of System Informatics: Proceedings of the Seventh International Andrei Ershov Memorial Conference, Seiten 159-166. A. P. Ershov Institute of Informatics Systems, Novosibirsk, Juni 2009.
Leuser, J., N. Porta, A. Bolz und A. Raschke: Empirical Validation of a Requirements Engineering Process Guide. In: Budgen, D., M. Turner und M. Niazi (Herausgeber): 13th International Conference on Evaluation and Assessment in Software Engineering (EASE), Electronic Workshops in Computing. The British Computer Society, April 2009. [ http://www.bcs.org/server.php?show=ConWebDoc.25020 ]
Raiser, F.: Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules. In: Hill, P. M. und D. S. Warren (Herausgeber): Logic Programming: 25th International Conference (ICLP 2009), Band 5649 der Reihe Lecture Notes in Computer Science, Seiten 540-541. Springer-Verlag, Juli 2009. [ http://dx.doi.org/10.1007/978-3-642-02846-5_54 ]
Raiser, F., H. Betz und T. Frühwirth: Equivalence of CHR States Revisited. In: Raiser, F. und J. Sneyers (Herausgeber): CHR 2009: Proceedings of the Sixth International Workshop on Constraint Handling Rules, Nummer CW 555 in Technical Report, Seiten 34-48. Departement Computerwetenschappen, Katholieke Universiteit Leuven, Juli 2009. [ http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW555.pdf ]
Raiser, F. und T. Frühwirth: Strong joinability analysis for graph transformation systems in CHR. In: Corradini, A. (Herausgeber): Preliminary Proceedings of the 5th International Workshop on Computing with Terms and Graphs (TERMGRAPH), Seiten 97-112, 2009.
Raiser, F. und T. Frühwirth: Operational Equivalence of Graph Transformation Systems. In: Raiser, F. und J. Sneyers (Herausgeber): CHR 2009: Proceedings of the Sixth International Workshop on Constraint Handling Rules, Nummer CW 555 in Technical Report, Seiten 49-61. Departement Computerwetenschappen, Katholieke Universiteit Leuven, Juli 2009. [ http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW555.pdf ]
Raiser, F. und T. Frühwirth: Strong Joinability Analysis for Graph Transformation Systems in CHR. In: Corradini, A. (Herausgeber): Proceedings of the Fifth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009), Band 253 der Reihe Electronic Notes in Theoretical Computer Science, Seiten 91-111, November 2009.
Raiser, F. und J. Sneyers (Herausgeber): CHR 2009: Proceedings of the Sixth International Workshop on Constraint Handling Rules, Nummer CW 555 in Technical Report. Departement Computerwetenschappen, Katholieke Universiteit Leuven, Juli 2009. [ http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW555.pdf ]
Raschke, A.: Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking. In: 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Seiten 149-154. IEEE Computer Society, August 2009.
Raschke, A.: Zur automatischen Verifikation von UML 2 Aktivitätsdiagrammen. Doktorarbeit, Universität Ulm, Oktober 2009.
2008
Cuenot, P., P. Frey, R. Johannson, H. Lönn, M.-O. Reiser, D. Servat, R. Tavakoli Kolagari und D.-J. Chen: Developing Automotive Products using the EAST-ADL2, an AUTOSAR Compliant Architecture Description Language. In: 4th European Congress on Embedded Real Time Software (ERTS 2008), Januar 2008.
Cuenot, P., P. Frey, R. Johansson, H. Lönn, M. Törngren und C.-J. Sjöstedt: Engineering Support For Automotive Embedded Systems: Beyond AUTOSAR. In: FISITA 2008 World Automotive Congress, Nummer F2008-05-053, September 2008.
Djelloul, K., T.-B.-H. Dao und T. Frühwirth: Theory of finite or infinite trees revisited. Theory and Practice of Logic Programming, 8(4):431-489, Juli 2008. [ http://dx.doi.org/10.1017/S1471068407003171 ]
Ferdinand, C., P. Frey, R. Heckmann und K. Richter: Timing Correctness and Model-Based Software Development for Safety-Critical Automotive Applications: An Integrated, Tool-Supported Workflow. In: Automotive Safety & Security 2008, November 2008.
Frey, P. und U. Freund: Model-Based AUTOSAR Integration of an Engine Management System. In: 8. Internationales Stuttgarter Symposium: Automobil- und Motorentechnik, März 2008.
Frey, P. und U. Freund: Integrating Timing Aspects in Model- and Component Based Embedded Control System Development for Automotive Applications. In: Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Informatik-Bericht 2008-02, Seiten 40-56. TU Braunschweig, April 2008. [ http://www.sse-tubs.de/mbees-dagstuhl/ ]
Frühwirth, T.: Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR. In: Fages, F., F. Rossi und S. Soliman (Herausgeber): Recent Advances in Constraints: 12th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Band 5129 der Reihe Lecture Notes in Computer Science, Seiten 91-108. Springer-Verlag, 2008. [ http://dx.doi.org/10.1007/978-3-540-89812-2_7 ]
Frühwirth, T.: Welcome to Constraint Handling Rules. In: Schrijvers, T. und T. Frühwirth (Herausgeber): Constraint Handling Rules: Current Research Topics, Band 5388 der Reihe Lecture Notes in Computer Science, Seiten 1-15. Springer-Verlag, 2008. [ http://dx.doi.org/10.1007/978-3-540-92243-8_1 ]
Gessenharter, D.: Mapping the UML2 Semantics of Associations to a Java Code Generation Model. In: Czarnecki, K., I. Ober, J.-M. Bruel, A. Uhl und M. Völter (Herausgeber): Model Driven Engineering Languages and Systems, Band 5301 der Reihe Lecture Notes in Computer Science, Seiten 813-827. Springer-Verlag, 2008. [ http://dx.doi.org/10.1007/978-3-540-87875-9_56 ]
Guttmann, W.: Lazy Relations. In: Berghammer, R., B. Möller und G. Struth (Herausgeber): Relations and Kleene Algebra in Computer Science, Band 4988 der Reihe Lecture Notes in Computer Science, Seiten 138-154. Springer-Verlag, 2008. [ http://dx.doi.org/10.1007/978-3-540-78913-0_12 ]
Guttmann, W.: Algebraic Foundations of the Unifying Theories of Programming. In: Wagner, D. et al. (Herausgeber): Ausgezeichnete Informatikdissertationen 2007, Band D-8 der Reihe Lecture Notes in Informatics, Seiten 141-150. Gesellschaft für Informatik, 2008.
Guttmann, W.: Lazy UTP. In: Butterfield, A. (Herausgeber): Second International Symposium on the Unifying Theories of Programming (UTP 08), Seiten 253-272. Trinity College Dublin, Ireland, September 2008.
Haemmerlé, R. und H. Betz: Verification of Constraint Handling Rules using Linear Logic Phase Semantics. In: Schrijvers, T., F. Raiser und T. Frühwirth (Herausgeber): CHR 2008, The 5th Workshop on Constraint Handling Rules, Seiten 67-78, Juli 2008.
Hürster, C., H. Omasreiter und T. Schwinn: The problem of traceability and its handling in complex decision processes. In: Proceedings of the 20th International Conference on Systems Research, Informatics and Cybernetics, InterSymp: Special Focus Symposium on Engineering and Management of IT-based Organizational Systems: A Systems Approach, Juli 2008.
Kohlmeyer, J.: Executing UML 2 Diagrams in ActiveCharts - A formal Semantics for the Combination of Behavior Specifications in the UML 2. In: Bertelle, C. und A. Ayesh (Herausgeber): Proceedings of the 2008 European Simulation and Modelling Conference, Seiten 94-101, Oktober 2008.
Meister, M.: Advances in Constraint Handling Rules. Doktorarbeit, Universität Ulm, Juni 2008.
Raiser, F.: Semi-Automatic Generation of CHR Solvers from Global Constraint Automata. Ulmer Informatik-Berichte 2008-03, Universität Ulm, Februar 2008. [ http://vts.uni-ulm.de/doc.asp?id=6322 ]
Raiser, F.: Semi-automatic generation of CHR solvers for global constraints. In: Stuckey, P. J. (Herausgeber): Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Band 5202 der Reihe Lecture Notes in Computer Science, Seiten 588-592. Springer-Verlag, September 2008. [ http://dx.doi.org/10.1007/978-3-540-85958-1_47 ]
Raiser, F. und T. Frühwirth: Towards Term Rewriting Systems in Constraint Handling Rules. In: Schrijvers, T., F. Raiser und T. Frühwirth (Herausgeber): CHR 2008, The 5th Workshop on Constraint Handling Rules, Seiten 19-33, Juli 2008.
Schrijvers, T. und T. Frühwirth (Herausgeber): Constraint Handling Rules: Current Research Topics, Band 5388 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 2008. [ http://www.springer.com/978-3-540-92242-1 ]
Schrijvers, T., F. Raiser und T. Frühwirth (Herausgeber): CHR 2008, The 5th Workshop on Constraint Handling Rules, Nummer 08-10 in RISC-Linz Report Series. Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Juli 2008. [ http://www.risc.uni-linz.ac.at/publications/download/risc_3449/proceedings.pdf ]
Sneyers, J. und T. Frühwirth: Generalized CHR Machines. In: Schrijvers, T., F. Raiser und T. Frühwirth (Herausgeber): CHR 2008, The 5th Workshop on Constraint Handling Rules, Seiten 143-157, Juli 2008.
Sobhi, I., S. Abdennadher und H. Betz: Constructing Rule-Based Solvers for Intentionally-Defined Constraints. In: Schrijvers, T. und T. Frühwirth (Herausgeber): Constraint Handling Rules: Current Research Topics, Band 5388 der Reihe Lecture Notes in Computer Science, Seiten 70-84. Springer-Verlag, 2008. [ http://dx.doi.org/10.1007/978-3-540-92243-8_4 ]
Tavakoli Kolagari, R., A. Raschke, M. Schneiderhan und I. Alexander: Entscheidungsdokumentation bei der Entwicklung innovativer Systeme für produktlinien-basierte Entwicklungsprozesse. Ulmer Informatik-Berichte 2008-04, Universität Ulm, Februar 2008. [ http://vts.uni-ulm.de/doc.asp?id=6323 ]
Veanes, M., N. Bjørner und A. Raschke: An SMT Approach to Bounded Reachability Analysis of Model Programs. In: Suzuki, K., T. Higashino, K. Yasumoto und K. El-Fakih (Herausgeber): Formal Techniques for Networked and Distributed Systems: FORTE 2008, Band 5048 der Reihe Lecture Notes in Computer Science, Seiten 53-68. Springer-Verlag, 2008. [ http://dx.doi.org/10.1007/978-3-540-68855-6_4 ]
2007
Betz, H.: A Linear-Logic Semantics for Constraint Handling Rules with Disjunction. In: Djelloul, K., G. J. Duck und M. Sulzmann (Herausgeber): Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Seiten 17-31, September 2007.
Betz, H.: Relating Coloured Petri Nets to Constraint Handling Rules. In: Djelloul, K., G. J. Duck und M. Sulzmann (Herausgeber): Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Seiten 33-47, September 2007.
Djelloul, K., T.-B.-H. Dao und T. Frühwirth: Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. In: Hung, C. C. und A. Rosa (Herausgeber): Proceedings of the 2007 ACM symposium on Applied computing, SAC 2007, Seiten 58-64. ACM Press, 2007. [ http://doi.acm.org/10.1145/1244002.1244016 ]
Frey, P. und U. Freund: AUTOSAR compliant reengineering of an Engine Management System. In: Gehrke, M., H. Giese und J. Stroop (Herausgeber): Preliminary Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER4), Seiten 18-24, Oktober 2007. [ http://omer4.upb.de/en/index_en.htm ]
Frühwirth, T.: Description Logic and Rules the CHR Way. In: Djelloul, K., G. J. Duck und M. Sulzmann (Herausgeber): Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Seiten 49-61, September 2007.
Gerlich, R.: Integrierte Testkonzepte: Von der Theorie zur Praxis und zurück. In: Bleek, W.-G., H. Schwentner und H. Züllighoven (Herausgeber): Software Engineering 2007: Beiträge zu den Workshops, Band P-106 der Reihe Lecture Notes in Informatics, Seiten 113-122. Gesellschaft für Informatik, 2007.
Gessenharter, D., A.-M. Merten, N. F. Porta und A. Raschke: Experiences on Using Software Experiments in the Validation of Industrial Research Questions. In: Abran, A., R. Dumke und A. Mas (Herausgeber): Proceedings of the IWSM-Mensura 2007, Seiten 279-288, 2007.
Guttmann, W.: Algebraic Foundations of the Unifying Theories of Programming. Doktorarbeit, Universität Ulm, Dezember 2007.
Hürster, C. D.: Risikomanagement: Minimalscope für IT-Großprojekte. In: Bleek, W.-G., H. Schwentner und H. Züllighoven (Herausgeber): Software Engineering 2007: Beiträge zu den Workshops, Band P-106 der Reihe Lecture Notes in Informatics, Seiten 329-332. Gesellschaft für Informatik, 2007.
Meister, M.: Concurrency of the Preflow-Push Algorithm in Constraint Handling Rules. In: Fages, F., F. Rossi und S. Soliman (Herausgeber): Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop, Seiten 160-169, Juni 2007.
Meister, M., K. Djelloul und T. Frühwirth: Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. In: Azevedo, F., P. Barahona, F. Fages und F. Rossi (Herausgeber): Recent Advances in Constraints: 11th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, Band 4651 der Reihe Lecture Notes in Computer Science, Seiten 139-153. Springer-Verlag, 2007.
Meister, M., K. Djelloul und J. Robin: A Unified Semantics for Constraint Handling Rules in Transaction Logic. In: Baral, C., G. Brewka und J. Schlipf (Herausgeber): Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Band 4483 der Reihe Lecture Notes in Computer Science, Seiten 201-213. Springer-Verlag, 2007. [ http://dx.doi.org/10.1007/978-3-540-72200-7_18 ]
Meister, M., K. Djelloul und J. Robin: Une sémantique complète pour CHR en logique des transactions. In: Deransart, P. (Herausgeber): Programmation par Contraintes, Troisièmes Journées Francophones, Seiten 130-138, Juni 2007. [ http://hal.inria.fr/inria-00151149/en/ ]
Meister, M. und T. Frühwirth: Reconstructing almost-linear Tree Equation Solving Algorithms in CHR. In: Fages, F., F. Rossi und S. Soliman (Herausgeber): Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop, Seiten 123-137, Juni 2007.
Miller, S., T. Kasper, M. Schneiderhan und A. Raschke: A defect-based experiment for analysing and comparing software engineering processes. In: Jedlitschka, A. und M. Ciolkowski (Herausgeber): Experience on applying quantitative and qualitative empiricism to software engineering (5th International Workshop on Empirical Studies in Software Engineering), Nummer 062.07/E in IESE-Report, Seiten 31-38. Fraunhofer IESE, 2007. [ http://publica.fraunhofer.de/eprints/urn:nbn:de:0011-n-591678.pdf ]
Raiser, F.: Graph Transformation Systems in CHR. In: Dahl, V. und I. Niemelä (Herausgeber): Logic Programming, 23rd International Conference, ICLP 2007, Band 4670 der Reihe Lecture Notes in Computer Science, Seiten 240-254. Springer-Verlag, 2007. [ http://dx.doi.org/10.1007/978-3-540-74610-2_17 ]
Raiser, F. und P. Tacchella: On Confluence of Non-terminating CHR Programs. In: Djelloul, K., G. J. Duck und M. Sulzmann (Herausgeber): Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Seiten 63-76, September 2007.
Sarstedt, S. und W. Guttmann: An ASM Semantics of Token Flow in UML 2 Activity Diagrams. In: Virbitskaite, I. und A. Voronkov (Herausgeber): Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Band 4378 der Reihe Lecture Notes in Computer Science, Seiten 349-362. Springer-Verlag, 2007. [ http://dx.doi.org/10.1007/978-3-540-70881-0_30 ]
Sarstedt, S., J. Kohlmeyer, A. Raschke und D. Gessenharter: ActiveCharts: Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen. OBJEKTspektrum, (6), 2007. [ http://www.sigs.de/publications/os/2007/06/sarstedt_kohlmeyer_OS_06_07.pdf ]
Schwinn, T. und C. D. Hürster: Refactoring based on systematic analysis with a practical tool. In: Proceedings of the 20th International Conference on Software & Systems Engineering and their Applications, ICSSEA, Dezember 2007.
Sjöstedt, C.-J., D.-J. Chen, P. Cuenot, P. Frey, R. Johansson, H. Lönn, D. Servat und M. Törngren: Developing Dependable Automotive Embedded Systems using the EAST-ADL; representing continuous time systems in SysML. In: Fritzson, P., F. Cellier und C. Nytsch-Geusen (Herausgeber): Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, Linköping Electronic Conference Proceedings, Seiten 25-36. Linköping University Electronic Press, Linköpings universitet, Juli 2007. [ http://www.ep.liu.se/ecp/024/003/ ]
2006
Djelloul, K. und T.-B.-H. Dao: Extension of First-Order Theories into Trees. In: Calmet, J., T. Ida und D. Wang (Herausgeber): Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Band 4120 der Reihe Lecture Notes in Computer Science, Seiten 53-67. Springer-Verlag, 2006. [ http://dx.doi.org/10.1007/11856290_7 ]
Frühwirth, T.: Constraint Handling Rules: The Story So Far. In: Maher, M. (Herausgeber): Proceedings of the Eigth ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Seiten 13-14. ACM Press, 2006. [ http://doi.acm.org/10.1145/1140335.1140337 ]
Frühwirth, T.: Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains. In: Hnich, B., M. Carlsson, F. Fages und F. Rossi (Herausgeber): Recent Advances in Constraints, CSCLP 2005, Band 3978 der Reihe Lecture Notes in Computer Science, Seiten 14-28. Springer-Verlag, 2006. [ http://dx.doi.org/10.1007/11754602_2 ]
Frühwirth, T.: Deriving Linear-Time Algorithms from Union-Find in CHR. In: Schrijvers, T. und T. Frühwirth (Herausgeber): Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules, Nummer CW 452 in Technical Report, Seiten 49-60. Departement Computerwetenschappen, Katholieke Universiteit Leuven, Juni 2006. [ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf ]
Frühwirth, T. und S. Abdennadher: Principles of constraint systems and constraint solvers. Archives of Control Sciences: Special Issue on Constraint Programming, 16(2), 2006. [ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/acs-systems3.pdf ]
Frühwirth, T., L. Michel und C. Schulte: Constraints in Procedural and Concurrent Languages. In: Rossi, F., P. van Beek und T. Walsh (Herausgeber): Handbook of Constraint Programming, Kapitel 13. Elsevier, 2006.
Gerlich, Ralf: Schneller zum Ziel durch integrierte Testautomation. Software-QS-Tag, November 2006. [ http://www.imbus.de/qs-day/2006/vortragsfolien.shtml ]
Gerlich, Ralf, Rainer Gerlich, Thomas Boll und Philippe Chevalley: Improving Test Automation by Deterministic Methods in Statistical Testing. In: Ouwehand, L. (Herausgeber): DASIA 2006: Data Systems in Aerospace, Nummer SP-630. ESA Publications Division, Juli 2006.
Guttmann, W.: Non-termination in Unifying Theories of Programming. In: MacCaull, W., M. Winter und I. Düntsch (Herausgeber): Relational Methods in Computer Science 2005, Band 3929 der Reihe Lecture Notes in Computer Science, Seiten 108-120. Springer-Verlag, 2006. [ http://dx.doi.org/10.1007/11734673_9 ]
Guttmann, W. und M. Maucher: Variations on an Ordering Theme with Constraints. In: Navarro, G., L. Bertossi und Y. Kohayakawa (Herausgeber): Fourth IFIP International Conference on Theoretical Computer Science: TCS 2006, Band 209 der Reihe IFIP International Federation for Information Processing, Seiten 77-90. Springer-Verlag, 2006. [ http://dx.doi.org/10.1007/978-0-387-34735-6_10 ]
Guttmann, W. und B. Möller: Modal Design Algebra. In: Dunne, S. und W. Stoddart (Herausgeber): Unifying Theories of Programming, Band 4010 der Reihe Lecture Notes in Computer Science, Seiten 236-256. Springer-Verlag, 2006. [ http://dx.doi.org/10.1007/11768173_14 ]
Guttmann, W. und B. Möller: Modal Design Algebra. In: Dunne, S. und W. Stoddart (Herausgeber): First International Symposium on the Unifying Theories of Programming (UTP 06), Seiten 206-225. University of Teesside, United Kingdom, Februar 2006.
Guttmann, W. und B. Möller: Normal Design Algebra. Technischer Bericht 2006-28, Institut für Informatik, Universität Augsburg, Dezember 2006. [ http://www.informatik.uni-augsburg.de/lehrstuehle/dbis/pmi/publications/all_pmi_tech-reports/tr-2006-28_gut_moe/ ]
Hammori, M., J. Herbst und N. Kleiner: Interactive Workflow Mining. Data and Knowledge Engineering Journal: Special Issue on Business Process Management, 56(1):41-63, Januar 2006.
Käser, M. und M. Meister: Implementation of an F-Logic Kernel in CHR. In: Schrijvers, T. und T. Frühwirth (Herausgeber): Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules, Nummer CW 452 in Technical Report, Seiten 33-48. Departement Computerwetenschappen, Katholieke Universiteit Leuven, Juni 2006. [ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf ]
Kohlmeyer, J., A. Raschke und R. Tavakoli Kolagari: Eine qualitative Untersuchung zur Produktlinien-Integration über Organisationsgrenzen hinweg. Technischer Bericht UIB-2006-03, Universität Ulm, März 2006.
Meister, M.: Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR. In: Fink, M., H. Tompits und S. Woltran (Herausgeber): Proceedings of WLP 2006, 20th Workshop on Logic Programming, Nummer 1843-06-02 in INFSYS Research Report, Seiten 172-181. Technische Universität Wien, Februar 2006. [ http://www.kr.tuwien.ac.at/wlp06/proceedings.html | http://www.kr.tuwien.ac.at/wlp06/16-final.ps.gz ]
Meister, M. und T. Frühwirth: Complexity of the CHR Rational Tree Equation Solver. In: Schrijvers, T. und T. Frühwirth (Herausgeber): Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules, Nummer CW 452 in Technical Report, Seiten 77-92. Departement Computerwetenschappen, Katholieke Universiteit Leuven, Juni 2006. [ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf ]
Raschke, A., J. Kohlmeyer, H. Partsch, H. Wolf und W. Mader: Virtueller Biobaukasten: Einsatz von Modellierungswerkzeugen aus der Informatik zur Simulation komplexer biologischer Prozesse. In: Haasis, K., A. Heinzl und D. Klumpp (Herausgeber): Aktuelle Trends in der Softwareforschung: Tagungsband zum doIT Software-Forschungstag 2006, Seiten 101-116. dpunkt.verlag, Juli 2006.
Raschke, A. und R. Tavakoli Kolagari: Ein experimenteller Vergleich zwischen einer plan-getriebenen und einer leichtgewichtigen Entwicklungsmethodik zur Spezifikation von eingebetteten Systemen. Technischer Bericht UIB-2006-02, Universität Ulm, März 2006.
Sarstedt, S.: Semantic Foundation and Tool Support for Model-Driven Development with UML 2 Activity Diagrams. Doktorarbeit, Universität Ulm, Juli 2006.
Sarstedt, S.: Model-Driven Development with ActiveCharts: Tutorial. Technischer Bericht UIB-2006-01, Universität Ulm, März 2006. [ http://www.informatik.uni-ulm.de/epin/pw/13250 ]
Sarstedt, S. und W. Guttmann: An ASM Semantics of Token Flow in UML 2 Activity Diagrams. In: Virbitskaite, I. und A. Voronkov (Herausgeber): Perspectives of System Informatics: Proceedings of the Sixth International Andrei Ershov Memorial Conference, Seiten 207-213. A. P. Ershov Institute of Informatics Systems, Novosibirsk, Juni 2006.
Schrijvers, T., B. Demoen, G. Duck, P. Stuckey und T. Frühwirth: Automatic implication checking for CHR constraints. In: Cirstea, H. und N. Martí-Oliet (Herausgeber): Proceedings of the 6th International Workshop on Rule-Based Programming, RULE 2005, Band 147 der Reihe Electronic Notes in Theoretical Computer Science, Seiten 93-111, Januar 2006.
Schrijvers, T. und T. Frühwirth: Programming Pearl: Optimal Union-Find in Constraint Handling Rules. Theory and Practice of Logic Programming, 6(1-2):213-224, Januar 2006. [ http://arxiv.org/abs/cs.PL/0501073 ]
Schrijvers, T. und T. Frühwirth (Herausgeber): Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules, Nummer CW 452 in Technical Report. Departement Computerwetenschappen, Katholieke Universiteit Leuven, Juni 2006. [ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf ]
Tavakoli Kolagari, R. und N. F. Porta: Project-oriented Reuse Approaches: Copy-and-Paste or Software Product Line Engineering? In: Schneider, K. (Herausgeber): Proceedings of the International Workshop on Learning Software Organizations and Requirements Engineering, Seiten 81-97. Universität Hannover, 2006.
2005
Abdennadher, S., T. Frühwirth und C. Holzbaur: Editors, Special Issue on Constraint Handling Rules. Theory and Practice of Logic Programming, 5(4-5), 2005. [ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/tplp-chr/index.html ]
Betz, H. und T. Frühwirth: A Linear-Logic Semantics for Constraint Handling Rules. In: Beek, P. van (Herausgeber): 11th Conference on Principles and Practice of Constraint Programming CP 2005, Band 3709 der Reihe Lecture Notes in Computer Science, Seiten 137-151. Springer-Verlag, Oktober 2005. [ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/llchr-final0.pdf ]
Frühwirth, T.: Specialization of Concurrent Guarded Multi-Set Transformation Rules. In: Etalle, S. (Herausgeber): Logic-based Program Synthesis and Transformation (LOPSTR'04), Band 3573 der Reihe Lecture Notes in Computer Science, Seiten 133-148. Springer-Verlag, 2005. [ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/trans1.pdf ]
Frühwirth, T.: Parallelizing Union-Find in Constraint Handling Rules Using Confluence. In: Gabbrielli, M. und Gupta G. (Herausgeber): Logic Programming: 21st International Conference, ICLP 2005, Band 3668 der Reihe Lecture Notes in Computer Science, Seiten 113-127. Springer-Verlag, Oktober 2005. [ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/puf0.pdf ]
Frühwirth, T.: Logical Rules for a Lexicographic Order Constraint Solver. In: Schrijvers, T. und T. Frühwirth (Herausgeber): Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules, Nummer CW 421 in Technical Report, Seiten 79-91. Departement Computerwetenschappen, Katholieke Universiteit Leuven, September 2005. [ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/chr05-lex0.ps ]
Gehring, W.: Leistungspunktesysteme: Eine erste Bilanz. Universitätsverlag Ulm, Januar 2005. [ http://www.informatik.uni-ulm.de/pm/Rahmenwerk/ ]
Gehring, W.: Leistungspunktesysteme an deutschen Universitäten: Kritische Analyse und Ergebnisse einer summativen Evaluationsstudie. Doktorarbeit, Universität Ulm, 2005. Logos-Verlag.
Guttmann, W.: Non-Termination in Unifying Theories of Programming. In: Düntsch, I. und M. Winter (Herausgeber): 8th International Conference on Relational Methods in Computer Science (RelMiCS 8), Seiten 87-94. Computer Science Department, Brock University, St. Catharines, Ontario, Canada, Februar 2005.
Guttmann, W. und M. Maucher: Constrained Ordering. Technischer Bericht UIB-2005-03, Universität Ulm, Dezember 2005. [ http://www.informatik.uni-ulm.de/epin/pw/12929 ]
Guttmann, W. und B. Möller: Modal Design Algebra. Technischer Bericht 2005-15, Institut für Informatik, Universität Augsburg, September 2005. [ http://www.informatik.uni-augsburg.de/lehrstuehle/dbis/pmi/publications/all_pmi_tech-reports/tr-2005-15_moe/ ]
Kleiner, N.: Delta Analysis with Workflow Logs: Aligning Business Process Prescriptions and their Reality. Requirements Engineering Journal: Special Issue on Coordinated Development of Business Processes and their Support Systems, 10(3):212-222, November 2005.
Sarstedt, S.: Overcoming The Limitations of Signal Handling when Simulating UML 2 Activity Charts. In: Feliz-Teixeira, J. M. und A. E. Carvalho Brito (Herausgeber): Proceedings of the 2005 European Simulation and Modelling Conference (ESM'05), Seiten 61-65, Oktober 2005.
Sarstedt, S., D. Gessenharter, J. Kohlmeyer, A. Raschke und M. Schneiderhan: ActiveChartsIDE: An Integrated Software Development Environment comprising a Component for Simulating UML 2 Activity Charts. In: Feliz-Teixeira, J. M. und A. E. Carvalho Brito (Herausgeber): Proceedings of the 2005 European Simulation and Modelling Conference (ESM'05), Seiten 66-73, Oktober 2005.
Sarstedt, S., J. Kohlmeyer, A. Raschke und M. Schneiderhan: A New Approach to Combine Models and Code in Model Driven Development. In: Arabnia, H. R. und H. Reza (Herausgeber): Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP'05), Band 1, Seiten 396-400, Juni 2005.
Sarstedt, S., J. Kohlmeyer, A. Raschke und M. Schneiderhan: Targeting System Evolution by Explicit Modeling of Control Flows using UML 2 Activity Charts. In: Arabnia, H. R. (Herausgeber): Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC'05), Seiten 237-246, Juni 2005.
Schrijvers, T., B. Demoen, G. Duck, P. Stuckey und T. Frühwirth: Automatic implication checking for CHR constraints. In: 6th International Workshop on Rule-Based Programming, April 2005. [ http://www.cs.kuleuven.ac.be/~dtai/publications/files/41606.pdf ]
Schrijvers, T., B. Demoen, G. J. Duck, P. J. Stuckey und T. Frühwirth: Automatic implication checking for CHR constraint solvers. Technischer Bericht CW 402, Departement Computerwetenschappen, Katholieke Universiteit Leuven, Januar 2005. [ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW402.abs.html ]
Schrijvers, T. und T. Frühwirth: Analysing the CHR Implementation of Union-Find. In: Wolf, A., T. Frühwirth und M. Meister (Herausgeber): 19th Workshop on (Constraint) Logic Programming W(C)LP 2005, Nummer 2005-01 in Ulmer Informatik-Berichte, Seiten 135-146. Universität Ulm, Februar 2005. [ http://www.cs.kuleuven.ac.be/~toms/Research/CHR/docs/wclp-union-find.ps ]
Schrijvers, T. und T. Frühwirth (Herausgeber): Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules, Nummer CW 421 in Technical Report. Departement Computerwetenschappen, Katholieke Universiteit Leuven, September 2005. [ http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW421.abs.html ]
Wolf, A., T. Frühwirth und M. Meister (Herausgeber): 19th Workshop on (Constraint) Logic Programming W(C)LP 2005, Nummer 2005-01 in Ulmer Informatik-Berichte. Universität Ulm, Februar 2005. [ http://www.informatik.uni-ulm.de/epin/pw/11541 ]
2004
Abdennadher, S. und T. Frühwirth: Integration and Optimization of Rule-based Constraint Solvers. In: Bruynooghe, M. (Herausgeber): Logic-based Program Synthesis and Transformation (LOPSTR'03), Band 3018 der Reihe Lecture Notes in Computer Science, Seiten 198-213. Springer-Verlag, 2004. [ http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/paper3.pdf ]
Alexander, I. und R. Tavakoli Kolagari: Putting Scenarios into Practice. In: Alexander, I. und N. Maiden (Herausgeber): Scenarios, Stories, Use Cases, Kapitel 22, Seiten 431-444. John Wiley & Sons, August 2004.
Ballhause, C. und R. Tavakoli Kolagari: Hardware-unabhängige Spezifikation von Steuergeräte-Software. Softwaretechnik-Trends, 24(4):27-29, November 2004.
Birla, S. und R. Tavakoli Kolagari: A Requirements Modeling Framework for High Integrity Software-Intensive Automotive Product Lines. In: Rombach, H. D., S. Eicker, K. Pohl, H. H. Adelsberger, V. Wulf, H. Krcmar und J. M. Pawlowski (Herausgeber): Multikonferenz Wirtschaftsinformatik (MKWI), Band 1: E-Learning: Modelle, Instrumente und Erfahrungen, Software-Produktlinien, Communities in E-Business, Seiten 169-183. Akademische Verlagsgesellschaft Aka GmbH, 2004.
Bistarelli, S., T. Frühwirth, M. Marte und F. Rossi: Soft Constraint Propagation and Solving in Constraint Handling Rules. Computational Intelligence: Special Issue on Preferences in AI and CP, 20(2):287-307, Mai 2004.
Biundo, S., T. Frühwirth und G. Palm (Herausgeber): KI 2004: Advances in Artificial Intelligence, Proccedings of the 27th Annual German Conference on Artificial Intelligence, Band 3238 der Reihe Lecture Notes in Artificial Intelligence. Springer-Verlag, 2004. [ http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-156-22-34544453-0,00.html ]
Biundo, S., T. Frühwirth und G. Palm (Herausgeber): Poster Proceedings of the 27th Annual German Conference on Artificial Intelligence, Nummer 2004-03 in Ulmer Informatik-Berichte. Universität Ulm, September 2004. [ http://www.informatik.uni-ulm.de/epin/pw/11123 ]
Buhr, K. und R. Tavakoli Kolagari: Softwarebasierte Produktlinien: Szenarien für Automobilhersteller und Zulieferer. Softwaretechnik-Trends, 24(4):30-33, November 2004.
Frühwirth, T. und M. Meister (Herausgeber): First Workshop on Constraint Handling Rules: Selected Contributions, Nummer 2004-01 in Ulmer Informatik-Berichte. Universität Ulm, Mai 2004. [ http://www.informatik.uni-ulm.de/epin-data/user/10481.218,UIB_2004-01.pdf ]
Gehring, W.: Leistungspunkte und Module: Erstellung eines Modulkatalogs. In: Leistungspunkte und Modul-Management: Konzepte und Erfahrungen bei Bewertung, Anerkennung und Austausch von Modulen, Leipzig, Seiten 151-157, März 2004.
Gehring, W.: Germany's System of Higher Education in Transition on its Way to Bologna. In: 4th International Academic Conference, Andrzej Frycz Modrzewski Cracow College, Krakau, Poland, Mai 2004.
Gehring, W., P. Salamon, R. E. Whitney und P. Sibani: Correlation structure of landscapes of NP-complete optimization problems at finite temperature. Open Systems and Information Dynamics, 11(2):177-184, Juni 2004.
Häberlein, T.: Understanding Software Acquisition through Modeling and Simulation. Doktorarbeit, Universität Ulm, 2004. Logos-Verlag.
Häberlein, T.: Common Structures in System Dynamics Models of Software Acquisition Projects. Software Process Improvement and Practice, 9(3):67-80, 2004.
Hammori, M., J. Herbst und N. Kleiner: Interactive Workflow Mining. In: Proceedings of the 2nd International Conference on Business Process Management (BPM '04), Potsdam, Juni 2004.
Jaufman, O., A. Dold, T. Häberlein, C. Schlumpberger, M. Stupperich und N. Kleiner: Requirements for Flexible Software Development Processes within Large and Long Taking Projects. In: Proceedings of the 5th Meeting for Quality in Information and Communications Technology (QUATIC'04), Porto, Portugal, Oktober 2004.
Kleiner, N.: Verbesserungsstrategien für den Workflow-Designprozess. Doktorarbeit, Universität Ulm, 2004.
Kleiner, N.: Supporting Usage-Centered Design of Emerging Workflows. In: Proceedings of the 2nd International Conference on Business Process Management (BPM '04), Potsdam, Juni 2004.
Kleiner, N.: Can Business Process Changes be Cheaper Implemented with Workflow Management Systems. In: Proceedings of the 2004 Information Resources Management Association Conference (IRMA '04), New Orleans, USA, Mai 2004.
Puschnig, A. und R. Tavakoli Kolagari: Requirements Engineering in the Development of Innovative Automotive Embedded Software Systems. In: 12th IEEE International Conference on Requirements Engineering, Seiten 328-333. IEEE Computer Society, 2004.
Sarstedt, S., A. Raschke und J. Kohlmeyer: Transparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren. In: Dadam, P. und M. Reichert (Herausgeber): Informatik 2004, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, Band 2, Seiten 408-417, September 2004.
Schmid, M. und J. Kohlmeyer: Combining simulated biological components to achieve a powerful simulation environment. In: Proceedings of the European Simulation and Modelling Conference ESMc2004, Paris, France, Seiten 140-142, Oktober 2004.
Schrijvers, T. und T. Frühwirth: Implementing and Analysing Union-Find in CHR. Technischer Bericht CW 389, Departement Computerwetenschappen, Katholieke Universiteit Leuven, Juli 2004. [ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW389.abs.html ]
Tavakoli Kolagari, R.: Towards a Framework for Requirements Engineering for Automotive Software System Product Lines in an OEM and Supplier Setting. In: Glinz, M. (Herausgeber): Proceedings of the Doctoral Consortium of the 12th IEEE International Conference on Requirements Engineering, Seiten 13-16. IEEE Computer Society, 2004.
Tavakoli Kolagari, R. und A. Puschnig: Entwicklung innovativer eingebetteter Systeme mit Experteneinbindung. In: Konferenzband des 9. Kongress Software-Qualitätsmanagement (SQM), 2004.
Tavakoli Kolagari, R. und A. Raschke: Vergleich von klassischer und agiler Entwicklungsmethodik anhand der Entwicklung eines in Statemate simulierbaren Modells eines Türsteuergerätes. Softwaretechnik-Trends, 24(1):17-18, Februar 2004.
2003
Abdennadher, S. und T. Frühwirth: Integration and Optimization of Rule-based Constraint Solvers. In: International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'03), 2003. [ http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/LOPSTR03-final.ps ]
Frühwirth, T. und S. Abdennadher: Essentials of Constraint Programming. Springer-Verlag, Februar 2003. [ http://www.springer.de/cgi-bin/search_book.pl?isbn=3-540-67623-6 ]
Frühwirth, T. und C. Holzbaur: Source-to-Source Transformation for a Class of Expressive Rules. In: Buccafurri, F. (Herausgeber): Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003 (AGP 2003), Seiten 386-397, 2003. [ http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/gulp03-final.ps ]
Gehring, W.: ECTS und Kreditakkumulation: Das Ulmer Modell. In: Das Sokrates/Erasmus-Programm der EU 1997-2002: Erfahrungen und Erwartungen, Seiten 91-97. Deutscher Akademischer Austauschdienst DAAD, März 2003.
Gehring, W.: Workloaderfassung: Ein Henne-Ei-Problem (?). In: Die Berufsqualifikation und die Arbeitsbelastung der Studierenden: Die qualitativen und quantitativen Gestaltungsgrundlagen für Leistungspunkte in der Hochschulbildung, Weimar, Seiten 54-56, Mai 2003.
Gehring, W.: Current Issues in Higher Education in Germany. In: Achte Internationale Akademische Konferenz am Rivne Institute of Economics and Humanities, Ukraine, Band 2, Seiten 219-220, Oktober 2003.
Guttmann, W., H. Partsch, W. Schulte und T. Vullinghs: Tool Support for the Interactive Derivation of Formally Correct Functional Programs. Journal of Universal Computer Science, 9(2):173-188, März 2003. [ http://dx.doi.org/10.3217/jucs-009-02-0173 ]
Häberlein, T.: A Framework for System Dynamic Models of Software Acquisition Projects. In: International Workshop on Software Process Simulation and Modeling (ProSim'03), Portland, co-located with the International Conference on Software Engineering ICSE'03, Mai 2003.
Herbst, J. und N. Kleiner: Workflow Mining: A Case Study from Automotive Industry. In: Proceedings of the 10th European Concurrent Engineering Conference, Plymouth, UK. SCS Europe Publications, April 2003.
Kleiner, N.: The Focus of Requirements Engineering in Workflow Application Development. In: 15th Conference on Advanced Information Systems Engineering (CAiSE '03), Klagenfurt/Velden, Austria, Workshops Proceedings, Information Systems for a Connected Society, Workshop Requirements Engineering for Business Process Support. RWTH Aachen, SCS Europe Publications, Juni 2003.
Knublauch, H. und T. Rose: Tool-Supported Process Analysis and Design for the Development of Multi-Agent Systems. In: Giunchiglia, F., J. Odell und G. Weiß (Herausgeber): Agent-Oriented Software Engineering III, Third International Workshop, AOSE 2002, Bologna, Italy, Band 2585 der Reihe Lecture Notes in Computer Science, Seiten 186-197. Springer-Verlag, 2003.
Kohlmeyer, J., S. Sarstedt und W. Mader: Modelling and Simulation of a Biological Process (Neural Action Potential) with Hybrid Tools used in Computer Science. In: Proceedings of The 2003 European Simulation and Modelling Conference ESM2003, Seiten 328-332, Oktober 2003.
Omasreiter, H. und R. Tavakoli Kolagari: Ziel- und kundenorientierte Anforderungserstellung mit Abstraktionsebenen als zentraler Erfolgsfaktor bei der Entwicklung von Kfz-Software. In: Konferenzband der Konferenzen CONQUEST, Automation Days und EUROMOTIVE, Seiten 229-239, 2003.
Schlumpberger, C. und D. Ernst: Räumlich verteilte Software-Entwicklung unter experimenteller Betrachtung verteilter Inspektionen - Ein Erfahrungsbericht. In: Siedersleben, J. und D. Weber-Wulff (Herausgeber): Software-Engineering im Unterricht der Hochschulen, SEUH 8, Berlin, Seiten 111-120, 2003.
Schneider, K. und J.-P. von Hunnius: Effective Experience Repositories in SOftware-Engineering. In: 25th International Conference on Software Engineering (ICSE), Portland, 2003.
2002
Alexander, I. und F. Kiedaisch: Towards Recyclable System Requirements. In: Proceedings of the 9th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'02), Lund, Sweden, 2002.
Frühwirth, T.: As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs. In: Di Pierro, A. und H. Wiklicky (Herausgeber): Quantitative Aspects of Programming Laguages, QAPL'01, Band 59 der Reihe Electronic Notes in Theoretical Computer Science, Seiten 185-206, November 2002. [ http://www.elsevier.com/gej-ng/31/29/23/89/54/25/59.3.003.ps ]
Frühwirth, T., A. Di Pierro und H. Wiklicky: Probabilistic Constraint Handling Rules. In: Comini, M. und M. Falaschi (Herausgeber): 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Band 76 der Reihe Electronic Notes in Theoretical Computer Science, Seiten 115-130, November 2002. [ http://www.elsevier.com/gej-ng/31/29/23/126/23/38/76009.ps ]
Gantner, T. und T. Häberlein: GARP - The Evolution of a Software Acquisition Process Model. In: 7th European Conference on Software Quality 2002, Helsinki, Finland, Band 2349 der Reihe Lecture Notes in Computer Science, Seiten 186-196. Springer-Verlag, 2002.
Gehring, W.: Ein Rahmenwerk zur Einführung von Leistungspunktesystemen. Universitätsverlag Ulm, zweite, überarbeitete und erweiterte Auflage, April 2002. [ http://www.informatik.uni-ulm.de/pm/Rahmenwerk/ ]
Guttmann, W.: Deriving an Applicative Heapsort Algorithm. Technischer Bericht UIB-2002-02, Universität Ulm, Dezember 2002. [ http://www.informatik.uni-ulm.de/epin/pw/6920 ]
Guttmann, W., H. Partsch, W. Schulte und T. Vullinghs: Tool Support for the Interactive Derivation of Formally Correct Functional Programs (Extended Abstract). In: Haneberg, D., G. Schellhorn und W. Reif (Herausgeber): FM-TOOLS 2002: The Fifth Workshop on Tools for System Design and Verification, Seiten 15-20. Institut für Informatik, Universität Augsburg, Juni 2002. Report 2002-11.
Häberlein, T. und T. Gantner: Process-Oriented Interactive Simulation of Software Acquisition Projects. In: Shafazand, H. und A. Min Tjoa (Herausgeber): EurAsia-ICT 2002: Information and Communication Technology, First EurAsian Conference, Shiraz, Iran, Band 2510 der Reihe Lecture Notes in Computer Science, Seiten 806-815. Springer-Verlag, 2002.
Houdek, F., T. Schwinn und D. Ernst: Defect Detection for Executable Specifications: An Experiment. International Journal of Software Engineering and Knowledge Engineering, 12(6):637-655, Dezember 2002.
Kleiner, N. und J. Herbst: Engineering a DMU-Resultmanagement System. In: Proceedings of the 9th European Concurrent Engineering Conference (ECEC'02), Modena, Italy. SCS Europe Publications, 2002.
Kleiner, N. und J. Herbst: A Model for Business Process Supporting Web Applications. In: Proceedings of the International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet (SSGRR2002s), L'Aquila, Italy. Scuola Superiore Guglielmo Reiss Romoli (SSGRR), L'Aquila, 2002.
Knethen, A. von, B. Paech, F. Kiedaisch und F. Houdek: Systematic Requirements Recycling through Abstraction and Traceability. In: Proceedings of the IEEE Joint International Requirements Engineering Conference (RE'02), Essen, 2002.
Knublauch, H.: Extreme Programming of Multi-Agent Systems. In: First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, 2002.
Knublauch, H.: Extreme Programming of Knowledge-Based Systems. In: Third International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP2002), Alghero, Sardinia, Italy, 2002.
Knublauch, H., H. Koeth und T. Rose: Agile Development of a Clinical Multi-Agent System: An Extreme Programming Case Study. In: Third International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP2002), Alghero, Sardinia, Italy, 2002.
Laitenberger, O., T. Beil und T. Schwinn: An Industrial Case Study to examine a non-traditional Inspection Implementation for Requirements Specifications. Empirical Software Engineering, 7:345-374, 2002.
Laitenberger, O., T. Beil und T. Schwinn: An Industrial Case Study to examine a non-traditional Inspection Implementation for Requirements Specifications. In: Proceedings of Eighth IEEE Symposium on SOftware Metrics, Seiten 97-106, 2002.
Rose, T., M. Fünffinger, H. Knublauch und C. Rupprecht: Prozessorientiertes Wissensmanagement. Künstliche Intelligenz, 16(1):19-24, 2002. Intelligente Systeme für das Wissensmanagement.
Schneider, K., J.-P. von Hunnius und V. R. Basili: Experience in Implementing a Learning Software Organization. IEEE Software, 19(3), 2002.
Schneider, K. und T. Schwinn: Maturing Experience Base Concepts at DaimlerChrysler. Software Process Improvement and Practice, 6(2):85-96, 2002.
Schonger, S., E. Pulvermüller und S. Sarstedt: Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees. In: Proceedings of the 2nd German GI Workshop on Aspect-Oriented Software Development, Technical Report No. IAI-TR-2002-1, Seiten 59-64. Rheinische Friedrich-Wilhelms-Universität Bonn, Institut für Informatik 3, Februar 2002.
2001
Houdek, F., T. Schwinn und D. Ernst: Defect Detection for Executable Specifications - An Experiment. In: Thirteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'01), Buenos Aires, Argentinien, 2001.
Hunnius, J. von: Experience Bases at DaimlerChrysler. In: Presentation at the SEC Consortium meeting in Everett, Washington, April 2001.
Kiedaisch, F., M. Pohl, J. Weisbrod, S. Bauer und S. Ortmann: Requirements Archaeology: From Unstructured Information to High Quality Specifications. In: Proceedings of the 5th International Symposium on Requirements Engineering (RE'01), Toronto, Canada, 2001.
Kiedaisch, F., M. Pohl, J. Weisbrod, S. Bauer und S. Ortmann: Experiences on Outsourcing Requirements Specifications. In: Proceedings of the European Software Process Improvement Conference (EuroSPI'2001), Limerick, Ireland, 2001.
Kleiner, N. und S. Sarstedt: Einsatz von Standardprozessen bei der Gestaltung von Lehrveranstaltungen. In: Software Engineering im Unterricht der Hochschulen (SEUH 2001), Zürich, Schweiz. dpunkt.verlag, 2001.
Knublauch, H.: KBeans Specification: Semantic Transparency for Components and Domain Models. Technischer Bericht FAW-TR-01001, FAW Ulm, 2001.
Knublauch, H. und T. Rose: Werkzeugunterstützte Prozessanalyse zur Identifikation von Anwendungsszenarien für Agenten. In: Verbundtagung Verteilte Informationssysteme auf der Grundlage von Objekten, Komponenten und Agenten (vertIS 2001), Bamberg, 2001.
Schmid, J.: Compiling Abstract State Machines to C++. Journal of Universal Computer Science, 7(11), 2001. Abstract State Machines 2001: Developments and Applications.
Schmid, J.: Compiling Abstract State Machines to C++. In: Formal Methods and Tools for Computer Science, Eurocast 2001, Universidad de Las Palmas de Gran Canaria, 2001.
Schmid, J.: Introduction to AsmGofer, 2001. [ http://www.tydo.de/AsmGofer/ ]
Schwinn, T.: How to make your Software Inspections Profitable - An Approach Based on Sampling and Return on Investment Calculation. In: Proceedings of the 14th ICSSEA, Paris, 2001.
Stärk, R. und J. Schmid: Java bytecode verification is not possible. In: Formal Methods and Tools for Computer Science, Eurocast 2001, Universidad de Las Palmas de Gran Canaria, 2001.
Stärk, R., J. Schmid und E. Börger: Java and the Java Virtual Machine: Definition, Validation, Verification. Springer-Verlag, 2001.
2000
Achatz, K.: Systematische Modellbildung für Prozessautomatisierungssysteme. Doktorarbeit, Universität Ulm, 2000.
Balser, M., C. Duelli, W. Reif und Schellhorn: Verifying Concurrent Systems with Symbolic Execution. In: Proceedings of the International Conference on Temporal Logic (ICTL2000), 2000.
Balser, M., W. Reif, G. Schellhorn, K. Stenzel und A. Thums: Formal System Development with KIV. In: Maibaum, T. (Herausgeber): Proceedings of the 3rd International Conference on Fundamental Approaches to Software Engineering (FASE2000), Band 1783 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 2000.
Börger, E., P. Päppinghaus und J. Schmid: Report on a Practical Application of ASMs in Software Design. In: Gurevich, Y., P. W. Kutter, M. Odersky und L. Thiele (Herausgeber): Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, Band 1912 der Reihe Lecture Notes in Computer Science, Seiten 361-366. Springer-Verlag, 2000.
Börger, E., E. Riccobene und J. Schmid: Capturing Requirements by Abstract State Machines: The Light Control Case Study. Journal of Universal Computer Science, 6(7), 2000.
Börger, E. und J. Schmid: Composition and Submachine Concepts for Sequential ASMs. In: Clote, P. G. und H. Schwichtenberg (Herausgeber): Computer Science Logics (CSL 2000), Band 1862 der Reihe Lecture Notes in Computer Science, Seiten 41-60. Springer-Verlag, 2000.
Börger, E. und W. Schulte: A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. IEEE Transactions on Software Engineering, 26(9):872-887, 2000.
Breymann, U., D. Köhler und W. Gehring: Einführung eines Leistungspunktesystems im Studiengang Medieninformatik. Technischer Bericht, Hochschule Bremen, November 2000.
Dettinger, M.: Erweiterte Compilierung von C/C++: Verbesserte Code-Optimierung durch Verwendung semantischer Zusatzinformationen. Doktorarbeit, Universität Ulm, 2000.
Gehring, W.: Ein Rahmenwerk zur Einführung von Leistungspunktesystemen. Technischer Bericht 2000-04, Universität Ulm, März 2000. [ http://www.informatik.uni-ulm.de/pm/Rahmenwerk/ ]
Gehring, W.: Modularisierung und Leistungspunktesysteme: Ein Überblick. In: Workshop Modularisierung, Jena, März 2000.
Gurevich, Y., W. Schulte und C. Wallace: Investigating Java Concurrency Using Abstract State Machines. In: Gurevich, Y., P. W. Kutter, M. Odersky und L. Thiele (Herausgeber): Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, Band 1912 der Reihe Lecture Notes in Computer Science, Seiten 151-176. Springer-Verlag, 2000.
Guttmann, W.: An Introduction to Ultra. Universität Ulm, Dezember 2000. [ http://www.informatik.uni-ulm.de/pm/ultra ]
Hunnius, J.-P. von: WESPI - WEb Supported Software Process Improvement. In: Proceedings of the 2nd Workshop on Learning Software Organizations, Oulu, Finland, Seiten 93-99, Juni 2000.
Knublauch, H. und T. Rose: Round-Trip Engineering of Ontologies for Knowledge-based Systems. In: Twelfth International Conference on Software Engineering and Knowledge Engineering (SEKE), Chicago, IL, Seiten 239-247, 2000.
Knublauch, H. und T. Rose: Application Scenarios of Agent-Based Information Logistics in Clinical and Engineering Domains. In: European Conference on Artificial Intelligence (ECAI), Workshop on Agent Technologies and Their Application Scenarios in Logistics, Berlin, 2000.
Knublauch, H., T. Rose und M. Sedlmayr: Towards a Multi-Agent System for Pro-active Information Management in Anesthesia. In: Fourth International Conference on Autonomous Agents (Agents 2000), Workshop on Autonomous Agents in Health Care, Barcelona, Spain, 2000.
Knublauch, H., M. Sedlmayr und T. Rose: Design Patterns for the Implementation of Constraints on JavaBeans. In: NetObjectDays2000, Erfurt, 2000.
Partsch, H., W. Schulte und T. Vullinghs: Ultra: A Learn System for the Interactive Manipulation of Functional Programs. In: Cengarle, V. (Herausgeber): Requirements, Design, Correct Construction and Verification, Band 11 der Reihe Softwaretechnik. Uni-Druck, 2000.
Reif, W., J. Ruf, G. Schellhorn und T. Vollmer: Do You Trust Your Model Checker? In: Hunt Jr., W. A. und S. D. Johnson (Herausgeber): Proceedings of the 3rd International Conference on Formal Methods in Computer-Aided Design (FMCAD2000), Austin, Texas, USA, Band 1954 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 2000.
Reif, W., G. Schellhorn und A. Thums: Safety Analysis of a Radio-Based Crossing Control System Using Formal Methods. In: Proceedings of the 9th IFAC Symposium Control in Transportation Systems, Braunschweig, 2000.
Reif, W., G. Schellhorn und A. Thums: Fehlersuche in formalen Spezifikationen. Technischer Bericht 2000-06, Universität Ulm, 2000.
Rose, R., H. Knublauch und G. Peinel: Agenten in der pro-aktiven Prozessunterstützung. Industrie-Management 4, Seiten 40-53, 2000.
Rupprecht, C., M. Fünffinger, H. Knublauch und T. Rose: Capture and Dissemination of Experience about the Construction of Engineering Processes. In: Twelfth Conference on Advanced Information Systems Engineering (CAISE), Stockholm, Sweden, 2000.
Schellhorn, G. und W. Reif: FM-Tools 2000: The 4th Workshop on Tools for System Design and Verification. Technischer Bericht 2000-07, Universität Ulm, 2000.
Schellhorn, G., W. Reif, A. Schairer, P. Karger, V. Austel und D. Toll: Verification of a Formal Security Model for Multiapplicative Smart Cards. In: Proceedings of the 6th European Symposium on Research in Computer Security, Toulouse, France, Band 1895 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 2000.
Schulte, W.: High-Integrity Compilation and Secure Execution of Java. Habilitationsschrift, Universität Ulm, 2000.
Stärk, R. und J. Schmid: The problem of Bytecode Verification in Current Implementations of the JVM. Technischer Bericht, ETH Zürich, 2000.
1999
Balser, M., W. Reif, G. Schellhorn und K. Stenzel: KIV 3.0 for Provably Correct Systems. In: Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 98), Boppard, Band 1641 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 1999.
Berghammer, R., Y. Lakhnech und W. Reif: Formal Methods and Tools: Introduction and Overview. In: Berghammer, R. und Y. Lakhnech (Herausgeber): Tool Support for System Specification, Development and Verification. Springer-Verlag, 1999.
Börger, E. und W. Schulte: A Programmer Friendly Modular Definition of the Semantics of Java. In: Alves-Foss, J. (Herausgeber): Formal Syntax and Semantics of Java, Band 1523 der Reihe Lecture Notes in Computer Science, Seiten 353-404. Springer-Verlag, 1999.
Börger, E. und W. Schulte: Modular Design for the Java Virtual Machine Architecture. In: Architecture Design and Validation Methods. Springer-Verlag, 1999.
Börger, E. und W. Schulte: Initialization Problems for Java. Software - Concepts and Tools, 20(4), 1999.
Hähnle, R., W. Menzel, W. Reif und P. Schmitt: Special Issue on Integration of Deduction Systems. Journal of Universal Computer Science, 5(3), 1999.
Houdek, F., D. Ernst und T. Schwinn: Comparing Structured and Object-Oriented Methods for Embedded Systems: A Controlled Experiment. In: Proceedings of the ICSE Workshop Empirical Studies on Software Development, Los Angeles, California, USA, 1999.
Hutter, D., H. Mantel, G. Rock, W. Stephan, A. Wolpers, M. Balser, W. Reif, G. Schellhorn und K. Stenzel: VSE: Controlling the Complexity in Formal Software Developments. In: Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 98), Boppard, Band 1641 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 1999.
Knublauch, H.: Three Patterns for the Implementation of Ontologies in Java. In: OOPSLA'99 Metadata and Active Object-Model Pattern Mining Workshop, Denver, CO, USA, 1999.
Knublauch, H. und T. Rose: Reflection-enabled Rapid Prototyping of Knowledge-based Systems. In: OOPSLA'99 Workshop on Object Oriented Reflection and Software Engineering, Denver, CO, USA, 1999.
Knublauch, H., M. Sedlmayr und T. Rose: Knowledge-based Decision Support in an Anaesthesia Information System. In: Combined ESCTAIC / SCATA Meeting, Glasgow, UK, 1999.
Meyer, C.-H. und H. Knublauch: Parallel Iterative Proportional Fitting. In: Symposium in Operations Research (SOR99), Magdeburg, 1999.
Reif, W.: Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz. Informatik: Forschung und Entwicklung, 14(3), 1999.
Rock, G., W. Stephan, A. Wolpers, M. Balser, W. Reif und S. Scheer: Structured Formal Development in VSE II: The Robertino Case Study. In: Saglietti, F. und W. Goerigk (Herausgeber): Sicherheit und Zuverlässigkeit software-basierter Systeme, ITSec, 1999.
Sarstedt, S., G. Sauter, J. Sellentin und B. Mitschang: Integrationskonzepte für heterogene Anwendungssysteme bei DaimlerChrysler auf Basis internationaler Standards. In: Fachtagung Datenbanksysteme in Büro, Technik und Wissenschaft (BTW1999), Freiburg, Seiten 317-327, 1999.
Schellhorn, G.: Verifikation abstrakter Zustandsmaschinen (Verification of Abstract State Machines). Doktorarbeit, Universität Ulm, 1999.
Schwarz, M.: Kommunikationsorientierte Analyse und Gestaltung von Arbeitskontexten (KOALA). In: Sinz, E. J. (Herausgeber): Modellierung betrieblicher Informationssysteme, Proceedings der MobIS-Fachtagung (MobIS'99), Bamberg, Seiten 210-226, 1999.
Schwinn, T., D. Landes, T. Beil und H. Kempter: Making Know How Transfer Work in a Purchaser-Supplier Setting by Deploying Software Inspection. In: Proceedings of 6th European Conference on Software Quality, Vienna, Seiten 418-428, April 1999.
Sedlmayr, M., H. Knublauch und T. Rose: Towards an Anaesthesiology Information System. In: Combined ESCTAIC / SCATA Meeting, Glasgow, UK, 1999.
Vullinghs, T.: Functional Abstraction fpr Imperative Actions. Doktorarbeit, Universität Ulm, 1999.
Vullinghs, T., W. Schulte und H. Partsch: System Support for the Interactive Transformation of Functional Programs. In: Proceedings of the Software Transformation Systems 1999 (STS'99) Workshop, Los Angeles, 1999.
1998
Ahrendt, W., B. Beckert, R. Hähnle, W. Menzel, W. Reif, G. Schellhorn und P. Schmitt: Integrating Automated and Interactive Theorem Proving. In: Bibel, W. und P. Schmitt (Herausgeber): Automated Deduction - A Basis for Applications, Band 2: Systems and Implementation Techniques, Kapitel 1: Interactive Theorem Proving. Kluwer Academic Publishers, 1998.
Börger, E. und W. Schulte: Defining the Java Virtual Machine as Platform for Provably correct Java Compilation. In: Brim, L., J. Gruska und J. Zlatuska (Herausgeber): Proceedings of the 23rd International Symposium on Mathematical Foundation of Computer Science (MFCS´98), Brno, Czech Republic, Band 1450 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 1998.
Ernst, D. und F. Houdek: Applying Metrics to Cross-Technical Evaluations. In: Coombes, H., M. Hooft van Huysduynen und B. Peeters (Herausgeber): The European Software Measurement Conference Fesma 98, Antwerp, Belgium, 1998.
Ernst, D., F. Houdek und T. Schwinn: An Experimental Comparison of Static and Dynamic Defect Detection Techniques. In: Conference Proceedings of the Eleventh International Software Quality Week (QW 98), San Francisco, California, 1998.
Fensel, D., F. von Hamelen, W. Reif und A. ten Teije: Formal Support for the Development of Knowledge-based Systems. Information Technology Management, 2(4), 1998.
Greiner, C., H. Knublauch, M. Sedlmayr und T. Rose: Representing and Processing Various Knowledge Types in an Anaesthesia Information System. In: Annual Meeting of the European Society for Computing and Technology in Anaesthesia and Intensive Care (ESCTAIC), Villach, Austria, 1998.
Houdek, F., D. Ernst und T. Schwinn: Prüfen von C-Code und Statemate/Matlab-Spezifikationen: Ein Experiment. Technischer Bericht 98-11, Universität Ulm, 1998.
Nipkow, T. und W. Reif: An Introduction to Interactive Theorem Proving. In: Bibel, W. und P. Schmitt (Herausgeber): Automated Deduction - A Basis for Applications. Kluwer Academic Publishers, 1998.
Partsch, H.: Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme. Springer-Verlag, 1998.
Reif, W.: Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik. Künstliche Intelligenz, 12(4):42-48, Dezember 1998.
Reif, W.: Software-Sicherheit mit formalen Methoden. Softwaretechnik-Trends, 18(3), August 1998. GI-Fachtagung Softwaretechnik 98.
Reif, W. und G. Schellhorn: Theorem Proving in Large Theories. In: Bibel, W. und P. Schmitt (Herausgeber): Automated Deduction - A Basis for Applications, Band 3: Applications, Kapitel 2. Kluwer Academic Publishers, 1998.
Reif, W., G. Schellhorn, K. Stenzel und M. Balser: Structured specifications and interactive proofs with KIV. In: Bibel, W. und P. Schmitt (Herausgeber): Automated Deduction - A Basis for Applications. Kluwer Academic Publishers, 1998.
Salamon, P., P. Sibani, W. Gehring, R. Whitney und R. Frost: Toward a taxonomy of NP-hard combinatorial optimization problems. Bulletin of the American Physical Society, 43(1), März 1998.
Schellhorn, G.: Proving Properties of Directed Graphs: A Problem Set for Automated Theorem Provers. Technischer Bericht 98-12, Universität Ulm, 1998.
Schellhorn, G. und W. Ahrendt: The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV. In: Bibel, W. und P. Schmitt (Herausgeber): Automated Deduction - A Basis for Applications, Band 3: Applications, Kapitel 3: Automated Theorem Proving in Software Engineering. Kluwer Academic Publishers, 1998.
Schellhorn, G. und W. Reif: Theorems from Compiler Verification: A Problem Set for Automated Theorem Provers. Technischer Bericht 98-13, Universität Ulm, 1998.
Schwarz, M.: Theorie und Praxis erfahrbar machen - der Wurf ins kalte Wasser: Praxisnahes Arbeiten im Grundstudium. In: Handbuch Hochschullehre. Raabe-Verlag, 1998.
1997
Achatz, K. und H. Partsch: A Powerful Transformation Rule, its Applications and Variants. In: Proceedings of the 50th meeting of the IFIP Working Conference on Algorithmic Language and Calculi and IFIP Working Group 2.1, Le Bischenberg, France, 1997.
Achatz, K. und W. Schulte: A Formal OO Method Inspired by Fusion and Object-Z. In: Bowen, J. P., M. G. Hinchey und D. Till (Herausgeber): ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, Band 1212 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 1997.
Achatz, K. und W. Schulte: Formale objektorientierte Softwareentwicklung mit FOX. Informatik: Forschung und Entwicklung, 12(4):174-185, 1997.
Achatz, K. und W. Schulte: Functional Object-oriented Programming with Object-Gofer. In: Informatik '97: Informatik als Innovationsmotor, Informatik aktuell. Springer-Verlag, 1997. Auch in: Arbeitstagung Programmiersprachen, Arbeitsbericht der Universität Münster, Institut für Wirtschaftsinformatik, Nr. 58, September 1997.
Braxmeier, H., D. Ernst, A. Mößle und H. Vogler: The Project NoName: A functional programming language with ist development environment. Technischer Bericht 97-08, Universität Ulm, 1997.
Claessen, K., T. Vullinghs und E. Meijer: Structuring graphical paradigms in TkGofer. In: Peyton Jones, S. (Herausgeber): Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICP'97), Amsterdam, 1997.
Ernst, D., F. Houdek, T. Schwinn und W. Schulte: Experimenteller Vergleich statischer und dynamischer Softwareprüfung für eingebettete Systeme. Technischer Bericht 97-13, Universität Ulm, 1997.
Reif, W.: Risikofaktor Software. In: Jantke, K., G. Grieger und W. Wittig (Herausgeber): Impulse für Informatik-Innovationen. Infix-Verlag, 1997.
Reif, W.: Software-Verifikation und ihre Anwendungen. In: it+ti Themenheft Formale Entwurfsmethoden - Software Correctness. Oldenbourg-Verlag, 1997.
Reif, W. und G. Schellhorn: Theorem Proving in Large Theories. Technischer Bericht 97-14, Universität Ulm, 1997.
Reif, W., G. Schellhorn und K. Stenzel: Proving System Correctness with KIV. In: Bidoit, M. und M. Dauchet (Herausgeber): Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), Lille, France, Band 1214 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 1997.
Reif, W., G. Schellhorn und K. Stenzel: Proving System Correctness with KIV 3.0. In: Proceedings of the 14th International Conference on Automated Deduction, Townsville, Australia, Band 1249 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 1997.
Schellhorn, G. und W. Ahrendt: Reasoning about Abstract State Machines: The WAM Case Study. Journal of Universal Computer Science, 3(4):377-413, 1997. [ http://www.jucs.org/jucs_3_4/wam_case/ ]
Schellhorn, G. und W. Reif: Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers. Technischer Bericht 97-12, Universität Ulm, 1997.
Schulte, W. und M. Schwarz: Realistische Aufgabenstellungen für das Softwaregrundpraktikum. In: Forbig, P. und G. Riedewald (Herausgeber): Software Engineering im Unterricht der Hochschulen (SEUH'97). Teubner-Verlag, 1997.
Schwarz, M. und W. Schulte: Realistische Aufgabenstellungen für das Softwaregrundpraktikum. In: Workshop des German Chapter of the ACM und der Gesellschaft für Informatik, Software Engineering im Unterricht der Hochschulen SEUH'97, Rostock, Band 48 der Reihe Berichte des German Chapter of the ACM, Seiten 94-104. B. G. Teubner, 1997.
1996
Achatz, K. und H. Partsch: From Descriptive Specifications to Operational ones: A Powerful Transformation Rule, its Applications and Variants. Technischer Bericht 96-13, Universität Ulm, 1996.
Achatz, K. und W. Schulte: Massive Parallelization of Divide-and-Conquer-Algorithms over Powerlists. Science of Computer Programming, 26(1-3):59-78, 1996.
Achatz, K. und W. Schulte: Formale objektorientierte Softwareentwicklung. Softwaretechnik-Trends, 16(3), 1996. GI-Fachtagung Softwaretechnik 96.
Biechele, B., D. Ernst, F. Houdek, J. Schmid und W. Schulte: Untersuchung verschiedener SA/RT-Ansätze für die Modellierung eingebetteter Systeme. Technischer Bericht 96-09, Universität Ulm, 1996.
Heckler, A., R. Hettler, H. Hußmann, J. Loeckx, W. Reif, G. Schellhorn und K. Stenzel: LEX: a case study in development and validation of formal specifications. Technischer Bericht A/06/96, Fachbereich Informatik, Universität Saarbrücken, 1996.
Reif, W.: Software Verifikation: Stand und Perspektiven. Technischer Bericht 96-06, Universität Ulm, 1996.
Reif, W., G. Schellhorn und K. Stenzel: KIV 3.0: Concepts and applications. Technischer Bericht, Fachbereich Informatik, Universität Bremen, 1996.
Reif, W. und K. Stenzel: Reuse of Proofs in Software Verification. SADHANA: Academy Proceedings in Engineering Sciences, 21(2), 1996.
Schellhorn, G. und W. Ahrendt: Verification of a Prolog Compiler - First Steps with KIV. Technischer Bericht 96-05, Universität Ulm, 1996.
Stenzel, K.: Pilotanwendungen mit KIV. Technischer Bericht FI96/06, Fakultät für Informatik, Technische Universität Dresden, 1996.
Tuijnman, D.: A Categorical Approach to Functional Programming. Doktorarbeit, Universität Ulm, 1996.
Vullinghs, T., W. Schulte und T. Schwinn: The Design of a Functional GUI Library Using Constructor Classes. In: Bjørner, D., M. Broy und I. Pottosin (Herausgeber): Proceedings of the 2nd International Andrei Ershov Memorial Conference on Perspectives of System Informatics, Akademgorodok, Novosibirsk, Russia, Band 1181 der Reihe Lecture Notes in Computer Science, Seiten 398-408. Springer-Verlag, 1996.
Vullinghs, T., W. Schulte und T. Schwinn: TkGofer: A Functional GUI Library. In: Wirsing, M. und M. Nivat (Herausgeber): Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology (AMAST'96), München, Deutschland, Band 1101 der Reihe Lecture Notes in Computer Science, Seiten 621-624. Springer-Verlag, 1996.
Vullinghs, T., W. Schulte und T. Schwinn: The Implementation of a Functional GUI Library. In: Proceedings of the 2nd Italian Workshop on Functional Programming (FUN'96), Pisa, Italy, 1996.
Vullinghs, T., W. Schulte und T. Schwinn: An Introduction into TkGofer. Technischer Bericht 96-03, Universität Ulm, 1996.
1995
Achatz, K. und W. Schulte: Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms. In: Möller, B. (Herausgeber): Mathematics of Program Construction, Band 947 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 1995.
Achatz, K. und W. Schulte: Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms. Technischer Bericht 95-05, Universität Ulm, 1995.
Achatz, K. und W. Schulte: Massive Parallelization of Divide-and-Conquer-Algorithms over Powerlists. Technischer Bericht 95-12, Universität Ulm, 1995.
Fuchß, T., W. Reif, G. Schellhorn und K. Stenzel: Three Selected Case Studies in Verification. In: Broy, M. und S. Jähnichen (Herausgeber): KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report, Band 1009 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 1995.
Hutter, D., B. Langenstein, F. Koob, W. Reif, C. Sengler, W. Stephan, M. Ullmann, M. Wittmann und A. Wolpers: The VSE Development Method - A Way to Engineer High-Assurance Software Systems. In: Gotzheim, B. (Herausgeber): GI/ITG Tagung Formale Beschreibungstechniken für verteilte Systeme. Universität Kaiserslautern, 1995.
Pepper, P., M. Wirsing, R. Betschko, M. Broy, S. Dick, K. Didrich, J. Faulhaber, W. Grieskamp, H. Hußmann, M. Mehlich und W. Reif: A Method for the Development of Correct Software. In: Broy, M. und S. Jähnichen (Herausgeber): KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report, Band 1009 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 1995.
Reif, W.: The KIV-approach to Software Verification. In: Broy, M. und S. Jähnichen (Herausgeber): KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report, Band 1009 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 1995.
Reif, W., G. Schellhorn und K. Stenzel: Interactive Correctness Proofs for Software Modules Using KIV. In: COMPASS'95 - Tenth Annual Conference on Computer Assurance (Gaithersburg, MD, USA). IEEE press, 1995.
Reif, W., G. Schellhorn und K. Stenzel: Tactics in KIV. Journal on Information Processing and Cybernetics, 30, 1995.
Reif, W. und K. Stenzel: Reuse of Proofs in Software Verification. In: Köhler, J. (Herausgeber): Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs (Montreal, Quebec), 1995.
Vullinghs, T., D. Tuijnman und W. Schulte: Lightweight GUIs for functional programming. In: Hermenegildo, M. und S. D. Swierstra (Herausgeber): Proceedings of the 7th International Symposium PLILP95, Band 982 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 1995.
1994
Achatz, K. und W. Schulte: Eine Einführung in die transformationelle Entwicklung von SIMD Programmen. In: 39. internationales wissenschaftliches Kolloquium, Technische Universität Ilmenau, 1994.
Schulte, W. und T. Vullinghs: Linking Reactive Software to the X-Window System. Technischer Bericht 94-14, Universität Ulm, 1994.
Vullinghs, T.: Transformational Program Development Using CIPS. In: Buth, B. und R. Berghammer (Herausgeber): Systems for Computer-Aided Specification, Development and Verification. Christian-Albrechts-Universität Kiel, 1994.
1993
Boiten, E. A., A. M. Geerling und H. A. Partsch: Transformational derivation of (parallel) programs using skeletons. In: Proceedings of the ERCIM Workshop on Development and Transformation of Programs, INRIA, Nancy, November 1993. Auch in: Proceedings of Computing Science in the Netherlands.
Möller, B., H. Partsch und S. Schuman (Herausgeber): Formal Program Development: IFIP TC2 State-of-the-Art Report, Band 755 der Reihe Lecture Notes in Computer Science. Springer-Verlag, 1993.
Partsch, H.: Some Experiments in Transformaing Towards Parallel Executability. In: Paige, R., J. Reif und R. Wachters (Herausgeber): Parallel Algorithm Derviation and Program Transformation. Kluwer Academic Publishers, 1993.
Partsch, H.: Formal Problem Specification on an Algebraic Basis. In: Möller, B., H. Partsch und S. Schuman (Herausgeber): Formal Program Development: IFIP TC2 State-of-the-Art Report, Band 755 der Reihe Lecture Notes in Computer Science, Seiten 183-224. Springer-Verlag, 1993.