Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Natalia Sidorova
@article{DBLP:journals/is/LeemansMS23,
author = {Sander J. J. Leemans and
Lisa Luise Mannel and
Natalia Sidorova},
title = {Significant stochastic dependencies in process models},
journal = {Inf. Syst.},
volume = {118},
pages = {102223},
year = {2023},
url = {https://doi.org/10.1016/j.is.2023.102223},
doi = {10.1016/J.IS.2023.102223},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/LeemansMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SommersSD23,
author = {Dominique Sommers and
Natalia Sidorova and
Boudewijn F. van Dongen},
editor = {Lu{\'{\i}}s Gomes and
Robert Lorenz},
title = {Exact and Approximated Log Alignments for Processes with Inter-case
Dependencies},
booktitle = {Application and Theory of Petri Nets and Concurrency - 44th International
Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13929},
pages = {99--119},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33620-1\_6},
doi = {10.1007/978-3-031-33620-1\_6},
timestamp = {Wed, 31 May 2023 14:56:55 +0200},
biburl = {https://dblp.org/rec/conf/apn/SommersSD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/SommersVS23,
author = {Dominique Sommers and
Durairaja V. Varadarajan and
Natalia Sidorova},
editor = {Jan Martijn E. M. van der Werf and
Cristina Cabanillas and
Francesco Leotta and
Laura Genga},
title = {Trident: Generating Noisy Synthetic Processes with Ground Truth},
booktitle = {Doctoral Consortium and Demo Track 2023 at the International Conference
on Process Mining 2023 co-located with the 5th International Conference
on Process Mining {(ICPM} 2023), Rome, Italy, October 27, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3648},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3648/paper\_9762.pdf},
timestamp = {Thu, 11 Apr 2024 17:00:52 +0200},
biburl = {https://dblp.org/rec/conf/icpm/SommersVS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-05210,
author = {Dominique Sommers and
Natalia Sidorova and
Boudewijn F. van Dongen},
title = {Exact and Approximated Log Alignments for Processes with Inter-case
Dependencies},
journal = {CoRR},
volume = {abs/2304.05210},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.05210},
doi = {10.48550/ARXIV.2304.05210},
eprinttype = {arXiv},
eprint = {2304.05210},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-05210.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SommersSD22,
author = {Dominique Sommers and
Natalia Sidorova and
Boudewijn F. van Dongen},
editor = {Luca Bernardinello and
Laure Petrucci},
title = {Aligning Event Logs to Resource-Constrained {\(\nu\)}-Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 43rd International
Conference, {PETRI} {NETS} 2022, Bergen, Norway, June 19-24, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13288},
pages = {325--345},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06653-5\_17},
doi = {10.1007/978-3-031-06653-5\_17},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/SommersSD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JanickiLS21,
author = {Ryszard Janicki and
Slawomir Lasota and
Natalia Sidorova},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {183},
number = {3-4},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2085},
doi = {10.3233/FI-2021-2085},
timestamp = {Wed, 16 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/JanickiLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsn/LoveiNAYMS21,
author = {Peter Lovei and
Iryna Nazarchuk and
Suhaib Aslam and
Bin Yu and
Carl Megens and
Natalia Sidorova},
editor = {Rong{-}Hao Liang and
Alessandro Chiumento and
Przemyslaw Pawelczak and
Mathias Funk},
title = {Designing Micro-intelligences for Situated Affective Computing},
booktitle = {Proceedings of the 2021 Workshops on Computer Human Interaction in
IoT Applications co-located with the International Conference on Embedded
Wireless Systems and Networks {(EWSN} 2021) and the 13th {ACM} {SIGCHI}
Symposium on Engineering Interactive Computing Systems {(EICS} 2021),
Delft, Netherlands, February 17, 2021 and Eindhoven, Netherlands,
June 8, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2996},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2996/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:11 +0100},
biburl = {https://dblp.org/rec/conf/ewsn/LoveiNAYMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/VeenS21,
author = {Michael van der Veen and
Natalia Sidorova},
editor = {Erich Schweighofer},
title = {Signal Phrase Extraction: {A} Gateway to Information Retrieval Improvement
in Law Texts},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2021: The Thirty-fourth
Annual Conference, Vilnius, Lithuania, 8-10 December 2021},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {346},
pages = {127--130},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA210327},
doi = {10.3233/FAIA210327},
timestamp = {Fri, 26 May 2023 09:14:50 +0200},
biburl = {https://dblp.org/rec/conf/jurix/VeenS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2020,
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8},
doi = {10.1007/978-3-030-51831-8},
isbn = {978-3-030-51830-1},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bise/EckSA19,
author = {Maikel L. van Eck and
Natalia Sidorova and
Wil M. P. van der Aalst},
title = {Guided Interaction Exploration and Performance Analysis in Artifact-Centric
Process Models},
journal = {Bus. Inf. Syst. Eng.},
volume = {61},
number = {6},
pages = {649--663},
year = {2019},
url = {https://doi.org/10.1007/s12599-018-0546-0},
doi = {10.1007/S12599-018-0546-0},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bise/EckSA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaise/TaxASHA19,
author = {Niek Tax and
Emin Alasgarov and
Natalia Sidorova and
Reinder Haakma and
Wil M. P. van der Aalst},
title = {Generating time-based label refinements to discover more precise process
models},
journal = {J. Ambient Intell. Smart Environ.},
volume = {11},
number = {2},
pages = {165--182},
year = {2019},
url = {https://doi.org/10.3233/AIS-190519},
doi = {10.3233/AIS-190519},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaise/TaxASHA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiis/TaxSA19,
author = {Niek Tax and
Natalia Sidorova and
Wil M. P. van der Aalst},
title = {Discovering more precise process models from event logs by filtering
out chaotic activities},
journal = {J. Intell. Inf. Syst.},
volume = {52},
number = {1},
pages = {107--139},
year = {2019},
url = {https://doi.org/10.1007/s10844-018-0507-6},
doi = {10.1007/S10844-018-0507-6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jiis/TaxSA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/TaxLSFA18,
author = {Niek Tax and
Xixi Lu and
Natalia Sidorova and
Dirk Fahland and
Wil M. P. van der Aalst},
title = {The imprecisions of precision measures in process mining},
journal = {Inf. Process. Lett.},
volume = {135},
pages = {1--8},
year = {2018},
url = {https://doi.org/10.1016/j.ipl.2018.01.013},
doi = {10.1016/J.IPL.2018.01.013},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/TaxLSFA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/TaxDSAN18,
author = {Niek Tax and
Benjamin Dalmas and
Natalia Sidorova and
Wil M. P. van der Aalst and
Sylvie Norre},
title = {Interest-driven discovery of local process models},
journal = {Inf. Syst.},
volume = {77},
pages = {105--117},
year = {2018},
url = {https://doi.org/10.1016/j.is.2018.04.006},
doi = {10.1016/J.IS.2018.04.006},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/TaxDSAN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/TaxSAH18,
author = {Niek Tax and
Natalia Sidorova and
Wil M. P. van der Aalst and
Reinder Haakma},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining
World},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {374--384},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_20},
doi = {10.1007/978-3-319-91268-4\_20},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/TaxSAH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/EckSA18,
author = {Maikel L. van Eck and
Natalia Sidorova and
Wil M. P. van der Aalst},
editor = {Florian Daniel and
Quan Z. Sheng and
Hamid Motahari},
title = {Multi-instance Mining: Discovering Synchronisation in Artifact-Centric
Processes},
booktitle = {Business Process Management Workshops - {BPM} 2018 International Workshops,
Sydney, NSW, Australia, September 9-14, 2018, Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {342},
pages = {18--30},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-11641-5\_2},
doi = {10.1007/978-3-030-11641-5\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/EckSA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcse/EckMSBA18,
author = {Maikel L. van Eck and
Else Markslag and
Natalia Sidorova and
Angelique Brosens{-}Kessels and
Wil M. P. van der Aalst},
editor = {Cristian Bogdan and
Kati Kuusinen and
Marta Krist{\'{\i}}n L{\'{a}}rusd{\'{o}}ttir and
Philippe A. Palanque and
Marco Winckler},
title = {Data-Driven Usability Test Scenario Creation},
booktitle = {Human-Centered Software Engineering - 7th {IFIP} {WG} 13.2 International
Working Conference, {HCSE} 2018, Sophia Antipolis, France, September
3-5, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11262},
pages = {88--108},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05909-5\_6},
doi = {10.1007/978-3-030-05909-5\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hcse/EckMSBA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/TaxSHA18,
author = {Niek Tax and
Natalia Sidorova and
Reinder Haakma and
Wil M. P. van der Aalst},
title = {Mining Local Process Models with Constraints Efficiently: Applications
to the Analysis of Smart Home Data},
booktitle = {14th International Conference on Intelligent Environments, {IE} 2018,
Roma, Italy, June 25-28, 2018},
pages = {56--63},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IE.2018.00016},
doi = {10.1109/IE.2018.00016},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/intenv/TaxSHA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csimq/EckFNSA17,
author = {Maikel L. van Eck and
Murat Firat and
Wim P. M. Nuijten and
Natalia Sidorova and
Wil M. P. van der Aalst},
title = {Human Performance-Aware Scheduling and Routing of a Multi-Skilled
Workforce},
journal = {Complex Syst. Informatics Model. Q.},
volume = {12},
pages = {1--21},
year = {2017},
url = {https://doi.org/10.7250/csimq.2017-12.01},
doi = {10.7250/CSIMQ.2017-12.01},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csimq/EckFNSA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wecwis/EckSA17,
author = {Maikel L. van Eck and
Natalia Sidorova and
Wil M. P. van der Aalst},
editor = {Peri Loucopoulos and
Yannis Manolopoulos and
Oscar Pastor and
Babis Theodoulidis and
Jelena Zdravkovic},
title = {Guided Interaction Exploration in Artifact-centric Process Models},
booktitle = {19th {IEEE} Conference on Business Informatics, {CBI} 2017, Thessaloniki,
Greece, July 24-27, 2017, Volume 1: Conference Papers},
pages = {109--118},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/CBI.2017.42},
doi = {10.1109/CBI.2017.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wecwis/EckSA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TaxDSAN17,
author = {Niek Tax and
Benjamin Dalmas and
Natalia Sidorova and
Wil M. P. van der Aalst and
Sylvie Norre},
title = {Interest-Driven Discovery of Local Process Models},
journal = {CoRR},
volume = {abs/1703.07116},
year = {2017},
url = {http://arxiv.org/abs/1703.07116},
eprinttype = {arXiv},
eprint = {1703.07116},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TaxDSAN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TaxLSFA17,
author = {Niek Tax and
Xixi Lu and
Natalia Sidorova and
Dirk Fahland and
Wil M. P. van der Aalst},
title = {The Imprecisions of Precision Measures in Process Mining},
journal = {CoRR},
volume = {abs/1705.03303},
year = {2017},
url = {http://arxiv.org/abs/1705.03303},
eprinttype = {arXiv},
eprint = {1705.03303},
timestamp = {Tue, 30 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TaxLSFA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TaxASAH17,
author = {Niek Tax and
Emin Alasgarov and
Natalia Sidorova and
Wil M. P. van der Aalst and
Reinder Haakma},
title = {Time-Based Label Refinements to Discover More Precise Process Models},
journal = {CoRR},
volume = {abs/1705.09359},
year = {2017},
url = {http://arxiv.org/abs/1705.09359},
eprinttype = {arXiv},
eprint = {1705.09359},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TaxASAH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TaxSHA17,
author = {Niek Tax and
Natalia Sidorova and
Reinder Haakma and
Wil M. P. van der Aalst},
title = {Mining Process Model Descriptions of Daily Life through Event Abstraction},
journal = {CoRR},
volume = {abs/1705.10202},
year = {2017},
url = {http://arxiv.org/abs/1705.10202},
eprinttype = {arXiv},
eprint = {1705.10202},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TaxSHA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EckSA17,
author = {Maikel L. van Eck and
Natalia Sidorova and
Wil M. P. van der Aalst},
title = {Guided Interaction Exploration in Artifact-centric Process Models},
journal = {CoRR},
volume = {abs/1706.02109},
year = {2017},
url = {http://arxiv.org/abs/1706.02109},
eprinttype = {arXiv},
eprint = {1706.02109},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EckSA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-01287,
author = {Niek Tax and
Natalia Sidorova and
Wil M. P. van der Aalst},
title = {Discovering More Precise Process Models from Event Logs by Filtering
Out Chaotic Activities},
journal = {CoRR},
volume = {abs/1711.01287},
year = {2017},
url = {http://arxiv.org/abs/1711.01287},
eprinttype = {arXiv},
eprint = {1711.01287},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-01287.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jides/TaxSHA16,
author = {Niek Tax and
Natalia Sidorova and
Reinder Haakma and
Wil M. P. van der Aalst},
title = {Mining local process models},
journal = {J. Innov. Digit. Ecosyst.},
volume = {3},
number = {2},
pages = {183--196},
year = {2016},
url = {https://doi.org/10.1016/j.jides.2016.11.001},
doi = {10.1016/J.JIDES.2016.11.001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jides/TaxSHA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/EckSA16a,
author = {Maikel L. van Eck and
Natalia Sidorova and
Wil M. P. van der Aalst},
editor = {Leonardo Azevedo and
Cristina Cabanillas},
title = {Composite State Machine Miner: Discovering and Exploring Multi-perspective
Processes},
booktitle = {Proceedings of the {BPM} Demo Track 2016 Co-located with the 14th
International Conference on Business Process Management {(BPM} 2016),
Rio de Janeiro, Brazil, September 21, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1789},
pages = {73--77},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1789/bpm-demo-2016-paper14.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:55 +0100},
biburl = {https://dblp.org/rec/conf/bpm/EckSA16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/EckSA16,
author = {Maikel L. van Eck and
Natalia Sidorova and
Wil M. P. van der Aalst},
editor = {Marcello La Rosa and
Peter Loos and
Oscar Pastor},
title = {Discovering and Exploring State-Based Models for Multi-perspective
Processes},
booktitle = {Business Process Management - 14th International Conference, {BPM}
2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9850},
pages = {142--157},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45348-4\_9},
doi = {10.1007/978-3-319-45348-4\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/EckSA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/TaxASH16,
author = {Niek Tax and
Emin Alasgarov and
Natalia Sidorova and
Reinder Haakma},
editor = {Bernd{-}Holger Schlingloff},
title = {On Generation of Time-based Label Refinements},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {25--36},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&\#38;P2016\_03\_Tax\&\#38;Alasgarov\&\#38;Sidorova\&\#38;Haakma\_On-Generation-of-Time-based-Label-Refinements.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/TaxASH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intellisys/TaxSHA16,
author = {Niek Tax and
Natalia Sidorova and
Reinder Haakma and
Wil M. P. van der Aalst},
editor = {Yaxin Bi and
Supriya Kapoor and
Rahul Bhatia},
title = {Event Abstraction for Process Mining Using Supervised Learning Techniques},
booktitle = {Proceedings of {SAI} Intelligent Systems Conference (IntelliSys) 2016
- Volume 1, London, UK, 21-22 September 2016},
series = {Lecture Notes in Networks and Systems},
volume = {15},
pages = {251--269},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-56994-9\_18},
doi = {10.1007/978-3-319-56994-9\_18},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intellisys/TaxSHA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/TaxSHA16,
author = {Niek Tax and
Natalia Sidorova and
Reinder Haakma and
Wil M. P. van der Aalst},
editor = {Robert J. Howlett and
Lakhmi C. Jain and
Bogdan Gabrys and
Carlos Toro and
Chee Peng Lim},
title = {Log-based Evaluation of Label Splits for Process Models},
booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
Proceedings of the 20th International Conference KES-2016, York, UK,
5-7 September 2016},
series = {Procedia Computer Science},
volume = {96},
pages = {63--72},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.procs.2016.08.096},
doi = {10.1016/J.PROCS.2016.08.096},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kes/TaxSHA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/EckSA16,
author = {Maikel L. van Eck and
Natalia Sidorova and
Wil M. P. van der Aalst},
title = {Enabling process mining on sensor data from smart products},
booktitle = {Tenth {IEEE} International Conference on Research Challenges in Information
Science, {RCIS} 2016, Grenoble, France, June 1-3, 2016},
pages = {1--12},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/RCIS.2016.7549355},
doi = {10.1109/RCIS.2016.7549355},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rcis/EckSA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/TaxSAH16,
author = {Niek Tax and
Natalia Sidorova and
Wil M. P. van der Aalst and
Reinder Haakma},
title = {Heuristic approaches for generating Local Process Models through log
projections},
booktitle = {2016 {IEEE} Symposium Series on Computational Intelligence, {SSCI}
2016, Athens, Greece, December 6-9, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SSCI.2016.7849948},
doi = {10.1109/SSCI.2016.7849948},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssci/TaxSAH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TaxSHA16,
author = {Niek Tax and
Natalia Sidorova and
Reinder Haakma and
Wil M. P. van der Aalst},
title = {Mining Local Process Models},
journal = {CoRR},
volume = {abs/1606.06066},
year = {2016},
url = {http://arxiv.org/abs/1606.06066},
eprinttype = {arXiv},
eprint = {1606.06066},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TaxSHA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TaxSHA16a,
author = {Niek Tax and
Natalia Sidorova and
Reinder Haakma and
Wil M. P. van der Aalst},
title = {Log-based Evaluation of Label Splits for Process Models},
journal = {CoRR},
volume = {abs/1606.07259},
year = {2016},
url = {http://arxiv.org/abs/1606.07259},
eprinttype = {arXiv},
eprint = {1606.07259},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TaxSHA16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TaxSHA16b,
author = {Niek Tax and
Natalia Sidorova and
Reinder Haakma and
Wil M. P. van der Aalst},
title = {Event Abstraction for Process Mining using Supervised Learning Techniques},
journal = {CoRR},
volume = {abs/1606.07283},
year = {2016},
url = {http://arxiv.org/abs/1606.07283},
eprinttype = {arXiv},
eprint = {1606.07283},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TaxSHA16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TaxASH16,
author = {Niek Tax and
Emin Alasgarov and
Natalia Sidorova and
Reinder Haakma},
title = {On Generation of Time-based Label Refinements},
journal = {CoRR},
volume = {abs/1609.03333},
year = {2016},
url = {http://arxiv.org/abs/1609.03333},
eprinttype = {arXiv},
eprint = {1609.03333},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TaxASH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TaxSAH16,
author = {Niek Tax and
Natalia Sidorova and
Wil M. P. van der Aalst and
Reinder Haakma},
title = {Heuristic Approaches for Generating Local Process Models through Log
Projections},
journal = {CoRR},
volume = {abs/1610.02876},
year = {2016},
url = {http://arxiv.org/abs/1610.02876},
eprinttype = {arXiv},
eprint = {1610.02876},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TaxSAH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/KocielnikS15,
author = {Rafal Kocielnik and
Natalia Sidorova},
title = {Personalized Stress Management: Enabling Stress Monitoring with LifelogExplorer},
journal = {K{\"{u}}nstliche Intell.},
volume = {29},
number = {2},
pages = {115--122},
year = {2015},
url = {https://doi.org/10.1007/s13218-015-0348-1},
doi = {10.1007/S13218-015-0348-1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/KocielnikS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/EckSA15,
author = {Maikel L. van Eck and
Natalia Sidorova and
Wil M. P. van der Aalst},
editor = {Janis Grabis and
Kurt Sandkuhl},
title = {KPI-based Activity Planning for People Working in Flexible Processes},
booktitle = {Proceedings of the CAiSE 2015 Forum at the 27th International Conference
on Advanced Information Systems Engineering co-located with 27th International
Conference on Advanced Information Systems Engineering (CAiSE 2015),
Stockholm, Sweden, June 10th, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1367},
pages = {97--104},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1367/paper-13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:34 +0100},
biburl = {https://dblp.org/rec/conf/caise/EckSA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HeeSW13,
author = {Kees M. van Hee and
Natalia Sidorova and
Jan Martijn E. M. van der Werf},
title = {Refinement of Synchronizable Places with Multi-workflow Nets},
journal = {Fundam. Informaticae},
volume = {122},
number = {1-2},
pages = {59--83},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-783},
doi = {10.3233/FI-2013-783},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HeeSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HeeSW13a,
author = {Kees M. van Hee and
Natalia Sidorova and
Jan Martijn E. M. van der Werf},
title = {Business Process Modeling Using Petri Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {7},
pages = {116--161},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38143-0\_4},
doi = {10.1007/978-3-642-38143-0\_4},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/HeeSW13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HeeSW13,
author = {Kees M. van Hee and
Natalia Sidorova and
Jan Martijn E. M. van der Werf},
title = {When Can We Trust a Third Party? - {A} Soundness Perspective},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {8},
pages = {106--122},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40465-8\_6},
doi = {10.1007/978-3-642-40465-8\_6},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/HeeSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/SidorovaS13,
author = {Natalia Sidorova and
Christian Stahl},
title = {Soundness for Resource-Constrained Workflow Nets Is Decidable},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {43},
number = {3},
pages = {724--729},
year = {2013},
url = {https://doi.org/10.1109/TSMCA.2012.2210415},
doi = {10.1109/TSMCA.2012.2210415},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/SidorovaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeeS13,
author = {Kees M. van Hee and
Natalia Sidorova},
editor = {Jos{\'{e}} Manuel Colom and
J{\"{o}}rg Desel},
title = {The Right Timing: Reflections on the Modeling and Analysis of Time},
booktitle = {Application and Theory of Petri Nets and Concurrency - 34th International
Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7927},
pages = {1--20},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38697-8\_1},
doi = {10.1007/978-3-642-38697-8\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeeS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/KocielnikSMOW13,
author = {Rafal Kocielnik and
Natalia Sidorova and
Fabrizio Maria Maggi and
Martin Ouwerkerk and
Joyce H. D. M. Westerink},
editor = {Pedro Pereira Rodrigues and
Mykola Pechenizkiy and
Jo{\~{a}}o Gama and
Ricardo Cruz{-}Correia and
Jiming Liu and
Agma J. M. Traina and
Peter J. F. Lucas and
Paolo Soda},
title = {Smart technologies for long-term stress monitoring at work},
booktitle = {Proceedings of the 26th {IEEE} International Symposium on Computer-Based
Medical Systems, Porto, Portugal, June 20-22, 2013},
pages = {53--58},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CBMS.2013.6627764},
doi = {10.1109/CBMS.2013.6627764},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cbms/KocielnikSMOW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/RamezaniSS13,
author = {Elham Ramezani and
Natalia Sidorova and
Christian Stahl},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Interval Soundness of Resource-Constrained Workflow Nets: Decidability
and Repair},
booktitle = {Fundamentals of Software Engineering - 5th International Conference,
{FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8161},
pages = {150--167},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40213-5\_10},
doi = {10.1007/978-3-642-40213-5\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/RamezaniSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ph/KocielnikMS13,
author = {Rafal Kocielnik and
Fabrizio Maria Maggi and
Natalia Sidorova},
title = {Enabling self-reflection with LifelogExplorer: Generating simple views
from complex data},
booktitle = {7th International Conference on Pervasive Computing Technologies for
Healthcare and Workshops, PervasiveHealth 2013, Venice, Italy, May
5-8, 2013},
pages = {184--191},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.4108/icst.pervasivehealth.2013.251934},
doi = {10.4108/ICST.PERVASIVEHEALTH.2013.251934},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ph/KocielnikMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeeSW12,
author = {Kees M. van Hee and
Natalia Sidorova and
Jan Martijn E. M. van der Werf},
editor = {Lawrence Cabac and
Michael Duvigneau and
Daniel Moldt},
title = {When Can We Trust a Third Party? - {A} Soundness Perspective},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, Hamburg, Germany, June 25-26, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {851},
pages = {47--59},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-851/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/HeeSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/KocielnikPS12,
author = {Rafal Kocielnik and
Mykola Pechenizkiy and
Natalia Sidorova},
editor = {Kalina Yacef and
Osmar R. Za{\"{\i}}ane and
Arnon Hershkovitz and
Michael Yudelson and
John C. Stamper},
title = {Stress Analytics in Education},
booktitle = {Proceedings of the 5th International Conference on Educational Data
Mining, Chania, Greece, June 19-21, 2012},
pages = {236--237},
publisher = {www.educationaldatamining.org},
year = {2012},
url = {http://educationaldatamining.org/EDM2012/uploads/procs/Posters/edm2012\_poster\_7.pdf},
timestamp = {Thu, 02 Jun 2022 10:23:43 +0200},
biburl = {https://dblp.org/rec/conf/edm/KocielnikPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SchunselaarMS12,
author = {Dennis M. M. Schunselaar and
Fabrizio Maria Maggi and
Natalia Sidorova},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
title = {Patterns for a Log-Based Strengthening of Declarative Compliance Models},
booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {327--342},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_23},
doi = {10.1007/978-3-642-30729-4\_23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SchunselaarMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihi/BakkerHKPS12,
author = {Jorn Bakker and
Leszek Holenderski and
Rafal Kocielnik and
Mykola Pechenizkiy and
Natalia Sidorova},
editor = {Gang Luo and
Jiming Liu and
Christopher C. Yang},
title = {Stess@Work: from measuring stress to its understanding, prediction
and handling with personalized coaching},
booktitle = {{ACM} International Health Informatics Symposium, {IHI} '12, Miami,
FL, USA, January 28-30, 2012},
pages = {673--678},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2110363.2110439},
doi = {10.1145/2110363.2110439},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ihi/BakkerHKPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/SchunselaarMSA12,
author = {Dennis M. M. Schunselaar and
Fabrizio Maria Maggi and
Natalia Sidorova and
Wil M. P. van der Aalst},
editor = {Robert Meersman and
Herv{\'{e}} Panetto and
Tharam S. Dillon and
Stefanie Rinderle{-}Ma and
Peter Dadam and
Xiaofang Zhou and
Siani Pearson and
Alois Ferscha and
Sonia Bergamaschi and
Isabel F. Cruz},
title = {Configurable Declare: Designing Customisable Flexible Process Models},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2012, Confederated
International Conferences: CoopIS, DOA-SVI, and {ODBASE} 2012, Rome,
Italy, September 10-14, 2012. Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7565},
pages = {20--37},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33606-5\_3},
doi = {10.1007/978-3-642-33606-5\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/SchunselaarMSA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AalstHHSVVW11,
author = {Wil M. P. van der Aalst and
Kees M. van Hee and
Arthur H. M. ter Hofstede and
Natalia Sidorova and
H. M. W. Verbeek and
Marc Voorhoeve and
Moe Thandar Wynn},
title = {Soundness of workflow nets: classification, decidability, and analysis},
journal = {Formal Aspects Comput.},
volume = {23},
number = {3},
pages = {333--363},
year = {2011},
url = {https://doi.org/10.1007/s00165-010-0161-4},
doi = {10.1007/S00165-010-0161-4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AalstHHSVVW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/SidorovaST11,
author = {Natalia Sidorova and
Christian Stahl and
Nikola Trcka},
title = {Soundness verification for conceptual workflow nets with data: Early
detection of errors with the most precision possible},
journal = {Inf. Syst.},
volume = {36},
number = {7},
pages = {1026--1043},
year = {2011},
url = {https://doi.org/10.1016/j.is.2011.04.004},
doi = {10.1016/J.IS.2011.04.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/SidorovaST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/AdriansyahSD11,
author = {Arya Adriansyah and
Natalia Sidorova and
Boudewijn F. van Dongen},
editor = {Beno{\^{\i}}t Caillaud and
Josep Carmona and
Kunihiko Hiraishi},
title = {Cost-Based Fitness in Conformance Checking},
booktitle = {11th International Conference on Application of Concurrency to System
Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
pages = {57--66},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ACSD.2011.19},
doi = {10.1109/ACSD.2011.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/AdriansyahSD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeeSW11,
author = {Kees M. van Hee and
Natalia Sidorova and
Jan Martijn E. M. van der Werf},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Refinement of Synchronizable Places with Multi-workflow Nets - Weak
Termination Preserved!},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {149--168},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_9},
doi = {10.1007/978-3-642-21834-7\_9},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeeSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/HeeRLS11,
author = {Kees M. van Hee and
Marcello La Rosa and
Zheng Liu and
Natalia Sidorova},
editor = {Stefanie Rinderle{-}Ma and
Farouk Toumani and
Karsten Wolf},
title = {Discovering Characteristics of Stochastic Collections of Process Models},
booktitle = {Business Process Management - 9th International Conference, {BPM}
2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6896},
pages = {298--312},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23059-2\_23},
doi = {10.1007/978-3-642-23059-2\_23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/HeeRLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/BakkerPS11,
author = {Jorn Bakker and
Mykola Pechenizkiy and
Natalia Sidorova},
editor = {Myra Spiliopoulou and
Haixun Wang and
Diane J. Cook and
Jian Pei and
Wei Wang and
Osmar R. Za{\"{\i}}ane and
Xindong Wu},
title = {What's Your Current Stress Level? Detection of Stress Patterns from
{GSR} Sensor Data},
booktitle = {Data Mining Workshops (ICDMW), 2011 {IEEE} 11th International Conference
on, Vancouver, BC, Canada, December 11, 2011},
pages = {573--580},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICDMW.2011.178},
doi = {10.1109/ICDMW.2011.178},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdm/BakkerPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/BratosinSA11,
author = {Carmen Bratosin and
Natalia Sidorova and
Wil M. P. van der Aalst},
editor = {Victor Malyshkin},
title = {Distributed Genetic Process Mining Using Sampling},
booktitle = {Parallel Computing Technologies - 11th International Conference, PaCT
2011, Kazan, Russia, September 19-23, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6873},
pages = {224--237},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23178-0\_20},
doi = {10.1007/978-3-642-23178-0\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pact/BratosinSA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/HeeLS11,
author = {Kees M. van Hee and
Zheng Liu and
Natalia Sidorova},
title = {Is my event log complete? - {A} probabilistic approach to process
mining},
booktitle = {Proceedings of the Fifth {IEEE} International Conference on Research
Challenges in Information Science, {RCIS} 2011, Gosier, Guadeloupe,
France, 19-21 May, 2011},
pages = {1--7},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/RCIS.2011.6006848},
doi = {10.1109/RCIS.2011.6006848},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rcis/HeeLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/AalstBST10,
author = {Wil M. P. van der Aalst and
Carmen Bratosin and
Natalia Sidorova and
Nikola Trcka},
title = {A reference model for grid architectures and its validation},
journal = {Concurr. Comput. Pract. Exp.},
volume = {22},
number = {11},
pages = {1365--1385},
year = {2010},
url = {https://doi.org/10.1002/cpe.1505},
doi = {10.1002/CPE.1505},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/AalstBST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BuchsKSSST10,
author = {Didier Buchs and
Fabrice Kordon and
Alexander Serebrenik and
Natalia Sidorova and
Jeremy Spronston and
Yann Thierry{-}Mieg},
editor = {Susanna Donatelli and
Jetty Kleijn and
Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes},
title = {Introduction},
booktitle = {Proceedings of the Workshops of the 31st International Conference
on Application and Theory of Petri Nets and Other Models of Concurrency
{(PETRI} {NETS} 2010) and of the 10th International Conference on
Application of Concurrency to System Design {(ACSD} 2010), Braga,
Portugal, June, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {827},
pages = {371},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-827/28\_DidierBuchs\_introduction.pdf},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/acsd/BuchsKSSST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/SchonenbergJSA10,
author = {Helen Schonenberg and
Jingxian Jian and
Natalia Sidorova and
Wil M. P. van der Aalst},
editor = {Barbara Pernici},
title = {Business Trend Analysis by Simulation},
booktitle = {Advanced Information Systems Engineering, 22nd International Conference,
CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6051},
pages = {515--529},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13094-6\_39},
doi = {10.1007/978-3-642-13094-6\_39},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/SchonenbergJSA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/SidorovaST10,
author = {Natalia Sidorova and
Christian Stahl and
Nikola Trcka},
editor = {Barbara Pernici},
title = {Workflow Soundness Revisited: Checking Correctness in the Presence
of Data While Staying Conceptual},
booktitle = {Advanced Information Systems Engineering, 22nd International Conference,
CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6051},
pages = {530--544},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13094-6\_40},
doi = {10.1007/978-3-642-13094-6\_40},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/SidorovaST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/BratosinSA10,
author = {Carmen Bratosin and
Natalia Sidorova and
Wil M. P. van der Aalst},
title = {Distributed genetic process mining},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2010, Barcelona, Spain, 18-23 July 2010},
pages = {1--8},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/CEC.2010.5586250},
doi = {10.1109/CEC.2010.5586250},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cec/BratosinSA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/BratosinSA10,
author = {Carmen Bratosin and
Natalia Sidorova and
Wil M. P. van der Aalst},
editor = {Rossitza Setchi and
Ivan Jordanov and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Discovering Process Models with Genetic Algorithms Using Sampling},
booktitle = {Knowledge-Based and Intelligent Information and Engineering Systems
- 14th International Conference, {KES} 2010, Cardiff, UK, September
8-10, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6276},
pages = {41--50},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15387-7\_8},
doi = {10.1007/978-3-642-15387-7\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kes/BratosinSA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/HeeSW10,
author = {Kees M. van Hee and
Natalia Sidorova and
Jan Martijn E. M. van der Werf},
editor = {Benoit Baudry and
Eric Wohlstadter},
title = {Construction of Asynchronous Communicating Systems: Weak Termination
Guaranteed!},
booktitle = {Software Composition - 9th International Conference, SC@TOOLS 2010,
Malaga, Spain, July 1-2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6144},
pages = {106--121},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14046-4\_8},
doi = {10.1007/978-3-642-14046-4\_8},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soco/HeeSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/HeeMSW10,
author = {Kees M. van Hee and
Arjan J. Mooij and
Natalia Sidorova and
Jan Martijn E. M. van der Werf},
editor = {Mario Bravetti and
Tevfik Bultan},
title = {Soundness-Preserving Refinements of Service Compositions},
booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
pages = {131--145},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19589-1\_9},
doi = {10.1007/978-3-642-19589-1\_9},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/HeeMSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HeeSVW09,
author = {Kees M. van Hee and
Natalia Sidorova and
Marc Voorhoeve and
Jan Martijn E. M. van der Werf},
title = {Generation of Database Transactions with Petri Nets},
journal = {Fundam. Informaticae},
volume = {93},
number = {1-3},
pages = {171--184},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0095},
doi = {10.3233/FI-2009-0095},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HeeSVW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HeeVSS09,
author = {Kees M. van Hee and
H. M. W. Verbeek and
Christian Stahl and
Natalia Sidorova},
title = {A Framework for Linking and Pricing No-Cure-No-Pay Services},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {2},
pages = {192--207},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00899-3\_11},
doi = {10.1007/978-3-642-00899-3\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/HeeVSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AalstHHSVVW09,
author = {Wil M. P. van der Aalst and
Kees M. van Hee and
Arthur H. M. ter Hofstede and
Natalia Sidorova and
H. M. W. Verbeek and
Marc Voorhoeve and
Moe Thandar Wynn},
title = {Soundness of Workflow Nets with Reset Arcs},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {3},
pages = {50--70},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04856-2\_3},
doi = {10.1007/978-3-642-04856-2\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/AalstHHSVVW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AalstHMSW09,
author = {Wil M. P. van der Aalst and
Kees M. van Hee and
Peter Massuthe and
Natalia Sidorova and
Jan Martijn E. M. van der Werf},
editor = {Giuliana Franceschinis and
Karsten Wolf},
title = {Compositional Service Trees},
booktitle = {Applications and Theory of Petri Nets, 30th International Conference,
{PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5606},
pages = {283--302},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02424-5\_17},
doi = {10.1007/978-3-642-02424-5\_17},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/AalstHMSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/TrckaAS09,
author = {Nikola Trcka and
Wil M. P. van der Aalst and
Natalia Sidorova},
editor = {Pascal van Eck and
Jaap Gordijn and
Roel J. Wieringa},
title = {Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows},
booktitle = {Advanced Information Systems Engineering, 21st International Conference,
CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5565},
pages = {425--439},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02144-2\_34},
doi = {10.1007/978-3-642-02144-2\_34},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/TrckaAS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/TrckaAS09,
author = {Nikola Trcka and
Wil M. P. van der Aalst and
Natalia Sidorova},
title = {Workflow completion patterns},
booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2009,
Bangalore, India, 22-25 August, 2011},
pages = {7--12},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/COASE.2009.5234170},
doi = {10.1109/COASE.2009.5234170},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/TrckaAS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/SchonenbergSAH09,
author = {Helen Schonenberg and
Natalia Sidorova and
Wil M. P. van der Aalst and
Kees M. van Hee},
editor = {Amir Pnueli and
Irina B. Virbitskaite and
Andrei Voronkov},
title = {History-Dependent Stochastic Petri Nets},
booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov
Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5947},
pages = {366--379},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11486-1\_31},
doi = {10.1007/978-3-642-11486-1\_31},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/SchonenbergSAH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/HeeOSSV08,
author = {Kees M. van Hee and
Olivia Oanea and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve},
title = {History-based joins: Semantics, soundness and implementation},
journal = {Data Knowl. Eng.},
volume = {64},
number = {1},
pages = {24--37},
year = {2008},
url = {https://doi.org/10.1016/j.datak.2007.06.005},
doi = {10.1016/J.DATAK.2007.06.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/HeeOSSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HeeSS08,
author = {Kees M. van Hee and
Alexander Serebrenik and
Natalia Sidorova},
title = {Token History Petri Nets},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {219--234},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-16},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HeeSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HeeSSA08,
author = {Kees M. van Hee and
Alexander Serebrenik and
Natalia Sidorova and
Wil M. P. van der Aalst},
title = {Working with the Past: Integrating History in Petri Nets},
journal = {Fundam. Informaticae},
volume = {88},
number = {3},
pages = {387--409},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi88-3-08},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HeeSSA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MassutheSSW08,
author = {Peter Massuthe and
Alexander Serebrenik and
Natalia Sidorova and
Karsten Wolf},
title = {Can {I} find a partner? Undecidability of partner existence for open
nets},
journal = {Inf. Process. Lett.},
volume = {108},
number = {6},
pages = {374--378},
year = {2008},
url = {https://doi.org/10.1016/j.ipl.2008.07.006},
doi = {10.1016/J.IPL.2008.07.006},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/MassutheSSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BlomDIKPRS08,
author = {Stefan Blom and
Thomas Dei{\ss} and
Natalia Ioustinova and
Ari Kontio and
Jaco van de Pol and
Axel Rennoch and
Natalia Sidorova},
title = {Simulated time for host-based testing with {TTCN-3}},
journal = {Softw. Test. Verification Reliab.},
volume = {18},
number = {1},
pages = {29--49},
year = {2008},
url = {https://doi.org/10.1002/stvr.372},
doi = {10.1002/STVR.372},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/BlomDIKPRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HeeKPSW08,
author = {Kees M. van Hee and
Jeroen Keiren and
Reinier Post and
Natalia Sidorova and
Jan Martijn E. M. van der Werf},
title = {Designing Case Handling Systems},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {1},
pages = {119--133},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89287-8\_8},
doi = {10.1007/978-3-540-89287-8\_8},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/HeeKPSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/TrckaSA08,
author = {Nikola Trcka and
Natalia Sidorova and
Wil M. P. van der Aalst},
title = {Soundness and Niceness as Correctness Criteria for Grid Workflows},
booktitle = {Fourth International Conference on e-Science, e-Science 2008, 7-12
December 2008, Indianapolis, IN, {USA}},
pages = {55--62},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/eScience.2008.85},
doi = {10.1109/ESCIENCE.2008.85},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eScience/TrckaSA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/TrckaABS08,
author = {Nikola Trcka and
Wil M. P. van der Aalst and
Carmen Bratosin and
Natalia Sidorova},
editor = {Theodore P. Baker and
Alain Bui and
S{\'{e}}bastien Tixeuil},
title = {Evaluating a Data Removal Strategy for Grid Environments Using Colored
Petri Nets},
booktitle = {Principles of Distributed Systems, 12th International Conference,
{OPODIS} 2008, Luxor, Egypt, December 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5401},
pages = {538--541},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92221-6\_35},
doi = {10.1007/978-3-540-92221-6\_35},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/TrckaABS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/BratosinAST08,
author = {Carmen Bratosin and
Wil M. P. van der Aalst and
Natalia Sidorova and
Nikola Trcka},
editor = {Robert Meersman and
Zahir Tari},
title = {A Reference Model for Grid Architectures and Its Analysis},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2008, {OTM} 2008
Confederated International Conferences, CoopIS, DOA, GADA, IS, and
{ODBASE} 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {5331},
pages = {898--913},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88871-0\_63},
doi = {10.1007/978-3-540-88871-0\_63},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/BratosinAST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/HeeSSVW07,
author = {Kees M. van Hee and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve and
Jan van der Wal},
title = {Scheduling-free resource management},
journal = {Data Knowl. Eng.},
volume = {61},
number = {1},
pages = {59--75},
year = {2007},
url = {https://doi.org/10.1016/j.datak.2006.04.008},
doi = {10.1016/J.DATAK.2006.04.008},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/HeeSSVW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HeeOSSVL07,
author = {Kees M. van Hee and
Olivia Oanea and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve and
Irina A. Lomazova},
title = {Checking Properties of Adaptive Workflow Nets},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {347--362},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-08},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HeeOSSVL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HeeOSSV07,
author = {Kees M. van Hee and
Olivia Oanea and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve},
title = {LogLogics: {A} logic for history-dependent business processes},
journal = {Sci. Comput. Program.},
volume = {65},
number = {1},
pages = {30--40},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.08.004},
doi = {10.1016/J.SCICO.2006.08.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/HeeOSSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeeSSA07,
author = {Kees M. van Hee and
Alexander Serebrenik and
Natalia Sidorova and
Wil M. P. van der Aalst},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {History-Dependent Petri Nets},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {164--183},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_12},
doi = {10.1007/978-3-540-73094-1\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeeSSA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/HeeSSVW07,
author = {Kees M. van Hee and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve and
Jan Martijn E. M. van der Werf},
editor = {Gustavo Alonso and
Peter Dadam and
Michael Rosemann},
title = {Modelling with History-Dependent Petri Nets},
booktitle = {Business Process Management, 5th International Conference, {BPM} 2007,
Brisbane, Australia, September 24-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4714},
pages = {320--327},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75183-0\_23},
doi = {10.1007/978-3-540-75183-0\_23},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/HeeSSVW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/HeeSSSW07,
author = {Kees M. van Hee and
Helen Schonenberg and
Alexander Serebrenik and
Natalia Sidorova and
Jan Martijn E. M. van der Werf},
editor = {Arthur H. M. ter Hofstede and
Boualem Benatallah and
Hye{-}Young Paik},
title = {Adaptive Workflows for Healthcare Information Systems},
booktitle = {Business Process Management Workshops, {BPM} 2007 International Workshops,
BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia,
September 24, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4928},
pages = {359--370},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78238-4\_37},
doi = {10.1007/978-3-540-78238-4\_37},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/HeeSSSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/CalameIPS07,
author = {Jens R. Calam{\'{e}} and
Natalia Ioustinova and
Jaco van de Pol and
Natalia Sidorova},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Bug Hunting with False Negatives},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {98--117},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_6},
doi = {10.1007/978-3-540-73210-5\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/CalameIPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/PesicSSA07,
author = {Maja Pesic and
M. H. Schonenberg and
Natalia Sidorova and
Wil M. P. van der Aalst},
editor = {Robert Meersman and
Zahir Tari},
title = {Constraint-Based Workflow Models: Change Made Easy},
booktitle = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE,
GADA, and IS, {OTM} Confederated International Conferences CoopIS,
DOA, ODBASE, GADA, and {IS} 2007, Vilamoura, Portugal, November 25-30,
2007, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {4803},
pages = {77--94},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76848-7\_7},
doi = {10.1007/978-3-540-76848-7\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/PesicSSA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/BratosinHS07,
author = {Carmen Bratosin and
Kees M. van Hee and
Natalia Sidorova},
editor = {Victor E. Malyshkin},
title = {Adaptive Workflow Nets for Grid Computing},
booktitle = {Parallel Computing Technologies, 9th International Conference, PaCT
2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4671},
pages = {15--21},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73940-1\_2},
doi = {10.1007/978-3-540-73940-1\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pact/BratosinHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/HeeSSV06,
author = {Kees M. van Hee and
Natalia Sidorova and
Lou J. Somers and
Marc Voorhoeve},
title = {Consistency in model integration},
journal = {Data Knowl. Eng.},
volume = {56},
number = {1},
pages = {4--22},
year = {2006},
url = {https://doi.org/10.1016/j.datak.2005.02.004},
doi = {10.1016/J.DATAK.2005.02.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/HeeSSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HeeSV06,
author = {Kees M. van Hee and
Natalia Sidorova and
Marc Voorhoeve},
title = {Resource-Constrained Workflow Nets},
journal = {Fundam. Informaticae},
volume = {71},
number = {2-3},
pages = {243--257},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi71-2-3-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HeeSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeeLOSSV06,
author = {Kees M. van Hee and
Irina A. Lomazova and
Olivia Oanea and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve},
editor = {Susanna Donatelli and
P. S. Thiagarajan},
title = {Nested Nets for Adaptive Systems},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2006, 27th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4024},
pages = {241--260},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767589\_14},
doi = {10.1007/11767589\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeeLOSSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/HeeOSSV06,
author = {Kees M. van Hee and
Olivia Oanea and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve},
editor = {Schahram Dustdar and
Jos{\'{e}} Luiz Fiadeiro and
Amit P. Sheth},
title = {History-Based Joins: Semantics, Soundness and Implementation},
booktitle = {Business Process Management, 4th International Conference, {BPM} 2006,
Vienna, Austria, September 5-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4102},
pages = {225--240},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841760\_16},
doi = {10.1007/11841760\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/HeeOSSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BlomDIKPRS06,
author = {Stefan Blom and
Thomas Dei{\ss} and
Natalia Ioustinova and
Ari Kontio and
Jaco van de Pol and
Axel Rennoch and
Natalia Sidorova},
editor = {Irina B. Virbitskaite and
Andrei Voronkov},
title = {{TTCN-3} for Distributed Testing Embedded Software},
booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov
Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30,
2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4378},
pages = {98--111},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70881-0\_11},
doi = {10.1007/978-3-540-70881-0\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/BlomDIKPRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/HeeOSV06,
author = {Kees M. van Hee and
Olivia Oanea and
Natalia Sidorova and
Marc Voorhoeve},
editor = {Irina B. Virbitskaite and
Andrei Voronkov},
title = {Verifying Generalized Soundness of Workflow Nets},
booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov
Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30,
2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4378},
pages = {235--247},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70881-0\_21},
doi = {10.1007/978-3-540-70881-0\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/HeeOSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/HeeOSSV06,
author = {Kees M. van Hee and
Olivia Oanea and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Modelling History-Dependent Business Processes},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {76--85},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 13:10:42 +0200},
biburl = {https://dblp.org/rec/conf/vveis/HeeOSSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeeSSV05,
author = {Kees M. van Hee and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve},
editor = {Gianfranco Ciardo and
Philippe Darondeau},
title = {Soundness of Resource-Constrained Workflow Nets},
booktitle = {Applications and Theory of Petri Nets 2005, 26th International Conference,
{ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3536},
pages = {250--267},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494744\_15},
doi = {10.1007/11494744\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeeSSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/CalameIPS05,
author = {Jens R. Calam{\'{e}} and
Natalia Ioustinova and
Jaco van de Pol and
Natalia Sidorova},
title = {Data Abstraction and Constraint Solving for Conformance Testing},
booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
15-17 December 2005, Taipei, Taiwan},
pages = {541--548},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/APSEC.2005.57},
doi = {10.1109/APSEC.2005.57},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/CalameIPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/HeeSSVW05,
author = {Kees M. van Hee and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve and
Jan van der Wal},
editor = {Wil M. P. van der Aalst and
Boualem Benatallah and
Fabio Casati and
Francisco Curbera},
title = {The Price of Coordination in Resource Management},
booktitle = {Business Process Management, 3rd International Conference, {BPM} 2005,
Nancy, France, September 5-8, 2005, Proceedings},
volume = {3649},
pages = {96--108},
year = {2005},
url = {https://doi.org/10.1007/11538394\_7},
doi = {10.1007/11538394\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/HeeSSVW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/BlomIPRS05,
author = {Stefan Blom and
Natalia Ioustinova and
Jaco van de Pol and
Axel Rennoch and
Natalia Sidorova},
editor = {Wolfgang Grieskamp and
Carsten Weise},
title = {Simulated Time for Testing Railway Interlockings with {TTCN-3}},
booktitle = {Formal Approaches to Software Testing, 5th International Workshop,
{FATES} 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3997},
pages = {1--15},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11759744\_1},
doi = {10.1007/11759744\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fates/BlomIPRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/HeeOS05,
author = {Kees M. van Hee and
Olivia Oanea and
Natalia Sidorova},
editor = {Robert Meersman and
Zahir Tari and
Mohand{-}Said Hacid and
John Mylopoulos and
Barbara Pernici and
{\"{O}}zalp Babaoglu and
Hans{-}Arno Jacobsen and
Joseph P. Loyall and
Michael Kifer and
Stefano Spaccapietra},
title = {Colored Petri Nets to Verify Extended Event-Driven Process Chains},
booktitle = {On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and
ODBASE, {OTM} Confederated International Conferences CoopIS, DOA,
and {ODBASE} 2005, Agia Napa, Cyprus, October 31 - November 4, 2005,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {3760},
pages = {183--201},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11575771\_14},
doi = {10.1007/11575771\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/HeeOS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeeSV04,
author = {Kees M. van Hee and
Natalia Sidorova and
Marc Voorhoeve},
editor = {Jordi Cortadella and
Wolfgang Reisig},
title = {Generalised Soundness of Workflow Nets Is Decidable},
booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference,
{ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3099},
pages = {197--215},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27793-4\_12},
doi = {10.1007/978-3-540-27793-4\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeeSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/HeeSSV04,
author = {Kees M. van Hee and
Natalia Sidorova and
Lou J. Somers and
Marc Voorhoeve},
editor = {J{\"{o}}rg Desel and
Barbara Pernici and
Mathias Weske},
title = {Consistency in Model Integration},
booktitle = {Business Process Management: Second International Conference, {BPM}
2004, Potsdam, Germany, June 17-18, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3080},
pages = {1--16},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25970-1\_1},
doi = {10.1007/978-3-540-25970-1\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/HeeSSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BosnackiIS04,
author = {Dragan Bosnacki and
Natalia Ioustinova and
Natalia Sidorova},
editor = {Susanne Graf and
Laurent Mounier},
title = {Using Fairness to Make Abstractions Work},
booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
pages = {198--215},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24732-6\_15},
doi = {10.1007/978-3-540-24732-6\_15},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/BosnackiIS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeeSV03,
author = {Kees M. van Hee and
Natalia Sidorova and
Marc Voorhoeve},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Soundness and Separability of Workflow Nets in the Stepwise Refinement
Approach},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {337--356},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_22},
doi = {10.1007/3-540-44919-1\_22},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeeSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BlomIS03,
author = {Stefan Blom and
Natalia Ioustinova and
Natalia Sidorova},
editor = {Manfred Broy and
Alexandre V. Zamulin},
title = {Timed Verification with {\(\mathrm{\mu}\)}CRL},
booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov
Memorial Conference, {PSI} 2003, Akademgorodok, Novosibirsk, Russia,
July 9-12, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2890},
pages = {178--192},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39866-0\_20},
doi = {10.1007/978-3-540-39866-0\_20},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/BlomIS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/IoustinovaSS03,
author = {Natalia Ioustinova and
Natalia Sidorova and
Martin Steffen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Synchronous Closing and Flow Analysis for Model Checking Timed Systems},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {292--313},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_14},
doi = {10.1007/978-3-540-30101-1\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/IoustinovaSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/IoustinovaSS02,
author = {Natalia Ioustinova and
Natalia Sidorova and
Martin Steffen},
title = {Abstraction and Flow Analysis for Model Checking Open Asynchronous
Systems},
booktitle = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
December 2002, Gold Coast, Queensland, Australia},
pages = {227},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/APSEC.2002.1182992},
doi = {10.1109/APSEC.2002.1182992},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/IoustinovaSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/IoustinovaSS02,
author = {Natalia Ioustinova and
Natalia Sidorova and
Martin Steffen},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Closing Open SDL-Systems for Model Checking with DTSpin},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {531--548},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_30},
doi = {10.1007/3-540-45614-7\_30},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/IoustinovaSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SidorovaS02,
author = {Natalia Sidorova and
Martin Steffen},
editor = {Agostino Cortesi},
title = {Synchronous Closing of Timed {SDL} Systems for Model Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International
Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2294},
pages = {79--93},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47813-2\_6},
doi = {10.1007/3-540-47813-2\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SidorovaS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/IoustinovaS01,
author = {Natalia Ioustinova and
Natalia Sidorova},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {A Transformation of {SDL} Specifications - {A} Step towards the Verification},
booktitle = {Perspectives of System Informatics, 4th International Andrei Ershov
Memorial Conference, {PSI} 2001, Akademgorodok, Novosibirsk, Russia,
July 2-6, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2244},
pages = {64--78},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45575-2\_9},
doi = {10.1007/3-540-45575-2\_9},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/IoustinovaS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SidorovaS01,
author = {Natalia Sidorova and
Martin Steffen},
editor = {Patrick Cousot},
title = {Embedding Chaos},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {319--334},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_18},
doi = {10.1007/3-540-47764-0\_18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SidorovaS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/SidorovaS01,
author = {Natalia Sidorova and
Martin Steffen},
editor = {Rick Reed and
Jeanne Reed},
title = {Verifying Large SDL-Specifications Using Model Checking},
booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen,
Denmark, June 27-29, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2078},
pages = {403--420},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48213-X\_25},
doi = {10.1007/3-540-48213-X\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdl/SidorovaS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SchnoebelenS00,
author = {Philippe Schnoebelen and
Natalia Sidorova},
editor = {Mogens Nielsen and
Dan Simpson},
title = {Bisimulation and the Reduction of Petri Nets},
booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference,
{ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {1825},
pages = {409--423},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44988-4\_23},
doi = {10.1007/3-540-44988-4\_23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/SchnoebelenS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SidorovaS00,
author = {Natalia Sidorova and
Martin Steffen},
title = {Verification of a wireless {ATM} medium-access protocol},
booktitle = {7th Asia-Pacific Software Engineering Conference {(APSEC} 2000), 5-8
December 2000, Singapore},
pages = {84--91},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/APSEC.2000.896686},
doi = {10.1109/APSEC.2000.896686},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/SidorovaS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BosnackiDHS00,
author = {Dragan Bosnacki and
Dennis Dams and
Leszek Holenderski and
Natalia Sidorova},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Model Checking {SDL} with Spin},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {363--377},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_25},
doi = {10.1007/3-540-46419-0\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BosnackiDHS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
