Wissenschaftliche Arbeiten

Die in allen Produkten von Configit verwendete Kerntechnologie ist das Ergebnis von mehr als 10 Jahren Forschung im Bereich der formalen Verifizierung und Constraintlösung. Im Folgenden sehen Sie eine Liste von ausgewählten Publikationen, die unter anderem von den Begründern und Mitarbeitern von Configit verfasst worden sind. Mehr als 100 wissenschaftliche Arbeiten sind zu diesem Thema veröffentlicht worden.

BDD-based Recursive and Conditional Modular Interactive Product Configuration von E. R. van der Meer, H. R. Andersen. In Proc. of Workshop on CSP Techniques with Immediate Application, CP04, International Conference on Principles and Practice of Constraint Programming, 27. September - 1. Oktober 2004, Toronto, Kanada, S. 112–126.

Product Configuration over the Internet, Vortrag anlässlich "The 6th INFORMS Conference on Information Systems and Technology", 3. – 4. November 2001, Miami Beach, Florida.

Verification of Large State/Event Systems using Compositionality and Dependency Analysis von J. Lind-Nielsen, H. R. Andersen, H. Hulgaard, G. Behrmann, K. Kristoffersen und K. G. Larsen. In Formal Methods in System Design, Bd. 18, Nr. 1, 2001.

Practical Verification of Embedded Software von J. Staunstrup, H. R. Andersen, H. Hulgaard, J. Lind-Nielsen, K. G. Larsen, G. Behrmann, K. Kristoffersen, A. Skou, H. Leerberg und N. B. Theilgaard. In IEEE Computer, Bd. 33, Nr. 5, 2000.

Boolean Expression Diagrams von H. R. Andersen und H. Hulgaard. In Proc. of IEEE Symposium on Logic in Computer Science, 1997.

A Comparison of Modular Verification Techniques von H. R. Andersen, J. Staunstrup und N. Maretti. In Proc. of Theory and Practice of Software Development, LNCS 1214, 1997.

Nonstochastic Analysis of Manufacturing Systems Using Timed-Event Graphs von T. Amon und H. Hulgaard. In Journal of Manufacturing Systems, Bd. 15, Nr. 3, 1996.

An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems von H. Hulgaard, S. M. Burns, T. Amon und G. Borriello. In IEEE Transactions on Computers, Bd. 44, Nr. 11, 1995.

Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion von H. R. Andersen und B. Vergauwen. In Proc. of Computed Aided Verification, LNCS 939, 1995.

Partial Model Checking von H. R. Andersen. In Proc. of IEEE Symposium on Logic in Computer Science, 1995.

On Model Checking Infinite-State Systems von H. R. Andersen. In Proc. of Logical Foundations of Computer Science, LNCS 813, 1994.

A Compositional Proof System for the Modal mu-Calculus von H. R. Andersen, C. Stirling und G. Winskel. In Proc. of IEEE Symposium on Logic in Computer Science, 1994.

An Asynchronous Process Algebra with Multiple Clocks von H. R. Andersen und M. V. Mendler. In Proc. of European Symposium On Programming, LNCS 788, 1994.