BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Finland
1 × Italy
1 × Norway
1 × Switzerland
1 × USA
1 × Uruguay
Collaborated with:
T.Slaats R.R.Mukkamala S.Debois G.Perrone H.A.López A.J.Faithfull T.Hallwyl F.Henglein L.Birkedal E.Elsborg H.Niss
Talks about:
process (3) bigraph (3) system (3) dynam (3) respons (2) condit (2) model (2) manag (2) graph (2) case (2)

Person: Thomas T. Hildebrandt

DBLP DBLP: Hildebrandt:Thomas_T=

Contributed to:

FM 20152015
EDOC 20132013
GCM 20122013
SAC 20122012
EDOC 20112011
SEFM 20112011
SAC 20102010
ICLP 20092009
FoSSaCS 20062006

Wrote 9 papers:

FM-2015-DeboisHS #composition #information management #liveness #process #refinement #runtime #safety
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (SD, TTH, TS), pp. 143–160.
EDOC-2013-MukkamalaHS #adaptation #graph #towards
Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs (RRM, TTH, TS), pp. 127–136.
GCM-J-2012-FaithfullPH #development #graph
Big Red: A Development Environment for Bigraphs (AJF, GP, TTH).
SAC-2012-PerroneDH #graph #model checking
A model checker for Bigraphs (GP, SD, TTH), pp. 1320–1325.
EDOC-2011-HildebrandtMS #design #graph #using
Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs (TTH, RRM, TS), pp. 161–170.
SEFM-2011-HildebrandtMS #declarative #process
Safe Distribution of Declarative Processes (TTH, RRM, TS), pp. 237–252.
SAC-2010-HallwylHH #standard
A standard-driven implementaion of WS-BPEL 2.0 (TH, FH, TTH), pp. 2472–2476.
ICLP-2009-HildebrandtL #concurrent #constraints #pattern matching #programming
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming (TTH, HAL), pp. 417–431.
FoSSaCS-2006-BirkedalDEHN #modelling
Bigraphical Models of Context-Aware Systems (LB, SD, EE, TTH, HN), pp. 187–201.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.