Søren Debois - RankMe

62 papers A* 1A 8B 8C 4Misc 3Journal 14Unranked 22

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Static and dynamic techniques for iterative test-driven modelling of Dynamic Condition Response Graphs. Data Knowl. Eng. Axel Kjeld Fjelrad Christfort, Vlad Paul Cosma, Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
2024	J	`jnl`	Foundations and practice of binary process discovery. Inf. Syst. Tijs Slaats, Søren Debois, Christoffer Olling Back, Axel Kjeld Fjelrad Christfort
2024	J	`jnl`	Proactive enforcement of provisions and obligations. J. Comput. Secur. David A. Basin, Søren Debois, Thomas T. Hildebrandt
2023	J	`jnl`	DCR Syntax and Execution Equivalent Markings. Arch. Formal Proofs Axel Kjeld Fjelrad Christfort, Søren Debois
2022	J	`jnl`	Contract-Backed Digital Cash. CoRR Søren Debois, Fritz Henglein, Morten C. Nielsen, Christian Olesen, Gert Sylvest
2022	—	`conf`	Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain. Financial Cryptography Workshops Yibin Xu, Tijs Slaats, Boris Düdder, Søren Debois, Haiqin Wu
2022	J	`jnl`	Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain. CoRR Yibin Xu, Tijs Slaats, Boris Düdder, Søren Debois, Haiqin Wu
2022	—	`conf`	Improving Declarative Process Mining with a Priori Noise Filtering. Business Process Management Workshops Axel Kjeld Fjelrad Christfort, Søren Debois, Tijs Slaats
2022	A	`conf`	Incentive Alignment Through Secure Computations. BPM Frederik Haagensen, Søren Debois
2021	—	`ed.`	Business Process Management: Blockchain and Robotic Process Automation Forum - BPM 2021 Blockchain and RPA Forum, Rome, Italy, September 6-10, 2021, Proceedings BPM (Blockchain and RPA Forum) José González Enríquez, Søren Debois, Peter Fettke, Pierluigi Plebani, Inge van de Weerd, Ingo Weber
2021	—	`conf`	Decision Modelling in Timed Dynamic Condition Response Graphs with Data. Business Process Management Workshops Thomas T. Hildebrandt, Håkon Normann, Morten Marquard, Søren Debois, Tijs Slaats
2021	J	`jnl`	Preface to the Special Issue on Process Querying and Declarative, Decision and Hybrid Approaches to Processes 2019. J. Data Semant. Claudio Di Ciccio, Søren Debois, Artem Polyvyanyy, Tijs Slaats, Arthur H. M. ter Hofstede, Jan Vanthienen
2021	C	`conf`	ReGraDa: Reactive Graph Data. COORDINATION Leandro Galrinho, João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Håkon Normann, Tijs Slaats
2021	A	`conf`	Weighing the Pros and Cons: Process Discovery with Negative Examples. BPM Tijs Slaats, Søren Debois, Christoffer Olling Back
2021	A	`conf`	Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes. BPM Håkon Normann, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
2020	B	`conf`	Business Process Compliance Using Reference Models of Law. FASE Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
2020	B	`conf`	Chain of Events: Modular Process Models for the Law. IFM Søren Debois, Hugo A. López, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt
2020	B	`conf`	EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers. ICSSP Thomas T. Hildebrandt, Amine Abbad Andaloussi, Lars Rune Christensen, Søren Debois, Nicklas Pape Healy, Hugo A. López, Morten Marquard, Naja L. Holten Møller, Anette C. M. Petersen, Tijs Slaats, Barbara Weber
2020	A*	`conf`	On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems. PODC Mads Frederik Madsen, Søren Debois
2020	—	`conf`	Smart Contracts for Government Processes: Case Study and Prototype Implementation (Short Paper). Financial Cryptography Magnus Krogsbøll, Liv Hartoft Borre, Tijs Slaats, Søren Debois
2019	C	`conf`	Declarative Choreographies and Liveness. FORTE Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone
2019	J	`jnl`	Entropy as a Measure of Log Variability. J. Data Semant. Christoffer Olling Back, Søren Debois, Tijs Slaats
2019	—	`conf`	Monitoring the GDPR. ESORICS (1) Emma Arfelt, David A. Basin, Søren Debois
2019	Misc	`conf`	Transforming Byzantine Faults using a Trusted Execution Environment. EDCC Mads Frederik Madsen, Mikkel Gaub, Malthe Ettrup Kirkbro, Søren Debois
2018	J	`jnl`	Blockchains for Business Process Management - Challenges and Opportunities. ACM Trans. Manag. Inf. Syst. Jan Mendling, Ingo Weber, Wil M. P. van der Aalst, Jan vom Brocke, Cristina Cabanillas, Florian Daniel, Søren Debois, Claudio Di Ciccio, Marlon Dumas, Schahram Dustdar, Avigdor Gal, Luciano García-Bañuelos, Guido Governatori, Richard Hull, Marcello La Rosa, Henrik Leopold, Frank Leymann, Jan Recker, Manfred Reichert, Hajo A. Reijers, Stefanie Rinderle-Ma, Andreas Solti, Michael Rosemann, Stefan Schulte, Munindar P. Singh, Tijs Slaats, Mark Staples, Barbara Weber, Matthias Weidlich, Mathias Weske, Xiwei Xu, Liming Zhu
2018	—	`conf`	DCR Event-Reachability via Genetic Algorithms. Business Process Management Workshops Tróndur Høgnason, Søren Debois
2018	—	`conf`	Dynamic Evaluation Forms using Declarative Modeling. BPM (Dissertation/Demos/Industry) Rasmus Strømsted, Hugo A. López, Søren Debois, Morten Marquard
2018	—	`ch.`	Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit. Business Process Management Cases Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats
2018	—	`conf`	On Purpose and by Necessity: Compliance Under the GDPR. Financial Cryptography David A. Basin, Søren Debois, Thomas T. Hildebrandt
2018	A	`conf`	Open to Change: A Theory for Iterative Test-Driven Modelling. BPM Tijs Slaats, Søren Debois, Thomas T. Hildebrandt
2018	B	`conf`	RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta. EDOC João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
2018	J	`jnl`	Replication, refinement & reachability: complexity in dynamic condition-response graphs. Acta Informatica Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
2018	—	`conf`	The Process Highlighter: From Texts to Declarative Processes and Back. BPM (Dissertation/Demos/Industry) Hugo A. López, Søren Debois, Thomas T. Hildebrandt, Morten Marquard
2018	—	`conf`	Towards an Empirical Evaluation of Imperative and Declarative Process Mining. ER Workshops Christoffer Olling Back, Søren Debois, Tijs Slaats
2017	J	`jnl`	Blockchains for Business Process Management - Challenges and Opportunities. CoRR Jan Mendling, Ingo Weber, Wil M. P. van der Aalst, Jan vom Brocke, Cristina Cabanillas, Florian Daniel, Søren Debois, Claudio Di Ciccio, Marlon Dumas, Schahram Dustdar, Avigdor Gal, Luciano García-Bañuelos, Guido Governatori, Richard Hull, Marcello La Rosa, Henrik Leopold, Frank Leymann, Jan Recker, Manfred Reichert, Hajo A. Reijers, Stefanie Rinderle-Ma, Andreas Rogge-Solti, Michael Rosemann, Stefan Schulte, Munindar P. Singh, Tijs Slaats, Mark Staples, Barbara Weber, Matthias Weidlich, Mathias Weske, Xiwei Xu, Liming Zhu
2017	—	`conf`	Declarative Process Models in Government Centric Case and Document Management. BPM (Industry Track) Lasse Hende Norgaard, Jesper Birch Andreasen, Morten Marquard, Søren Debois, Frans Saxbeck Larsen, Vagn Jeppesen
2017	Misc	`conf`	Declarative process mining for DCR graphs. SAC Søren Debois, Thomas T. Hildebrandt, Paw Høvsgaard Laursen, Kenneth Ry Ulrik
2017	—	`conf`	Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs. BIR Workshops Thomas T. Hildebrandt, Søren Debois, Tijs Slaats, Morten Marquard
2017	—	`conf`	Towards an Entropy-Based Analysis of Log Variability. Business Process Management Workshops Christoffer Olling Back, Søren Debois, Tijs Slaats
2016	A	`conf`	Deriving Consistent GSM Schemas from DCR Graphs. ICSOC Rik Eshuis, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
2016	—	`conf`	Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans. ANT/SEIT Søren Debois, Thomas T. Hildebrandt, Lene Sandberg
2016	A	`conf`	In the Nick of Time: Proactive Prevention of Obligation Violations. CSF David A. Basin, Søren Debois, Thomas T. Hildebrandt
2016	—	`conf`	The DCR Graphs Process Portal. BPM (Demos) Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats
2016	J	`jnl`	Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. Log. Methods Comput. Sci. Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida
2015	—	`conf`	Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9. SER&IP@ICSE Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats
2015	A	`conf`	Concurrency and Asynchrony in Declarative Workflows. BPM Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
2015	—	`conf`	Hybrid process technologies in the financial sector. BPM (Industry Track) Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats
2015	B	`conf`	Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes. FM Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
2015	—	`conf`	The Analysis of a Real Life Declarative Process. SSCI Søren Debois, Tijs Slaats
2014	—	`conf`	A Case for Declarative Process Modelling: Agile Development of a Grant Application System. EDOC Workshops Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Morten Marquard
2014	A	`conf`	Hierarchical Declarative Modelling with Refinement and Sub-processes. BPM Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
2014	C	`conf`	Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. FORTE Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida
2013	J	`jnl`	A verification environment for bigraphs. Innov. Syst. Softw. Eng. Gian Perrone, Søren Debois, Thomas T. Hildebrandt
2012	Misc	`conf`	A model checker for Bigraphs. SAC Gian Perrone, Søren Debois, Thomas T. Hildebrandt
2011	—	`conf`	Bigraphical Refinement Refine@FM Gian Perrone, Søren Debois, Thomas T. Hildebrandt
2011	—	`conf`	Decoupling context-aware services. PerCom Workshops Søren Debois, Arne John Glenstrup, Francesco Zanitti
2010	—	`conf`	A Graphical Approach to Progress for Structured Communication in Web Services ICE Marco Carbone, Søren Debois
2008	J	`jnl`	Imperative-program transformation by instrumented-interpreter specialization. High. Order Symb. Comput. Søren Debois
2008	B	`conf`	On the Construction of Sorted Reactive Systems. CONCUR Lars Birkedal, Søren Debois, Thomas T. Hildebrandt
2006	B	`conf`	Bigraphical Models of Context-Aware Systems. FoSSaCS Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss
2006	B	`conf`	Sortings for Reactive Systems. CONCUR Lars Birkedal, Søren Debois, Thomas T. Hildebrandt
2004	C	`conf`	Imperative program optimization by partial evaluation. PEPM Søren Debois