Publikationen

Jahr 2015

Peter Sauer, Thomas Hinze, Petra Hofstedt.
Dynamic Ad-hoc Topologies for Mobile Robot Navigation Based on Non-uniform Grid Maps.
XIII International Conference on Control, Automation and Robotics - ICCAR 2015.

Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz.
Formal Verification of Software for the Contiki Operating System Considering Interrupts.
18th Symposium on Design and Diagnostics of Electronic Circuits and Systems - DDECS 2015.

Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz.
Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts.
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2015.

Denny Schneeweiss, Petra Hofstedt.
Configurable Domain Objects for Resource Modelling in Treatment Scheduling.
International Journal of Software Engineering and Knowledge Engineering 25(5): 871-886 (2015).

Douglas W. Cunningham, Petra Hofstedt, Klaus Meer, Ingo Schmitt.
45. Jahrestagung der Gesellschaft für Informatik, Informatik 2015, Informatik, Energie und Umwelt,
28. September - 2. Oktober 2015 in Cottbus, Deutschland. LNI 246, GI 2015.

Peter Sauer, Denny Schneeweiß, Petra Hofstedt.
Divide & Conquer - Komplexe Constraint-Probleme durch Aufteilen lösen.
GI-Jahrestagung 2015: 1047-1060.

Petra Hofstedt, Walter Hower, Ulrich John, Andreas Kmoch, Armin Wolf.
Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgewählte Herausforderungen und Potenziale für die nächsten Jahre - zur Diskussion.
GI-Jahrestagung 2015: 1135-1138.

Petra Hofstedt, Ulrich John, Armin Wolf.
MOC 2015 - 7.Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme.
GI-Jahrestagung 2015: 1045-1046.

Jahr 2014

Denny Schneeweiss, Petra Hofstedt.
Configurable Resource Models for Treatment Planning in the Medical Domain.
International Conference on Bio-inspired Information and Communications Technologies (BICT). ACM. 2014.

Jacob Lorenz, Petra Hofstedt, Stefan-Alexander Schneider, Pierre R. Mai. Semi-Automatic Compliance Audits for Implementations of FMI for Co-Simulation.
ITI-Symposium. 2014.

Thomas Hinze, Jörn Behre, Christian Bodenstein, Gabi Escuela, Gerd Grünert, Petra Hofstedt, Peter Sauer, Sikander Hayat, Peter Dittrich.
Membrane Systems and Tools Combining Dynamical Structures with Reaction Kinetics for Applications in Chronobiology.
Book chapter in P. Frisco, M. Gheorghe, M.J. Perez-Jimenez (Eds.), Applications of Membrane Computing in Systems and Synthetic Biology, Series Emergence, Complexity, and Computation, Vol. 7, pp. 133-173, ISBN 978-3-319-03190-3, Springer Verlag, 2014 (Link zu einer externen Seite DOI-Link)

Jahr 2013

Denny Schneeweiss, Petra Hofstedt.
FdConfig: A Constraint-Based Interactive Configurator.
In 19th International Conference on Applications of Declarative Programming and Knowledge Management - INAP 2011, Revised Selected Papers. Lecture Notes in Computer Science Vol. 7773. Springer-Verlag. 2013.

Benny Höckner, Peter Sauer, Petra Hofstedt.
Functional Programming with Pros and Cons.
Haskell-Workshop - HaL8, Leipzig 2013.

Benny Höckner, Petra Hofstedt, Sascha Kaltschmidt, Peter. Sauer, Thilo Vörtler.
Design Space Exploration for Cyber Physical System Design using Constraint Solving.
Forum on specification and Design Languages (FDL).

ECSI, Electronic Chips & Systems design Initiative. 2013.

Benny Höckner, Petra Hofstedt, Thilo Vörtler, Peter Sauer, Thomas Hinze.
Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems.
20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013). Christian-Albrechts-Universtität zu Kiel, Institut für Informatik. Technical Report 1306. ISSN 2192-6247. 2013.

Thomas Hinze, Benjamin Schell, Mathias Schumann, Christian Bodenstein
Maintenance of Chronobiological Information by P System Mediated Assembly of Control Units for Oscillatory Waveforms and Frequency
In E. Csuhaj-Varju, M. Gheorghe, G. Paun, G. Rozenberg, A. Salomaa, G. Vaszil (Eds.), Membrane Computing. 13th International Conference. Series Lecture Notes in Computer Science, Vol. 7762, pp. 208-227, Springer Verlag, 2013

