Andrey Rivkin - RankMe

68 papers A* 2A 11B 6Journal 34Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Framework for Processing Textual Descriptions of Business Processes using a Constrained Language - Technical Report. CoRR Andrea Burattin, Antonio Grama, Ana-Maria Sima, Andrey Rivkin, Barbara Weber
2025	A	`conf`	Constraint-Based Reasoning and Analysis for BPM: CSP to the Rescue. BPM Alessandro Gianola, Andrey Rivkin, Mateusz Slazynski
2025	—	`ed.`	Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED'25), and Petri Net Games, Examples and Quizzes for Education, Contest and Fun (PeNGE'25) co-located with PETRI NETS 2025, June 23 - 24, 2025, Paris, France. PNSE/ATAED/PeNGE@PETRI NETS Michael Köhler-Bußmeier, Daniel Moldt, Heiko Rölke, Robin Bergenthum, Andrey Rivkin, Jan Martijn E. M. van der Werf, Jörg Desel, Laure Petrucci
2025	—	`conf`	Probabilistic Programming for Trace Generation (and Beyond). PNSE/ATAED/PeNGE@PETRI NETS Martin Kuhn, Joscha Grüger, Christoph Matheja, Andrey Rivkin
2024	J	`jnl`	Correctness Notions for Petri Nets with Identifiers. Fundam. Informaticae Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy
2024	A	`conf`	Data Petri Nets Meet Probabilistic Programming. BPM Martin Kuhn, Joscha Grüger, Christoph Matheja, Andrey Rivkin
2024	J	`jnl`	Data Petri Nets meet Probabilistic Programming (Extended version). CoRR Martin Kuhn, Joscha Grüger, Christoph Matheja, Andrey Rivkin
2024	B	`conf`	Discovery of Object-Centric Declarative Models. ICPM Axel Kjeld Fjelrad Christfort, Andrey Rivkin, Dirk Fahland, Thomas T. Hildebrandt, Tijs Slaats
2024	A*	`conf`	Foundations of Reactive Synthesis for Declarative Process Specifications. AAAI Luca Geatti, Marco Montali, Andrey Rivkin
2024	—	`conf`	LogPPL: A Tool for Probabilistic Process Mining. ICPM Doctoral Consortium / Demo Martin Kuhn, Joscha Grüger, Christoph Matheja, Andrey Rivkin
2024	J	`jnl`	Soundness Correction of Data Petri Nets. CoRR Nikolai M. Suvorov, Irina A. Lomazova, Andrey Rivkin
2024	A	`conf`	Towards a Multi-model Paradigm for Business Process Management. CAiSE Anti Alman, Fabrizio Maria Maggi, Stefanie Rinderle-Ma, Andrey Rivkin, Karolin Winter
2023	J	`jnl`	A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory. Inf. Syst. Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
2023	J	`jnl`	Data-aware conformance checking with SMT. Inf. Syst. Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2023	—	`conf`	Foundations of Collaborative sfDECLARE. BPM (Forum) Luca Geatti, Marco Montali, Andrey Rivkin
2023	—	`conf`	Generating Event Logs from Hybrid Process Models. Business Process Management Workshops Anti Alman, Fabrizio Maria Maggi, Marco Montali, Andrey Rivkin
2023	J	`jnl`	Monitoring hybrid process specifications with conflict management: An automata-theoretic approach. Artif. Intell. Medicine Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
2023	J	`jnl`	Multi-perspective conformance checking of uncertain process traces: An SMT-based approach. Eng. Appl. Artif. Intell. Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2023	J	`jnl`	On the Reconstructability and Rediscoverability of Typed Jackson Nets (Extended Version). CoRR Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf
2023	A*	`conf`	Safety Verification and Universal Invariants for Relational Action Bases. IJCAI Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2023	B	`conf`	There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets. Petri Nets Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf
2023	—	`conf`	Typed Petri Nets with Variable Arc Weights. Business Process Management Workshops Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin
2022	—	`conf`	A Modular SMT-based Approach for Data-aware Conformance Checking. OVERLAY@AI*IA Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2022	J	`jnl`	Combination of Uniform Interpolants via Beth Definability. J. Autom. Reason. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2022	J	`jnl`	Conformance Checking with Uncertainty via SMT (Extended Version). CoRR Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2022	A	`conf`	Conformance Checking with Uncertainty via SMT. BPM Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2022	J	`jnl`	Correctness Notions for Petri Nets with Identifiers. CoRR Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy
2022	B	`conf`	Data and Process Resonance - Identifier Soundness for Models of Information Systems. Petri Nets Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, Marco Montali
2022	A	`conf`	Multi-model Monitoring Framework for Hybrid Process Specifications. CAiSE Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
2022	J	`jnl`	Petri net-based object-centric processes with read-only data. Inf. Syst. Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2022	J	`jnl`	Reactive Synthesis for DECLARE via symbolic automata. CoRR Luca Geatti, Marco Montali, Andrey Rivkin
2022	J	`jnl`	Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version). CoRR Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2021	J	`jnl`	CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version). CoRR Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2021	A	`conf`	CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. BPM Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
2021	A	`conf`	Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN. BPM Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2021	J	`jnl`	Formal foundations for responsible application integration. Inf. Syst. Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin
2021	J	`jnl`	Model Completeness, Uniform Interpolants and Superposition Calculus. J. Autom. Reason. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2021	J	`jnl`	Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach. CoRR Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
2021	J	`jnl`	Soundness in Object-centric Workflow Petri Nets. CoRR Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin
2020	—	`conf`	Combined Covers and Beth Definability. IJCAR (1) Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2020	J	`jnl`	Formalizing Integration Patterns with Multimedia Data (Extended Version). CoRR Marco Montali, Andrey Rivkin, Daniel Ritter
2020	B	`conf`	Formalizing Integration Patterns with Multimedia Data. EDOC Marco Montali, Andrey Rivkin, Daniel Ritter
2020	—	`conf`	Modeling Trading Systems using Petri Net Extensions. PNSE@Petri Nets Julio Cesar Carrasquel, Irina A. Lomazova, Andrey Rivkin
2020	A	`conf`	Petri Nets with Parameterised Data - Modelling and Verification. BPM Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2020	J	`jnl`	Petri Nets with Parameterised Data: Modelling and Verification (Extended Version). CoRR Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2020	J	`jnl`	SMT-based verification of data-aware processes: a model-theoretic approach. Math. Struct. Comput. Sci. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	J	`jnl`	Combined Covers and Beth Definability. CoRR Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	J	`jnl`	Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version). CoRR Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	A	`conf`	Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. BPM Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	J	`jnl`	Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN. CoRR Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	J	`jnl`	From DB-nets to Coloured Petri Nets with Priorities (Extended Version). CoRR Marco Montali, Andrey Rivkin
2019	B	`conf`	From DB-nets to Coloured Petri Nets with Priorities. Petri Nets Marco Montali, Andrey Rivkin
2019	—	`conf`	From Model Completeness to Verification of Data Aware Processes. Description Logic, Theory Combination, and All That Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	—	`conf`	Model Completeness, Covers and Superposition (Abridged Version). CILC Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	A	`conf`	Model Completeness, Covers and Superposition. CADE Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	A	`conf`	Modeling and In-Database Management of Relational, Data-Aware Processes. CAiSE Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2019	—	`conf`	Modeling, Enactment and Verification of Data-Aware Processes. BPM (PhD/Demos) Andrey Rivkin
2018	J	`jnl`	Catalog of Formalized Application Integration Patterns. CoRR Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha
2018	B	`conf`	Formalizing Application Integration Patterns. EDOC Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha
2018	J	`jnl`	Modelling and Enactment of Data-aware Processes. CoRR Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2018	J	`jnl`	Quantifier Elimination for Database Driven Verification. CoRR Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2018	J	`jnl`	Verification of Data-Aware Processes via Array-Based Systems (Extended Version). CoRR Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2017	J	`jnl`	DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases. Trans. Petri Nets Other Model. Concurr. Marco Montali, Andrey Rivkin
2016	J	`jnl`	DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases. CoRR Marco Montali, Andrey Rivkin
2016	J	`jnl`	Model checking Petri nets with names using data-centric dynamic systems. Formal Aspects Comput. Marco Montali, Andrey Rivkin
2015	—	`conf`	Formal Verification of Petri Nets with Names. WS-FM Marco Montali, Andrey Rivkin
2015	—	`conf`	Implementing Data-Centric Dynamic Systems over a Relational DBMS. AMW Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2015	—	`conf`	Leveraging Relational Technology for Data-Centric Dynamic Systems. SEBD Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin