Thomas T. Hildebrandt

According to our database1, Thomas T. Hildebrandt authored at least 75 papers between 1996 and 2018.

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Replication, refinement & reachability: complexity in dynamic condition-response graphs.
Acta Inf., 2018

2017
Declarative process mining for DCR graphs.
Proceedings of the Symposium on Applied Computing, 2017

A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus.
Proceedings of the Language and Automata Theory and Applications, 2017

Digitalising the General Data Protection Regulation with Dynamic Condition Response Graphs.
Proceedings of the BPM 2017 Industry Track co-located with the 15th International Conference on Business Process Management (BPM 2017), 2017

Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs.
Proceedings of the Joint Proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium co-located with 16th International Conference on Perspectives in Business Informatics Research (BIR 2017), Copenhagen, Denmark, August 28, 2017

2016
Declarative event based models of concurrency and refinement in psi-calculi.
J. Log. Algebr. Meth. Program., 2016

Editorial.
Formal Asp. Comput., 2016

Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
Logical Methods in Computer Science, 2016

Flexible, adaptable, and compliant business systems with dynamic condition response graphs.
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems, 2016

Deriving Consistent GSM Schemas from DCR Graphs.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

In the Nick of Time: Proactive Prevention of Obligation Violations.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

The DCR Graphs Process Portal.
Proceedings of the BPM Demo Track 2016 Co-located with the 14th International Conference on Business Process Management (BPM 2016), 2016

Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans.
Proceedings of the 7th International Conference on Ambient Systems, 2016

2015
Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9.
Proceedings of the 2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2015

Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes.
Proceedings of the FM 2015: Formal Methods, 2015

Concurrency and Asynchrony in Declarative Workflows.
Proceedings of the Business Process Management - 13th International Conference, 2015

Hybrid process technologies in the financial sector.
Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 co-located with 13th International Conference on Business Process Management (BPM 2015), 2015

2014
Preface.
Theor. Comput. Sci., 2014

Concurrency Models with Causality and Events as Psi-calculi.
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014

Modeling and Analysis of Mobile Cloud Computing Based on Bigraph Theory.
Proceedings of the 2nd IEEE International Conference on Mobile Cloud Computing, 2014

Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

A Case for Declarative Process Modelling: Agile Development of a Grant Application System.
Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, 2014

Hierarchical Declarative Modelling with Refinement and Sub-processes.
Proceedings of the Business Process Management - 12th International Conference, 2014

2013
Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs.
J. Log. Algebr. Program., 2013

A verification environment for bigraphs.
ISSE, 2013

Big Red: A Development Environment for Bigraphs.
ECEASST, 2013

Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems.
Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013

Towards Global and Local Types for Adaptation.
Proceedings of the Software Engineering and Formal Methods, 2013

Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Workshops, 2013

Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs.
Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, 2013

ICT-powered Health Care Processes - (Position Paper).
Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

Exformatics Declarative Case Management Workflows as DCR Graphs.
Proceedings of the Business Process Management - 11th International Conference, 2013

2012
Refinement for Transition Systems with Responses
Proceedings of the Proceedings Fourth Workshop on Foundations of Interface Technologies, 2012

A model checker for Bigraphs.
Proceedings of the ACM Symposium on Applied Computing, 2012

Trustworthy Pervasive Healthcare Services via Multiparty Session Types.
Proceedings of the Foundations of Health Information Engineering and Systems, 2012

A process-oriented event-based programming language.
Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

2011
Bigraphical Refinement
Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Safe Distribution of Declarative Processes.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Nested Dynamic Condition Response Graphs.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Declarative Modelling and Safe Distribution of Healthcare Workflows.
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs.
Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

2010
Preface to special issue: Expressiveness in Concurrency 2008.
Mathematical Structures in Computer Science, 2010

Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs
Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

A Logic for Choreographies
Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways.
Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

From Dynamic Condition Response Structures to Büchi Automata.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

A standard-driven implementaion of WS-BPEL 2.0.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009
Preface.
Electr. Notes Theor. Comput. Sci., 2009

Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
Preface.
Electr. Notes Theor. Comput. Sci., 2008

Type Systems for Bigraphs.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL.
Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

On the Construction of Sorted Reactive Systems.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

From Paper Based Clinical Practice Guidelines to Declarative Workflow Management.
Proceedings of the Business Process Management Workshops, 2008

2007
Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources.
Electr. Notes Theor. Comput. Sci., 2007

2006
A CPS encoding of name-passing in Higher-order mobile embedded resources.
Theor. Comput. Sci., 2006

Distributed Reactive XML.
Electr. Notes Theor. Comput. Sci., 2006

Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names.
Electr. Notes Theor. Comput. Sci., 2006

Bigraphical Models of Context-Aware Systems.
Proceedings of the Foundations of Software Science and Computation Structures, 2006

Formalising Business Process Execution with Bigraphs and Reactive XML.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

Sortings for Reactive Systems.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources.
Electr. Notes Theor. Comput. Sci., 2005

Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names.
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

2004
A relational model of non-deterministic dataflow.
Mathematical Structures in Computer Science, 2004

Preface.
Electr. Notes Theor. Comput. Sci., 2004

2003
Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay.
Theor. Comput. Sci., 2003

2002
A Calculus of Mobile Resources.
Proceedings of the CONCUR 2002, 2002

2000
Categorical Models for Fairness: Completion vs Delay.
Electr. Notes Theor. Comput. Sci., 2000

1999
A Fully abstract presheaf semantics for SCCS with finite delay.
Electr. Notes Theor. Comput. Sci., 1999

On Plain and Hereditary History-Preserving Bisimulation.
Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

1998
A Relational Model of Non-deterministic Dataflow.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1996
Transition systems with independence and multi-arcs.
Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

Comparing Transition Systems with Independence and Asynchronous Transition Systems.
Proceedings of the CONCUR '96, 1996


  Loading...