Hybrid Process Technologies in the Financial Sector
ideas.repec.org
by S Debois · · Cited by 14 — Søren Debois. (Exformatics/IT University of Copenhagen) · Thomas Hildebrandt. (IT University of Copenhagen) · Morten Marquard. (Exformatics A/S) · Tijs Slaats. (IT ... › spr › mgmchp
Type-checking Liveness for Collaborative Processes arXiv
arxiv.org
by S Debois · · Cited by 4 — Authors:Søren Debois (IT University of Copenhagen), Thomas Hildebrandt (IT University of Copenhagen), Tijs Slaats (IT University of Copenhagen, ... › cs
Hybrid Process Technologies in the Financial CEUR-WS
ceur-ws.org
by S Debois · Cited by 17 — Søren Debois, Thomas Hildebrandt, Morten Marquard, and Tijs Slaats. A case for declarative process modelling: Agile development of a grant application ... › Vol › paper9
FORTE - DisCoTec 2014: the 9th International Federated Conference on...
www.discotec2014.tu-berlin.de
Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida. Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. Daniela Remenska, Tim A.C. Willemse, Jeff Templon, Kees Verstoep, Henri Bal. Property Specification Made Easy: Harnessing the Power of Model Checking in ...
Exformatics Declarative Case Management Workflows as ...
link.springer.com
by T Slaats · · Cited by 71 — Tijs Slaats, Raghava Rao Mukkamala & Thomas Hildebrandt. Exformatics A/S, Lautrupsgade 13, 2100, Copenhagen, Denmark. Tijs Slaats & Morten Marquard. Authors. › chapter
Thomas Hildebrandt's Blog | Process modelling research and practice
thildebrandt.wordpress.com
Process modelling research and practice
Program & Slides of presentations | AdaptiveCM – 3rd...
acm2014.blogs.dsv.su.se
Program & Slides of presentations; Program & Slides of presentations. 1 September Søren Debois, Thomas Hildebrandt, Morten Marquard and Tijs Slaats …
From Data Types to Session Types: A Basis for Concurrency and...
groups.inf.ed.ac.uk
Foundations and Trends in Programming Languages. Kohei Honda, Nobuko Yoshida, Marco Carbone. Multiparty Asynchronous Session Types. JACM. Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida. Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. LMCS.
Presentations | AdaptiveCM – 2nd International Workshop on...
acm2013.blogs.dsv.su.se
Thomas Hildebrandt, Morten Marquard, Raghava Rao Mukkamala and Tijs Slaats (Danmark). Research paper: “Supervision of constraint-based processes: a ...
All web results to the name "Tijs Slaats"
Søren Debois, Thomas Hildebrandt, Morten Marquard, Tijs ...
slideplayer.com
Søren Debois, Thomas Hildebrandt, Morten Marquard, Tijs Slaats Hybrid Process Technologies in the Financial Sector – The Case of BRFkredit Søren Debois, ... › slide
Declarative Modelling and Safe Distribution of Healthcare ...
www.springerprofessional.de
verfasst von: Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats. Erschienen in: Foundations of Health Informatics Engineering and Systems. › declarative-mode...
FASE Accepted Papers - ETAPS 2023
etaps.org
Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles; Hugo A. López, Søren Debois, Tijs Slaats and Thomas Hildebrandt. › ...
LNCS Formal Techniques for Distributed Objects ...
dumas.ccsd.cnrs.fr
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida, › IFIP-LNCS-8461
MobilityReadingGroup - Imperial College London
mrg.doc.ic.ac.uk
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. Søren DEBOIS, Thomas HILDEBRANDT, Tijs SLAATS, Nobuko YOSHIDA. › publications › type-checking-l...
Ninth Workshop on DEClarative, DECision and Hybrid ...
dec2h-2021.di.uniroma1.it
15:30 – 15:55, Thomas Hildebrandt, Søren Debois, Morten Marquard, Håkon Normann and Tijs Slaats, Decision Modelling in Timed Dynamic Condition Response Graphs ...
Accepted Papers | FM 2015
fm2015.ifi.uio.no
Accepted Papers. FM Main track; FM Industry Track; FM2015 Doctoral Symposium; ... Søren Debois, Thomas Hildebrandt and Tijs Slaats. Safety, ...
Program
easychair.org
View this program: with abstracts session overview talk overview. 09:00-10:00 Session 1: Keynote Søren Debois, Thomas Hildebrandt and Tijs Slaats. Safety, ...
BPM | Innsbruck, Austria August 31 – September 3, >> »...
bpm2015.q-e.at
Søren Debois, Thomas Hildebrandt and Tijs Slaats. Process Mining on Databases: Unearthing Historical Data from Redo Logs Eduardo González López De Murillas, Wil van der Aalst and Hajo Reijers. Mining invisible tasks in non-free-choice constructs. Qinlong Guo, Lijie Wen, Jianmin Wang, Zhiqiang Yan and Philip S.
CEUR-WS.org/Vol BIR Workshops
ceur-ws.org
Ineta Bucena, Marite Kirikova; Timber Tracking - Reducing Complexity of Due Diligence by using Blockchain Technology (Position Paper) Boris Dudder, Omri Ross; Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs Thomas Hildebrandt, Soren Debois, Tijs Slaats, ...
Contracts for cross-organizational workflows as timed Dynamic...
www.infona.pl
Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats, Francesco Zanitti, T. Hildebrandt, R.R. Mukkamala, T. Slaats, F. Zanitti · Details · Authors · Fields of ...
Formal Techniques for Distributed Objects, Components, and Systems -...
ifip.hal.science
Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida. Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. Erika Ábrahám; Catuscia Palamidessi. 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany.
sorted by relevance / date