Jahr 2012

Petra Hofstedt (Gastherausgeber):
Themenband "AI Languages" der Zeitschrift "KI - Künstliche Intelligenz". ISSN: 0933-1875. Springer Verlag. 2012.

Thilo Vörtler, Steffen Rülke, Petra Hofstedt
Bounded Model Checking of Contiki Applications
15th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems - DDECS 2012, IEEE Computer Society. 2012.

Petra Hofstedt, Claus Lewerentz (Eds.)
Doktorandensymposium der SOFTWARE ENGINEERING 2012
Proceedings

Computer Science Report 01/12, BTU Cottbus, February 2012

Petra Hofstedt
Die Evolution der Programmiersprachen der KI
Künstliche Intelligenz, Volume 26, Number 1, February 2012 (Link zu einer externen Seite link)

Thomas König, Petra Hofstedt
Constraint-basierte Programmiersprachen - Von den Ursprüngen in der logischen Programmierung bis zu heutigen Anwendungen
Künstliche Intelligenz, Volume 26, Number 1, February 2012 (Link zu einer externen Seite link)

Petra Hofstedt
Themenschwerpunkt "Sprachen der KI"
Künstliche Intelligenz, Volume 26, Number 1, February 2012 (Link zu einer externen Seite link)

Petra Hofstedt, Thomas König
Interview with Pascal Van Hentenryck on Constraint-Based Programming
Künstliche Intelligenz, Volume 26, Number 1, February 2012 (Link zu einer externen Seite link)

Jahr 2011

Denny Schneeweiss, Petra Hofstedt
FdConfig: A Constraint-Based Interactive Configurator.
International Conference on Applications of Declarative Programming
and Knowledge Management - INAP 2011.

Petra Hofstedt, Wolfgang Jeltsch, Thomas König, Guangyun Xu
Monadische Constraint-Programmierung.
Haskell-Workshop -- Link zu einer externen Seite HaL6. Leipzig 2011.

Petra Hofstedt, Armin Wolf (Eds.)
Proceedings of the International Workshop on Innovative Scheduling and other Applications using CP-AI-OR (ISA 2011).
Computer Science Report 01/11, BTU Cottbus, May 2011.

Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt
Formale Verifikation von Contiki-Anwendungen.
Proceedings of the 14th GI/ITG/GMM Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV). Oldenburg. 2011.

Jahr 2010

Petra Hofstedt
Constraint-Based Object-Oriented Programming.
IEEE Software, Vol.27, No.5, pp. 53-56, IEEE Computer Society. September/October 2010. (Link zu einer externen Seite link)

Wolfgang Jeltsch
Generic Record Combinators with Static Type Checking
In: Maribel Fernández, Temur Kutsia, Wolfgang Schreiner Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP ’10) ACM 2010

Petra Hofstedt
Realizing evaluation strategies by hierarchical graph rewriting.
In: Implementation of Constraint Logic Programming Systems, CICLOPS 2010. Proceedings. 2010.

Petra Hofstedt
The Multiparadigm Programming Language CCFL.
In: Klaus-Peter Fähnrich, Bogdan Franczyk (Eds.): Informatik 2010: Service Science - Neue Perspektiven für die Informatik, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Band 2.
LNI 176, GI 2010.

König, Thomas
Interaktive Beweissysteme in verschiedenen Berechnungsmodellen.
Diplomarbeit, BTU Cottbus, Fak. f. Mathematik, Naturwissenschaften und Informatik, Februar 2010,

Wolfgang Jeltsch
Signals, Not Generators!
In: Zoltán Horváth, Viktória Zsók, Peter Achten, Pieter Koopman (Hrsg.) Proceedings of the 10th Symposium on Trends in Functional Programming (TFP ’ 09)Intellect, Bristol 2010

Jahr 2009

P. Hofstedt
Multiparadigm Constraint Programming Languages.
Habilitation thesis. Technical University Berlin. 2009.

P. Hofstedt
Implementing reduction strategies by hierarchical graph rewriting.
Maribel Fernandez (Ed.): 9th International Workshop on Reduction Strategies in Rewriting and Programming -- WRS 2009 (Pre-Proceedings). 2009.

