TrustCare Publications

  • Nested Dynamic Condition Response Graphs. Thomas Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats. In Proceedings of Fundamentals of Software Engineering (FSEN) , page , April 2011 . (URL) (BIB)
  • Designing a Cross-organizational Case Management System using Dynamic Condition Response Graphs. Thomas Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats. In Proceedings of IEEE International EDOC Conference, 2011. (URL) (BIB)
  • Safe Distribution of Declarative Processes. Thomas Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats. In 9th International Conference on Software Engineering and Formal Methods (SEFM) 2011, 2011. (to appear). (BIB)
  • Declarative Modelling and Safe Distribution of Healthcare Workflows. Hildebrandt, Thomas, Mukkamala, Raghava Rao and Slaats, Tijs. In International Symposium onFoundations of Health Information Engineering and Systems, Johannesburg, South Africa, August 2011. (BIB)
  • Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs. Thomas Hildebrandt and Raghava Rao Mukkamala. In Post-proceedings of PLACES 2010, 2010. (URL) (BIB)
  • From Dynamic Condition Response Structures to Buchi Automata. Thomas Hildebrandt and Raghava Rao Mukkamala. In proceedings of 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (Tase 2010), Taipei, Taiwan, August 2010. (URL) (BIB)
  • Distributed Dynamic Condition Response Structures. Thomas Hildebrandt and Raghava Rao Mukkamala. In pre-proceedings of International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2010) affiliated to ETAPS 2010, Paphos, Cyprus, March 2010. (URL) (BIB)
  • Using LJF as a Framework for Proof Systems. Anders Starcke Henriksen. Technical Report, University of Copenhagen, 2009. (URL) (BIB)
  • A Game-Theoretic Model for Distributed Programming byContract. Henriksen, Anders Starcke, Hvitved, Tom and Filinski,Andrzej. In Informatik 2009. Proceedings der 39. GI-Jahrestagung, pages 3473-3484, 2009. (URL) (BIB)
  • Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. Thomas Hildebrandt and Hugo A. López. In Proceedings of the 25th International Conference on Logic Program- ming (ICLP 2009), pages 417-431, Pasadena, California, USA, July 2009. (BIB)
  • Games and Higher-Order Linear Dataflows. Lars Birkedal, Søren Debois and Thomas T. Hildebrandt, March 2009. (BIB)
  • Type Systems for Bigraphs. Ebbe Elsborg, Thomas T. Hildebrandt and Davide Sangiorgi. In Proceedings of the 4th International Symposium on Trustworthy Global Computing (TGC08). LNCS, Springer-Verlag, pages 126-140, 2008. (BIB)
  • The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL. Karen Marie Lyng, Thomas Hildebrandt and Raghava Rao Mukkamala. In In Proc. of 1st International Workshop on Dynamic and Declarative Business Processes (DDBP 2008), Munich, Germany, 2008. (URL) (BIB)
  • From Paper Based Clinical Practice Guidelines to Declarative Workflow Management. Karen Marie Lyng, Thomas Hildebrandt and Raghava Rao Mukkamala. In 2nd International Workshop on Process-oriented information systems in health- care (ProHealth 08), pages 336-347, Milan, Italy, September 2008. (URL) (BIB)
  • On the Construction of Sorted Reactive Systems. Lars Birkedal, Søren Debois and Thomas T. Hildebrandt. In 19th International Conference on Concurrency Theory, CONCUR 2008, pages 218-232, Toronto, Canada, August 2008. (BIB)
  • Compositional Specification of Commercial Contracts. Andersen, J., Elsborg, Ebbe, Henglein, Fritz, Simonsen, J.G. and Stefansen, Christian. International Journal on Software Tools for Technology Transfer (STTT), 8(6):485-516, 2006. (Special Section on Leveraging Applications of Formal Methods). (BIB)