Search results for "Natalia Sidorova"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jorn Bakker, Leszek Holenderski, Rafal Kocielnik, Mykola Pechenizkiy, Natalia Sidorova	Stess@Work: from measuring stress to its understanding, prediction and handling with personalized coaching.	IHI	2012	DBLP DOI BibTeX RDF
1	Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn	Soundness of workflow nets: classification, decidability, and analysis.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Natalia Sidorova, Christian Stahl, Nikola Trcka	Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible.	Inf. Syst.	2011	DBLP DOI BibTeX RDF
1	Jorn Bakker, Mykola Pechenizkiy, Natalia Sidorova	What's Your Current Stress Level? Detection of Stress Patterns from GSR Sensor Data.	ICDM Workshops	2011	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf	Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved!	Petri Nets	2011	DBLP DOI BibTeX RDF
1	Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst	Distributed Genetic Process Mining Using Sampling.	PaCT	2011	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Zheng Liu, Natalia Sidorova	Is my event log complete? - A probabilistic approach to process mining.	RCIS	2011	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Marcello La Rosa, Zheng Liu, Natalia Sidorova	Discovering Characteristics of Stochastic Collections of Process Models.	BPM	2011	DBLP DOI BibTeX RDF
1	Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova, Nikola Trcka	A reference model for grid architectures and its validation.	Concurrency and Computation: Practice and Experience	2010	DBLP DOI BibTeX RDF
1	Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg	Introduction.	ACSD/Petri Nets Workshops	2010	DBLP BibTeX RDF
1	Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf	Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed!	Software Composition	2010	DBLP DOI BibTeX RDF
1	Natalia Sidorova, Christian Stahl, Nikola Trcka	Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual.	CAiSE	2010	DBLP DOI BibTeX RDF
1	Helen Schonenberg, Jingxian Jian, Natalia Sidorova, Wil M. P. van der Aalst	Business Trend Analysis by Simulation.	CAiSE	2010	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf	Soundness-Preserving Refinements of Service Compositions.	WS-FM	2010	DBLP DOI BibTeX RDF
1	Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst	Distributed genetic process mining.	IEEE Congress on Evolutionary Computation	2010	DBLP DOI BibTeX RDF
1	Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst	Discovering Process Models with Genetic Algorithms Using Sampling.	KES	2010	DBLP DOI BibTeX RDF
1	Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn	Soundness of Workflow Nets with Reset Arcs.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	Workflow Nets, Reset Nets, Verification, Petri Nets, Decidability, Soundness
1	Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova	A Framework for Linking and Pricing No-Cure-No-Pay Services.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf	Generation of Database Transactions with Petri Nets.	Fundam. Inform.	2009	DBLP DOI BibTeX RDF
1	Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf	Compositional Service Trees.	Petri Nets	2009	DBLP DOI BibTeX RDF
1	Helen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee	History-Dependent Stochastic Petri Nets.	Ershov Memorial Conference	2009	DBLP DOI BibTeX RDF
1	Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova	Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows.	CAiSE	2009	DBLP DOI BibTeX RDF
1	Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova	Workflow completion patterns.	CASE	2009	DBLP DOI BibTeX RDF
1	Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf	Can I find a partner? Undecidability of partner existence for open nets.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve	History-based joins: Semantics, soundness and implementation.	Data Knowl. Eng.	2008	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, Jan Martijn E. M. van der Werf	Designing Case Handling Systems.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst	Working with the Past: Integrating History in Petri Nets.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova	Token History Petri Nets.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova	Simulated time for host-based testing with TTCN-3.	Softw. Test., Verif. Reliab.	2008	DBLP DOI BibTeX RDF
1	Carmen Bratosin, Wil M. P. van der Aalst, Natalia Sidorova, Nikola Trcka	A Reference Model for Grid Architectures and Its Analysis.	OTM Conferences	2008	DBLP DOI BibTeX RDF	Computational grids, colored Petri nets, grid architecture
1	Nikola Trcka, Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova	Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Nikola Trcka, Natalia Sidorova, Wil M. P. van der Aalst	Soundness and Niceness as Correctness Criteria for Grid Workflows.	eScience	2008	DBLP DOI BibTeX RDF	correctness, grid workflow
1	Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve	LogLogics: A logic for history-dependent business processes.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal	Scheduling-free resource management.	Data Knowl. Eng.	2007	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova	Checking Properties of Adaptive Workflow Nets.	Fundam. Inform.	2007	DBLP BibTeX RDF
1	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst	History-Dependent Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Maja Pesic, M. H. Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst	Constraint-Based Workflow Models: Change Made Easy.	OTM Conferences	2007	DBLP DOI BibTeX RDF
1	Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova	Bug Hunting with False Negatives.	IFM	2007	DBLP DOI BibTeX RDF
1	Carmen Bratosin, Kees M. van Hee, Natalia Sidorova	Adaptive Workflow Nets for Grid Computing.	PaCT	2007	DBLP DOI BibTeX RDF	modeling, verification, grid computing, Petri nets, workflows, coordination
1	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf	Modelling with History-Dependent Petri Nets.	BPM	2007	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova, Jan Martijn E. M. van der Werf	Adaptive Workflows for Healthcare Information Systems.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF	medical protocols, Healthcare Information Systems, adaptive workflows, EPR
1	Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve	Consistency in model integration.	Data Knowl. Eng.	2006	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve	Resource-Constrained Workflow Nets.	Fundam. Inform.	2006	DBLP BibTeX RDF
1	Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve	Nested Nets for Adaptive Systems.	ICATPN	2006	DBLP DOI BibTeX RDF	modeling, adaptivity, Petri nets, workflow
1	Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve	Verifying Generalized Soundness of Workflow Nets.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	verification, Petri nets, workflows, soundness
1	Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova	TTCN-3 for Distributed Testing Embedded Software.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	simulated time, TTCN-3, distributed testing
1	Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve	Modelling History-Dependent Business Processes.	MSVVEIS	2006	DBLP BibTeX RDF
1	Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve	History-Based Joins: Semantics, Soundness and Implementation.	Business Process Management	2006	DBLP DOI BibTeX RDF	Workflow management systems, Process patterns, Business process modeling and analysis, Process verification and validation, Formal models in business process management
1	Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova	Data Abstraction and Constraint Solving for Conformance Testing.	APSEC	2005	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve	Soundness of Resource-Constrained Workflow Nets.	ICATPN	2005	DBLP DOI BibTeX RDF	verification, Petri nets, concurrency, workflow, resources
1	Kees M. van Hee, Olivia Oanea, Natalia Sidorova	Colored Petri Nets to Verify Extended Event-Driven Process Chains.	OTM Conferences	2005	DBLP DOI BibTeX RDF	Extended EPCs, verification, semantics, colored Petri nets
1	Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova	Simulated Time for Testing Railway Interlockings with TTCN-3.	FATES	2005	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal	The Price of Coordination in Resource Management.	Business Process Management	2005	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve	Generalised Soundness of Workflow Nets Is Decidable.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova	Using Fairness to Make Abstractions Work.	SPIN	2004	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve	Consistency in Model Integration.	Business Process Management	2004	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve	Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.	ICATPN	2003	DBLP DOI BibTeX RDF	modelling, verification, Petri nets, workflow, correctness, soundness, separability, serialisability
1	Stefan Blom, Natalia Ioustinova, Natalia Sidorova	Timed Verification with µCRL.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	modelling, model checking, verification, discrete time, CRL
1	Natalia Ioustinova, Natalia Sidorova, Martin Steffen	Synchronous Closing and Flow Analysis for Model Checking Timed Systems.	FMCO	2003	DBLP DOI BibTeX RDF
1	Natalia Ioustinova, Natalia Sidorova, Martin Steffen	Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems.	APSEC	2002	DBLP DOI BibTeX RDF	open components, formal methods, program transformation, abstraction, asynchronous communication, software model checking, flow analysis
1	Natalia Ioustinova, Natalia Sidorova, Martin Steffen	Closing Open SDL-Systems for Model Checking with DTSpin.	FME	2002	DBLP DOI BibTeX RDF	DTSpin, open communication systems, model checking, abstractions, SDL
1	Natalia Sidorova, Martin Steffen	Synchronous Closing of Timed SDL Systems for Model Checking.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Natalia Ioustinova, Natalia Sidorova	A Transformation of SDL Specifications - A Step towards the Verification.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
1	Natalia Sidorova, Martin Steffen	Embedding Chaos.	SAS	2001	DBLP DOI BibTeX RDF	open reactive systems, Model checking, data-flow analysis, SDL
1	Natalia Sidorova, Martin Steffen	Verifying Large SDL-Specifications Using Model Checking.	SDL Forum	2001	DBLP DOI BibTeX RDF	SDL model checking, bottom-up verification, verification case study, compositional, abstraction
1	Natalia Sidorova, Martin Steffen	Verification of a wireless ATM medium-access protocol.	APSEC	2000	DBLP DOI BibTeX RDF	medium-access protocol verification, modular structure, SDL specification, abstraction techniques, system debugging, untimed properties, time-dependent properties, model checking, formal specification, formal verification, wireless LAN, asynchronous transfer mode, access protocols, state space reduction, wireless ATM
1	Ph. Schnoebelen, Natalia Sidorova	Bisimulation and the Reduction of Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova	Model Checking SDL with Spin.	TACAS	2000	DBLP DOI BibTeX RDF

Publications of "Natalia Sidorova" ( http://dblp.L3S.de/Authors/Natalia_Sidorova )