P. Hofstedt, K. Ueda
Realizing Multiparadigm Programming based on Hierarchical Graph Rewriting.
In: Santiago Escobar (Ed.): Functional and (Constraint) Logic Programming 18th International Workshop WFLP 2009, pp. 95-109. 2009.

Petra Hofstedt, Florian Lorenzen
Constraint Functional Multicore Programming.

In: S. Fischer, E. Maehle, R. Reischuk (Eds.): Informatik 2009. Proceedings. LNI 154.  2009.

Jahr 2008

Wolfgang Jeltsch
Improving Push-Based FRP
In: Peter Achten, Pieter Koopman, Marco Morazán (Hrsg.) Draft Proceedings of the 9th Symposium on Trends in Functional Programming (TFP ’08) Technischer Bericht ICIS-R08007, Radboud Universiteit Nijmegen 2008

S. Frank, M. Grabmüller, P. Hofstedt, D. Kleeblatt, P. R. Mai, P. Pepper, S.-A. Schneider.
Safety of Compilers and Translation Techniques -- Status quo of Technology and Science. Automotive -- Safety & Security: Sicherheit und Zuverlässigkeit für automobile Informationstechnik.  2008.

P. Hofstedt
CCFL - A Concurrent Constraint Functional Language.
Technical Report 2008-08. Technische Universität Berlin, 2008. ISSN 1436-9915

Jahr 2007

Hofstedt, P., Pepper, P.
Integration of Declarative and Constraint Programming. Journal on Theory and Practice of Logic Programming -- TPLP. Special Issue on Multiparadigm Languages and Constraint Programming. 7(1&2) (Link zu einer externen Seite link) 2007.

S. Frank, P. Hofstedt, P. Pepper, D. Reckmann
Solution Strategies for Multi-domain
Constraint Logic Programs.

In I. Virbitskaite, A. Voronkov, editors, Perspectives of Systems
Informatics - PSI 2006, Revised Papers. Lecture Notes in Computer Science 4378. Springer Verlag,  2007.

