Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Rui Calheno, Paulo Carvalho 0002, Solange Rito Lima, Pedro Rangel Henriques, Mateo Ramos Merino |
Improving conformance checking in process modelling: a multiperspective algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 79(16), pp. 18256-18292, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Chang-Ai Sun, An Fu, Jingting Jia, Meng Li, Jun Han 0004 |
Improving Conformance of Web Services: A Constraint-based Model-driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Web ![In: ACM Trans. Web 17(2), pp. 12:1-12:36, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Giacomo Bergami, Samuel Appleby, Graham Morgan |
Quickening Data-Aware Conformance Checking through Temporal Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. ![In: Inf. 14(3), pp. 173, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Adilson Luiz Bonifácio |
Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.07177, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh |
Conformance Testing for Stochastic Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.06474, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Gianola, Marco Montali, Sarah Winkler |
Object-Centric Conformance Alignments with Synchronization (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.08537, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Aranyak Maity, Ayan Banerjee 0001, Sandeep K. S. Gupta |
Detection of Unknown-Unknowns in Cyber-Physical Systems using Statistical Conformance with Physics Guided Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.02603, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ricardo Lopes, Vinh-Thong Ta, Ioannis Korkontzelos |
On the conformance of Android applications with children's data protection regulations and safeguarding guidelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.08492, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ipek Ozkaya |
Infrastructure as Code and Software Architecture Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 40(1), pp. 4-8, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Jari Peeperkorn, Seppe vanden Broucke, Jochen De Weerdt |
Global conformance checking measures using shallow representation and deep learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 123(Part), pp. 106393, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 126, pp. 106895, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Azadeh Sadat Mozafari Mehr, Renata Medeiros de Carvalho, Boudewijn F. van Dongen |
Explainable conformance checking: Understanding patterns of anomalous behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 126, pp. 106827, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Elia Kouzari, Lazaros Sotiriadis, Ioannis Stamelos |
Enterprise information management systems development two cases of mining for process conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Manag. Data Insights ![In: Int. J. Inf. Manag. Data Insights 3(1), pp. 100141, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
Data-aware conformance checking with SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 117, pp. 102230, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Jesus Ojeda |
Conformance checking artefacts through weighted partial MaxSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 114, pp. 102168, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Rashid Zaman, Marwan Hassani, Boudewijn F. van Dongen |
Conformance checking of process event streams with constraints on data retention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 117, pp. 102228, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Sander J. J. Leemans, Artem Polyvyanyy |
Stochastic-aware precision and recall measures for conformance checking in process mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 115, pp. 102197, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Shuang Chen, Minghao Zou, Rui Cao 0008, Ziqi Zhao, Qingtian Zeng |
Video Process Mining and Model Matching for Intelligent Development: Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(8), pp. 3812, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Robert Sachtleben |
Conformance Relations between Input/Output Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2023, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Parham Porouhan |
Treatment process conformance checking of patients (with sepsis and septic shock) in compliance with SSC and WMA using fuzzy miner algorithm in Fluxicon Disco. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Decis. Sci. ![In: Int. J. Appl. Decis. Sci. 16(4), pp. 385-421, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Felix Mannhardt, Sander J. J. Leemans, Christopher T. Schwanen, Massimiliano de Leoni |
Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings, pp. 77-98, 2023, Springer, 978-3-031-33619-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Tom Meyer |
A Symmetric Petri Net Model of Generic Publish-Subscribe Systems for Verification and Business Process Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), June 27, 2023, Lisbon, Portugal., pp. 88-109, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Kristo Raun, Riccardo Tommasini 0001, Ahmed Awad 0001 |
I Will Survive: An Event-driven Conformance Checking Approach Over Process Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the 17th ACM International Conference on Distributed and Event-based Systems, DEBS 2023, Neuchatel, Switzerland, June 27-30, 2023, pp. 49-60, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Miller F. Narvas, Yogi Tri Prasetyo, Reny Nadlifatin, Irene Dyah Ayuwati, Satria Fadil Persada |
Determining the Significance of Two Consecutive Fiscal Years of Non-Conformance Cost Data Set in Project Execution of Smart Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCMB ![In: Proceedings of the 6th International Conference on Computers in Management and Business, ICCMB 2023, Macau, China, January 13-15, 2023, pp. 128-132, 2023, ACM, 978-1-4503-9804-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Farzaneh Derakhshan, Zichao Zhang, Amit Vasudevan, Limin Jia 0001 |
Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 324-339, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Shivani Balwani, Saurabh Tiwari 0001, Sourish Dasgupta, Akhilesh Sharma |
AutoReco: A Tool for Recommending Requirements for their Non-Conformance with Requirement Templates (RTs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 31st IEEE International Requirements Engineering Conference, RE 2023, Hannover, Germany, September 4-8, 2023, pp. 365-366, 2023, IEEE, 979-8-3503-2689-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Wen-ling Huang, Robert Sachtleben |
Conformance Relations Between Input/Output Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 49-67, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yi Chen, Di Tang, Yepeng Yao, Mingming Zha, XiaoFeng Wang 0001, Xiaozhong Liu, Haixu Tang, Baoxu Liu |
Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 3529-3545, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Oliver Michael Kamperis, Yongjing Wang, Marco Castellani 0001 |
Online Hierarchical Conformance Refinement Planning for Autonomous Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAC ![In: 28th International Conference on Automation and Computing, ICAC 2023, Birmingham, UK, August 30 - Sept. 1, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-3585-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Michel Wermelinger |
Checking Conformance to a Subset of the Python Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE (2) ![In: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, ITiCSE 2023, Turku, Finland, July 7-12, 2023, pp. 573-574, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Eduardo Goulart Rocha, Wil M. P. van der Aalst |
Polynomial-Time Conformance Checking for Process Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management - 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings, pp. 109-125, 2023, Springer, 978-3-031-41619-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Mohammadreza Fani Sani, Martin Kabierski, Sebastiaan J. van Zelst, Wil M. P. van der Aalst |
Model-Independent Error Bound Estimation for Conformance Checking Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops - BPM 2023 International Workshops, Utrecht, The Netherlands, September 11-15, 2023, Revised Selected Papers, pp. 369-382, 2023, Springer, 978-3-031-50973-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Marco Franceschetti, Ronny Seiger, Barbara Weber |
An Event-Centric Metamodel for IoT-Driven Process Monitoring and Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops - BPM 2023 International Workshops, Utrecht, The Netherlands, September 11-15, 2023, Revised Selected Papers, pp. 131-143, 2023, Springer, 978-3-031-50973-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Mohammadreza Fani Sani, Juan J. Garza Gonzalez, Sebastiaan J. van Zelst, Wil M. P. van der Aalst |
Alignment Approximator: A ProM Plug-In to Approximate Conformance Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM (Demos / Resources Forum) ![In: Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum at BPM 2023 co-located with 21st International Conference on Business Process Management (BPM 2023), Utrecht, The Netherlands, September 11th to 15th, 2023., pp. 102-106, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Isabelle Kuhlmann, Carl Corea, John Grant |
Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops - BPM 2023 International Workshops, Utrecht, The Netherlands, September 11-15, 2023, Revised Selected Papers, pp. 396-408, 2023, Springer, 978-3-031-50973-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Marco Franceschetti, Ronny Seiger, Mauricio Jacobo González González, Enrique Garcia-Ceja, Luis Armando Rodriguez Flores, Luciano García-Bañuelos, Barbara Weber |
ProAmbitIon: Online Process Conformance Checking with Ambiguities Driven by the Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE Research Projects Exhibition ![In: Proceedings of the Research Projects Exhibition Papers Presented at the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023), Zaragoza, Spain, June 12-16, 2023., pp. 52-59, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Kristo Raun, Max Nielsen, Andrea Burattin, Ahmed Awad 0001 |
C-3PA: Streaming Conformance, Confidence and Completeness in Prefix-Alignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering - 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, Proceedings, pp. 437-453, 2023, Springer, 978-3-031-34559-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe |
Assuring GDPR Conformance Through Language-Based Compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Privacy and Identity Management ![In: Privacy and Identity Management. Sharing in a Digital World - 18th IFIP WG 9.2, 9.6/11.7, 11.6 International Summer School, Privacy and Identity 2023, Oslo, Norway, August 8-11, 2023, Revised Selected Papers, pp. 46-63, 2023, Springer, 978-3-031-57977-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yuxin Gong, Qian Zhang 0095, Weijia Sun, Chuancheng Ma, Yucheng Gong, Juxiu Wu, Xiqiang Yuan |
Two-channel Conformance Test Analysis of S-band Dual-polarization Radar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CACML ![In: Proceedings of the 2023 2nd Asia Conference on Algorithms, Computing and Machine Learning, CACML 2023, Shanghai, China, March 17-19, 2023, pp. 181-187, 2023, ACM, 978-1-4503-9944-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Salman Omar Sohail, Sven Schneider 0002, Nico Hochgeschwender |
Automated Testing of Standard Conformance for Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 19th IEEE International Conference on Automation Science and Engineering, CASE 2023, Auckland, New Zealand, August 26-30, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-2069-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga |
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, pp. 242-258, 2023, Springer, 978-3-031-43680-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee 0001 |
Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAA ![In: IEEE International Conference on Assured Autonomy, ICAA 2023, Laurel, MD, USA, June 6-8, 2023, pp. 19-28, 2023, IEEE, 979-8-3503-2601-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Michael Grohs |
Leveraging the Full Potential of Conformance Checking in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPM Doctoral Consortium / Demo ![In: 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., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Finn Klessascheck |
Conformance Checking with Regulations for Sustainability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMISA ![In: Proceedings of the 13th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA 2023), Stockholm, Sweden, May 11-12, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Muhammad Alfath Abibi, Yudi Priyadi, Ati Suci Dian Martha |
Object on Use Case Description: Sequence Diagram Conformance based on Step Performed using Text Pre-Processing on Sipranta Application SRS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIIoT ![In: 2023 IEEE World AI IoT Congress (AIIoT), Seattle, WA, USA, June 7-10, 2023, pp. 284-290, 2023, IEEE, 979-8-3503-3761-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Rafael Puerta, Mengyao Han, Mahdieh Joharifar, Richard Schatz, Yan-Ting Sun, Yuchuan Fan, Anders Djupsjöbacka, Grégory Maisons, Johan Abautret, Roland Teissier, Lu Zhang 0051, Sandis Spolitis, Muguang Wang, Vjaceslavs Bobrovs, Sebastian Lourdudoss, Xianbin Yu, Sergei Popov, Oskars Ozolins, Xiaodan Pang |
NR Conformance Testing of Analog Radio-over-LWIR FSO Fronthaul link for 6G Distributed MIMO Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2023, San Diego, CA, USA, March 5-9, 2023, pp. 1-3, 2023, IEEE, 978-1-957171-18-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Bharat Garhewal, Carlos Diego Nascimento Damasceno |
An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELS ![In: 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023, Västerås, Sweden, October 1-6, 2023, pp. 217-227, 2023, IEEE, 979-8-3503-2480-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Jana-Rebecca Rehse, Luise Pufahl, Michael Grohs, Lisa-Marie Klein |
Process Mining Meets Visual Analytics: The Case of Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 56th Hawaii International Conference on System Sciences, HICSS 2023, Maui, Hawaii, USA, January 3-6, 2023, pp. 5452-5461, 2023, ScholarSpace, 978-0-9981331-6-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh |
Conformance Testing for Stochastic Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 294-305, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Uwe Zdun |
Conformance Assessment and Detection Strategies in Continuously Delivered Microservice Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SQAMIA ![In: Proceedings of the Tenth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Bratislava, Slovakia, September 10-13, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Fano Ramparany, Marie Bernert, Thomas Hassan |
Automating Building Regulations Conformance Checking Using a Semantic Approach - Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SemIIM ![In: Proceedings of the Second International Workshop on Semantic Industrial Information Modelling (SemIIM 2023) co-located with the 22nd International Semantic Web Conference (ISWC 2023), Greece, Athens, 7 November 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee 0001 |
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
L4DC ![In: Learning for Dynamics and Control Conference, L4DC 2023, 15-16 June 2023, Philadelphia, PA, USA., pp. 76-89, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Omar Ismail, Alexander Fay |
Optimizing Virtual Commissioning of a Robotic System using Process Mining and Footprints Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 21st IEEE International Conference on Industrial Informatics, INDIN 2023, Lemgo, Germany, July 18-20, 2023, pp. 1-6, 2023, IEEE, 978-1-6654-9313-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Darius Foo, Andreea Costea, Wei-Ngan Chin |
Protocol Conformance with Choreographic PlusCal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 126-145, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Haoyu Luo, Xiao Liu 0004, Jin Liu 0016, Yun Yang 0001, John C. Grundy |
Runtime Verification of Business Cloud Workflow Temporal Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 15(2), pp. 833-846, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Vinh-Thong Ta 0001, Max Hashem Eiza |
DataProVe: Fully Automated Conformance Verification Between Data Protection Policies and System Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. Priv. Enhancing Technol. ![In: Proc. Priv. Enhancing Technol. 2022(1), pp. 565-585, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Tianhong Xiong, Maolin Pan, Yang Yu 0027, Dingjun Lou |
Conformance Between Choreography and Collaboration in BPMN Involving Multi-Instance Participants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Pattern Recognit. Artif. Intell. ![In: Int. J. Pattern Recognit. Artif. Intell. 36(7), pp. 2259013:1-2259013:21, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Indra Waspada, Riyanarto Sarno, Endang Siti Astuti, Hanung Nindito Prasetyo, Raden Budiraharjo |
Graph-Based Token Replay for Online Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 102737-102752, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Nancy Alajarmeh |
The extent of mobile accessibility coverage in WCAG 2.1: sufficiency of success criteria and appropriateness of relevant conformance levels pertaining to accessibility problems encountered by users who are visually impaired. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Univers. Access Inf. Soc. ![In: Univers. Access Inf. Soc. 21(2), pp. 507-532, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Nancy Alajarmeh |
Correction to: The extent of mobile accessibility coverage in WCAG 2.1: sufficiency of success criteria and appropriateness of relevant conformance levels pertaining to accessibility problems encountered by users who are visually impaired. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Univers. Access Inf. Soc. ![In: Univers. Access Inf. Soc. 21(3), pp. 791, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jeremy Mechouche, Roua Touihri, Mohamed Sellami, Walid Gaaloul |
Conformance checking for autonomous multi-cloud SLA management and adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 78(11), pp. 13004-13039, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Athanasios Vasileios Grammatopoulos, Ilias Politis, Christos Xenakis |
Blind software-assisted conformance and security assessment of FIDO2/WebAuthn implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. ![In: J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 13(2), pp. 96-127, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Yadi Wang, Wangyang Yu, Peng Teng, Guanjun Liu, Dongming Xiang |
A Detection Method for Abnormal Transactions in E-Commerce Based on Extended Data Flow Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Commun. Mob. Comput. ![In: Wirel. Commun. Mob. Comput. 2022, pp. 4434714:1-4434714:14, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Habibur Rahaman, Santanu Chattopadhyay, Indranil Sengupta 0001 |
Conformance Testing for Finite State Machines Guided by Deep Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 31(9), pp. 2250156:1-2250156:19, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jacopo Soldani, Lars Luthmann, Nicolas Gottwald, Malte Lochau, Antonio Brogi |
Compositional testing of management conformance for multi-component enterprise applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Serv. Oriented Comput. Appl. ![In: Serv. Oriented Comput. Appl. 16(3), pp. 209-225, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Minou Benraad, Baris Özkan, Oktay Türetken, Irene T. P. Vanderfeesten |
The influence of BPM-supportive culture and individual process orientation on process conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bus. Process. Manag. J. ![In: Bus. Process. Manag. J. 28(8), pp. 1-22, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Shaoying Liu, Shin Nakajima 0001 |
Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 48(2), pp. 691-712, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Eli Bogdanov, Izack Cohen, Avigdor Gal |
Conformance Checking Over Stochastically Known Logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.07507, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee 0001 |
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.01346, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Burattin |
Online Soft Conformance Checking: Any Perspective Can Indicate Deviations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.09222, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
Conformance Checking with Uncertainty via SMT (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.07461, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Kristo Raun, Ahmed Awad 0001 |
I Will Survive: An Online Conformance Checking Algorithm Using Decay Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.16702, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jiawei Zheng, Petros Papapanagiotou |
Alignment-based conformance checking over probabilistic events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.04309, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Larrauri, Roderick Bloem |
Conformance Testing of Mealy Machines Under Input Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.07441, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Elisabetta Benevento, Marco Pegoraro 0001, Mattia Antoniazzi, Harry H. Beyel, Viki Peeva, Paul Balfanz, Wil M. P. van der Aalst, Lukas Martin, Gernot Marx |
Process Modeling and Conformance Checking in Healthcare: A COVID-19 Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.10897, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Schuster 0001, Niklas Föcking, Sebastiaan J. van Zelst, Wil M. P. van der Aalst |
Conformance Checking for Trace Fragments Using Infix and Postfix Alignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.04290, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Joscha Grüger, Tobias Geyer, Martin Kuhn, Stefan Braun, Ralph Bergmann |
Declarative Guideline Conformance Checking of Clinical Treatments: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.09535, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Víctor Gallego-Fontenla, Juan Carlos Vidal, Manuel Lama |
Gradual Drift Detection in Process Models Using Conformance Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.11007, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jana-Rebecca Rehse, Luise Pufahl, Michael Grohs, Lisa-Marie Klein |
Process Mining Meets Visual Analytics: The Case of Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.09712, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Mudit Verma, Ayush Kharkwal, Subbarao Kambhampati |
Advice Conformance Verification by Reinforcement Learning agents for Human-in-the-Loop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.03455, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Sicui Zhang, Laura Genga, Lukas R. C. Dekker, Hongchao Nie, Xudong Lu, Huilong Duan, Uzay Kaymak |
Fuzzy multi-perspective conformance checking for business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 130, pp. 109710, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi 0001 |
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(1), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Martin Bauer 0006, Han van der Aa, Matthias Weidlich 0001 |
Sampling and approximation techniques for efficient process conformance checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 104, pp. 101666, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Artem Polyvyanyy, Anna A. Kalenkova |
Conformance checking of partially matching processes: An entropy-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 106, pp. 101720, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Apitchaka Singjai, Uwe Zdun |
Conformance assessment of Architectural Design Decisions on API endpoint designs derived from domain models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 193, pp. 111433, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | André de S. Landi, Daniel San Martín, Bruno Marinho Santos, Warteruzannan Soyer Cunha, Rafael S. Durelli, Valter Vieira de Camargo |
Architectural conformance checking for KDM-represented systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 183, pp. 111116, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Seung Ho Yoo, Dawoon Jung, Kun Soo Park |
Product design outsourcing in a supply chain: impact of the design and conformance quality trade-off. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 22(4), pp. 4029-4055, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jiaojiao Wang, Victor Chang 0001, Dongjin Yu, Chang Liu, Xiaoyu Ma, Dingguo Yu |
Conformance-oriented Predictive Process Monitoring in BPaaS Based on Combination of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Grid Comput. ![In: J. Grid Comput. 20(3), pp. 25, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Eimy Oliart, Eric Rojas 0001, Daniel Capurro |
Are we ready for conformance checking in healthcare? Measuring adherence to clinical guidelines: A scoping systematic literature review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 130, pp. 104076, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Zeeshan Tariq, Darryl Charles, Sally I. McClean, Ian R. McChesney, Paul N. Taylor |
Anomaly Detection for Service-Oriented Business Processes Using Conformance Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithms ![In: Algorithms 15(8), pp. 257, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Hyeon-Ah Moon, Sooyong Park |
Conformance evaluation of the top-100 Ethereum token smart contracts with Ethereum Request for Comment-20 functional specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Softw. ![In: IET Softw. 16(2), pp. 233-249, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jiawei Wu, Huangfei Cheng, Bin Cao 0004, Jiaxing Wang, Jing Fan |
ASCUE: An Adversarial Network-Based Semantical Conformance Checking Method for Unsupervised Event Extraction in Social Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 65(11), pp. 2939-2952, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Sander J. J. Leemans |
Robust Process Mining with Guarantees - Process Discovery, Conformance Checking and Enhancement ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
14 | Stefanie Rinderle-Ma, Florian Stertz, Juergen Mangler, Florian Pauker |
Process Mining - Discovery, Conformance, and Enhancement of Manufacturing Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Transformation ![In: Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective, pp. 363-383, 2022, Springer, 978-3-662-65003-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Josep Carmona 0001, Boudewijn F. van Dongen, Matthias Weidlich 0001 |
Conformance Checking: Foundations, Milestones and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Process Mining Handbook ![In: Process Mining Handbook, pp. 155-190, 2022, Springer, 978-3-031-08847-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Juliane Fischer, Birgit Vogel-Heuser, Fabian Haben, Luca Beuggert, Eva-Maria Neumann |
Towards Configurable Conformance Checks of PLC Software with Company-specific Guidelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPS ![In: 5th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2022, Coventry, United Kingdom, May 24-26, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-9770-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Rashid Zaman, Marwan Hassani, Boudewijn F. van Dongen |
Efficient memory utilization in conformance checking of process event streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, pp. 437-440, 2022, ACM, 978-1-4503-8713-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Baoqiang Zhang, Yang Li, Jin Li, Bin Fan, Ming Liang, Chao Hu |
Conformance requirements and test standard research for communication protocols of electric vehicle wireless power transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIAM ![In: 4th International Conference on Artificial Intelligence and Advanced Manufacturing, AIAM 2022, Hamburg, Germany, October 7-9, 2022, pp. 802-804, 2022, IEEE, 978-1-6654-6399-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu 0001, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe |
Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2022 Design, Automation & Test in Europe Conference & Exhibition, DATE 2022, Antwerp, Belgium, March 14-23, 2022, pp. 532-537, 2022, IEEE, 978-3-9819263-6-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Masaru Sakai, Kensuke Takahashi |
Constructing a service process model based on distributed tracing for conformance checking of microservices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: 2022 IEEE/IFIP Network Operations and Management Symposium, NOMS 2022, Budapest, Hungary, April 25-29, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-0601-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|