Søren Debois

According to our database1, Søren Debois authored at least 30 papers between 2004 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Blockchains for Business Process Management - Challenges and Opportunities.
ACM Trans. Management Inf. Syst., 2018

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

2017
Blockchains for Business Process Management - Challenges and Opportunities.
CoRR, 2017

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

Declarative Process Models in Government Centric Case and Document Management.
Proceedings of the BPM 2017 Industry Track co-located with the 15th International Conference on Business Process Management (BPM 2017), 2017

Towards an Entropy-Based Analysis of Log Variability.
Proceedings of the Business Process Management Workshops, 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
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
Logical Methods in Computer Science, 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
The Analysis of a Real Life Declarative Process.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 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
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
A verification environment for bigraphs.
ISSE, 2013

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

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

Decoupling context-aware services.
Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011

2010
A Graphical Approach to Progress for Structured Communication in Web Services
Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

2008
Imperative-program transformation by instrumented-interpreter specialization.
Higher-Order and Symbolic Computation, 2008

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

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

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

2004
Imperative program optimization by partial evaluation.
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004


  Loading...