Schölzel, M.
Time-Constrained Clustering for DSE of Clustered VLIW-ASP.
In: Proc. of the Design, Automation, and Test in Europe (DATE'07), akzeptiert.

Jahr 2006

Hofstedt, P., Krzikalla, O.
Turtle++ – A CIP-Library for C++.
16th International Conference on Applications of Declarative Programming and Knowledge Management -- INAP 2005.
Lecture Notes in Computer Science 4369. Springer Verlag.  2006.

Schölzel, M.
Automatisierter Entwurf anwendungsspezifischer VLIW-Prozessoren.
Dissertation, BTU Cottbus, Fakultät für Mathematik und Naturwischenschaften und Informatik, Oktober 2006.

Pawlowski, P., Schölzel, M.
A Case-Study for Built-In-Self-Repair in Application Specific Processors By Decreasing the Arithmetic Accuracy.
In: Proc. of the IEEE Workshop Signal Processing'2006, Poznan, pp 77-82, 2006.

Bachmann, P.
Formal Verification of Event Driven Systems.
In: BTU -Cottbus, Computer Science Reports 03/06, October 2006, pp 43-54.

Schölzel, M.
Synthesis of Application Specific Processors - A Look at High-Level-Approaches for Developing Application Specific Processors.
Invited Talk: 1st International Conference of Young Researchers, Zielona-Gora, 2006.

Schölzel, M., Bachmann, P., Vogel, M.
Durchgängiger automatisierter Entwurf von der Prozessor-Architektur bis zur Anwendungs-Software.
Dresdner Arbeitstagung Schaltungs- und Systementwurf, S. 19-24, 2006.

Heinig, Andy, Schölzel, Mario.
Zeitbeschränkte Clusterung zur Design-Space-Exploration geclusterter VLIW-Prozessoren.
9. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, S. 319-328, 2006.

Jahr 2005

Frank, St., Hofstedt, P.
CLFD: A Finite Domain Constraint Solver in Common Lisp.
International Lisp Conference -- ILC. Stanford University. Association of Lisp Users 2005.

Frank, St., Hofstedt, P., Reckmann D.
System Description: Meta-S. Combining Solver Cooperation and Programming Languages.
19th International Workshop on (Constraint) Logic Programming -- W(C)LP. Ulmer Informatik Berichte UIB-2005-01.  2005.

Scholz, Sebastian, Schölzel, Mario.
Design-Space-Exploration Using Simulated Annealing
In: Proc. of the IEEE Workshop Signal Processing'2005, pp. 165-170, 2005.

Schölzel, M., Bachmann, P.
DESCOMP: A New Design Space Exploration Approach.
In: Proc. of the 18th International Conference on Architecture of Computing Systems, LNCS 3432, pp. 178-192, 2005.

Jahr 2004

Frank, St., Hofstedt, P., Reckmann, D.
Strategies for the Efficient Solution of Hybrid Constraint Logic Programs.
In MultiCPL'04: Third Workshop on Multiparadigm Constraint Programming Languages. Saint-Malo, France, (pdf)2004.

Workshop Proceedings
Muñoz-Hernández, S., Gómez-Pérez, J.M., Hofstedt ,P. (Eds.),
WLPE 2004: 14th Workshop on Logic Programming Environments and
MultiCPL 2004: Third Workshop on Multiparadigm Constraint Programming Languages. Saint-Malo, France, 2004.

Schölzel, M., Bachmann, P., Vierhaus, H.T.
Application Specific Processor Design for Digital Signal Processing
In: Proc. of the IEEE Workshop Signal Processing'2004, pp. 7-15, 2004.

Jahr 2003

Grabmüller, M., Hofstedt, P.
Turtle. A Constraint Imperative Programming Language.
Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Research and Development in Intelligent Systems XX. Springer-Verlag  2003.

Frank, St., Hofstedt, P., Mai, P.R.
Meta-S. A strategy-oriented Meta-Solver Framework.
In Russel, I., Haller, S.: Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference. AAAI Press 2003.

Frank, St., Hofstedt, P., Mai, P.R.
A Flexible Meta-solver Framework for Constraint Solver Collaboration.

In Günter, A., Kruse, R. and Neumann, B.: Proceedings of the 26th German Conference on Artificial Intelligence, KI'2003. Volume 2821 of LNCS. Springer-Verlag 2003.

Frank, St., Hofstedt, P., Mai, P.R.
A Case Study on Termination.
In Albert Rubio (Ed.): Proceedings of the 6th International Workshop on Termination, WST'03. Technical Report DSIC-II/15/03, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, 2003.

Hofstedt, P., Metzner, A
Multiple Evaluation Strategies for the Multiparadigm Programming Language Brooks. In Germán Vidal (Ed.): Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming, WFLP'03. Technical Report DSIC-II/13/03, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, 2003.

Workshop Proceedings
Hanus, M., Hofstedt, P., Wolf, A., Abdennadher, S., Frühwirth, T., Lallouet, A. (Eds.), MultiCPL'03: Second International Workshop on Multiparadigm Constraint Programming Languages and RCoRP'03: Fifth International Workshop on Rule-Based Constraint Reasoning and Programming. Workshop Proceedings. Kinsale, Ireland, 2003.

Frank, St., Grabmüller, M., Hofstedt, P., Metzner, A.
Constraints, Predicates, Functions, and a Turtle.
20. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte". 2003.

Jahr 2002

Workshop Proceedings
Hanus, M., Hofstedt, P., Abdennadher, S., Frühwirth, T., Wolf, A. (Eds.),
MultiCPL'02: Workshop on Multiparadigm Constraint Programming Languages and RCoRP'02: Fourth Workshop on Rule-Based Constraint Reasoning and Programming. Cornell University, Ithaca, NY, USA, (pdf)2002.

Hofstedt, P.
A general Approach for Building Constraint Languages.
In B. McKay and J. Slaney (Eds.), AI 2002: Advances in Artificial Intelligence. 15th Australian Joint Conference on Artificial Intelligence. Canberra, Australia. Volume 2557 of LNCS. Springer-Verlag 2002.

Gips, C., Hofstedt, P., Wysotzki, F.
Spatial Inference - Learning vs. Constraint Solving.
In M. Jarke, J. Köhler, G. Lakemeyer (Eds.), KI 2002: Advances in Artificial Intelligence. Volume 2479 of LNCS. Springer-Verlag 2002.
 

Jahr 2001

Hofstedt, P.
Cooperation and Coordination of Constraint Solvers.
Dissertation.  Shaker Verlag. Aachen 2001.

Hofstedt, P.
Declarative Host Languages for Constraint Systems.
International Symposium on Artificial Intelligence. ISAI'2001.

Hofstedt, P., Seifert, D., Godehardt, E.
A Framework for Cooperating Constraint Solvers - A Prototypic Implementation.
Workshop on Cooperative Solvers in Constraint Programming - CoSolv. At the Seventh International Conference on Principles and Practice of Constraint Programming. 2001.

Hofstedt, P.
How to integrate Declarative Languages and Constraint Systems.
In: K.Indermark, Th.Noll (Eds.), Kolloquium Programmiersprachen. Technical Report AIB-2001-11. RWTH Aachen. 2001.

Schölzel, Mario
Globale Registerallokation für irreguläre Registerarchitekturen durch Graphfärbung,
In: Informatiktage, Konradin-Verlag, 2001.

Müller, Matthias, Schölzel, Mario
Methoden und Werkzeuge zur Entwicklung effizienter Programme für irreguläre Prozessorarchitekturen
Diplomarbeit, BTU Cottbus, Fak. f. Mathematik, Naturwissenschaften und Informatik, Juni 2001

Jahr 2000

Hofstedt, P.
Cooperating Constraint Solvers.
Sixth International Conference on Principles and Practice of Constraint Programming - CP 2000. Volume 1894 of LNCS. Springer-Verlag 2000.

Hofstedt, P.
Better Communication for Tighter Cooperation.
Lloyd et al. (Eds.), First International Conference on Computational Logic - CL 2000. Volume 1861 of LNCS. Springer-Verlag 2000.

Rülke, St., Schneider, J.,Bachmann, P.,Rogin, F.
Qualitätssicherung für wiederverwendbare Schaltungsbeschreibungen durch HDL-Code-Amalyse, In: Proc. IWK 2000 - 45th International Scientific Colloquium, October 4-6, 2000,Ilmenau, Germany, pp. 725-730.

Jahr 1999

Rülke, St., Schneider, J.,Bachmann, P.,Rogin, F.
Quality guaranty of reusable circuit descriptions throught HDL-Source Code Analysis
Workshop on IP-based synthesis and system design, Grenoble 1999.

Jahr 1998

Hofstedt, P.
Task Parallel Skeletons for Irregularly Structured Problems.
In D.Pritchard and J.Reeve (Eds.), Euro-Par'98 - Parallel Processing, 4th International Euro-Par Conference, Southampton. Volume 1470 of LNCS. Springer-Verlag 1998.

Bachmann, Peter
UPHA - eine Umgebung zur Programmierung hocheffizienter Anwendungen für Digitale Signalprozessoren,
DESIGN&ELEKTRONIK, DSP-Deutschland 1999, Seiten 207-214.Reihe Informatik I-09/1998, September 1998

Bachmann, Peter
Programming by Information-Systems
BTU Cottbus, Fak. f. Mathematik, Naturwissenschaften und Informatik
Reihe Informatik I-09/1998, September 1998

Bachmann, Peter
Objektorientierte Programmierung unter einer (anderen) konzeptuellen Sicht
BTU Cottbus, Fak. f. Mathematik, Naturwissenschaften und Informatik
Reihe Informatik I-04/1998, April 1998

Jahr 1997

Hofstedt, P.: Taskparallele Skelette für irregulär strukturierte Probleme in deklarativen Sprachen. Aachener Informatik - Berichte AIB 97-7, RWTH Aachen, Fachgruppe Informatik. (ps.gz).

Bachmann, Peter
Lifting of L-Narrowing Derivations
Computers and Artificial Intelligence, Vol. 16, No. 3, 1997, pp. 309-334.

Bachmann, Peter
Operational Semantics Oriented Specification
Kuwait Journal of Science & Engineering, Vol. 24, 1997, pp. 1-22.

Jahr 1996

Bachmann, Peter
On the Power of Recursion in Dataflow Schemes
Springer Verlag, LNCS 1181, 1996, pp. 166-177.

Jahr 1995

Hofstedt, P.
Eine abstrakte Maschine für eine parallele logische Sprache.
1995. Diploma Thesis. Dresden University of Technology.