Search results for "conformance"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Heini Bergsson Debes, Thanassis Giannetsos	ZEKRO: Zero-Knowledge Proof of Integrity Conformance.	ARES	2022	DBLP DOI BibTeX RDF
14	Alexander Hambley, Yeliz Yesilada, Markel Vigo, Simon Harper	Optimising the website accessibility conformance evaluation methodology.	W4A	2022	DBLP DOI BibTeX RDF
14	Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler	Conformance Checking with Uncertainty via SMT.	BPM	2022	DBLP DOI BibTeX RDF
14	Mathilde Boltenhagen	Process Instance Clustering Based on Conformance Checking Artefacts.	BPM (PhD/Demos)	2022	DBLP BibTeX RDF
14	Heerko Groefsema, N. R. T. P. van Beest, Guido Governatori	On the Use of the Conformance and Compliance Keywords During Verification of Business Processes.	BPM (Forum)	2022	DBLP DOI BibTeX RDF
14	Eli Bogdanov, Izack Cohen, Avigdor Gal	Conformance Checking over Stochastically Known Logs.	BPM (Forum)	2022	DBLP DOI BibTeX RDF
14	Joscha Grüger, Tobias Geyer, Martin Kuhn, Stephan A. Braun, Ralph Bergmann	Declarative Guideline Conformance Checking of Clinical Treatments: A Case Study.	Business Process Management Workshops	2022	DBLP DOI BibTeX RDF
14	Akio Watanabe, Yousuke Takahashi, Hiroki Ikeuchi, Kotaro Matsuda	Grammar-Based Process Model Representation for Probabilistic Conformance Checking.	ICPM	2022	DBLP DOI BibTeX RDF
14	Azadeh Sadat Mozafari Mehr, Renata Medeiros de Carvalho, Boudewijn F. van Dongen	Detecting Complex Anomalous Behaviors in Business Processes: A Multi-perspective Conformance Checking Approach.	ICPM Workshops	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 - Case Study.	ICPM Workshops	2022	DBLP DOI BibTeX RDF
14	Joscha Grüger, Tobias Geyer, Martin Kuhn, Stephan A. Braun, Ralph Bergmann	Weighted Violations in Alignment-Based Conformance Checking.	ICPM Workshops	2022	DBLP DOI BibTeX RDF
14	Diego Marmsoler, Achim D. Brucker	Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing.	TAP@STAF	2022	DBLP DOI BibTeX RDF
14	Haruhiko Kaiya, Tomoya Misawa, Shinpei Ogata, Shinobu Saito, Hiroyuki Nakagawa, Hironori Takeuchi	A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking.	KES	2022	DBLP DOI BibTeX RDF
14	Apitchaka Singjai, Uwe Zdun	API Description-Based Conformance Assessment of Architectural Design Decision.	SOSE	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.	CoopIS	2022	DBLP DOI BibTeX RDF
14	Mimi Wang, Xudong He, Peihai Zhao	A Novel Estimate Fitness Method by Measuring A large number of Sub-event Logs Conformance.	IEEE Big Data	2022	DBLP DOI BibTeX RDF
14	Jing Zhao	Research on Conformance Engineering process of Airborne Software quality Assurance in Civil Aviation.	CSSE	2022	DBLP DOI BibTeX RDF
14	Evangelos Ntentos, Uwe Zdun, Jacopo Soldani, Antonio Brogi	Assessing Architecture Conformance to Coupling-Related Infrastructure-as-Code Best Practices: Metrics and Case Studies.	ECSA	2022	DBLP DOI BibTeX RDF
14	Yu-Xiang Lin, Bing-Kai Hong, Shin-Ming Cheng	Conformance Testing for 5G O-RAN Entities through MEC.	CANDARW	2022	DBLP DOI BibTeX RDF
14	Apitchaka Singjai, Uwe Zdun	Conformance Assessment of Architectural Design Decisions on the Mapping of Domain Model Elements to APIs and API Endpoints.	ICSA Companion	2022	DBLP DOI BibTeX RDF
14	Ria Rahmawati, Rachmadita Andreswari, Rokhman Fauzi	Analysis and Exploratory of Lecture Preparation Process to Improve the Conformance using Process Mining.	CCWC	2022	DBLP DOI BibTeX RDF
14	Habibur Rahaman, Santanu Chattopadhyay, Indranil Sengupta 0001, Debesh K. Das, Bhargab B. Bhattacharya	Easily-Verifiable Design of Non-Scan Sequential Machines for Conformance Checking.	VLSID	2022	DBLP DOI BibTeX RDF
14	Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler	A Modular SMT-based Approach for Data-aware Conformance Checking.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
14	Marius Breitmayer, Lisa Arnold 0001, Manfred Reichert	Enabling Conformance Checking for Object Lifecycle Processes.	RCIS	2022	DBLP DOI BibTeX RDF
14	Mahsa Pourbafrani, Majid Rafiei, Alessandro Berti, Wil M. P. van der Aalst	Interactive Business Process Comparison Using Conformance and Performance Insights - A Tool.	RCIS	2022	DBLP DOI BibTeX RDF
14	Piotr Luszczek, Cade Brown	Surrogate ML/AI Model Benchmarking for FAIR Principles' Conformance.	HPEC	2022	DBLP DOI BibTeX RDF
14	Evangelos Ntentos, Uwe Zdun, Ghareeb Falazi, Uwe Breitenbücher, Frank Leymann	Assessing Architecture Conformance to Security-Related Practices in Infrastructure as Code Based Deployments.	SCC	2022	DBLP DOI BibTeX RDF
14	Florian Rademacher	Correct-By-Construction Microservices with Model-Driven Engineering: The Case for Architectural Pattern Conformance Checking and Pattern-Conform Code Generation.	Microservices	2022	DBLP DOI BibTeX RDF
14	Rafael Ceballos, Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca	Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules.	Expert Syst. Appl.	2021	DBLP DOI BibTeX RDF
14	Bongjun Ji, Farhad Ameri, Hyunbo Cho	A non-conformance rate prediction method supported by machine learning and ontology in reducing underproduction cost and overproduction cost.	Int. J. Prod. Res.	2021	DBLP DOI BibTeX RDF
14	Wei Song 0003, Hans-Arno Jacobsen, Chengzhen Zhang, Xiaoxing Ma	Dependence-Based Data-Aware Process Conformance Checking.	IEEE Trans. Serv. Comput.	2021	DBLP DOI BibTeX RDF
14	Silvano Colombo Tosatto, Guido Governatori	Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice.	FLAP	2021	DBLP BibTeX RDF
14	Víctor Rodríguez-Fernández, Agnieszka Trzcionkowska, Antonio González-Pardo, Edyta Brzychczy, Grzegorz J. Nalepa, David Camacho	Conformance Checking for Time-Series-Aware Processes.	IEEE Trans. Ind. Informatics	2021	DBLP DOI BibTeX RDF
14	Aline Couto Oliveira, Leonardo Filipe da Silva, Marcelo Medeiros Eler, André Pimenta Freire	Accessibility of Brazilian Federal Agencies' Mobile Apps: Requirements, Conformance and Response to Complaints.	Braz. J. Inf. Syst.	2021	DBLP DOI BibTeX RDF
14	Wei-Wei Lin 0003, Zeng Hong-Wei, Yoon Jung Kim	A Combining Method for Wireless Protocol Conformance Testing: A Empirical Case.	Wirel. Commun. Mob. Comput.	2021	DBLP DOI BibTeX RDF
14	Francisco S. S. Silva, Andson Marreiros Balieiro, Francisco F. de Mendoça, Kelvin Lopes Dias, Paulo Guarda	A Conformance Testing Methodology and System for Cognitive Radios.	Wirel. Commun. Mob. Comput.	2021	DBLP DOI BibTeX RDF
14	Haifeng Gu, Jianning Zhang, Mingsong Chen, Tongquan Wei, Li Lei, Fei Xie	Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing.	IEEE Trans. Computers	2021	DBLP DOI BibTeX RDF
14	Han van der Aa, Henrik Leopold, Matthias Weidlich 0001	Partial Order Resolution of Event Logs for Process Conformance Checking (Extended abstract).	EMISA Forum	2021	DBLP BibTeX RDF
14	Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler	CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version).	CoRR	2021	DBLP BibTeX RDF
14	Florian Stertz, Juergen Mangler, Stefanie Rinderle-Ma	The Role of Time and Data: Online Conformance Checking in the Manufacturing Domain.	CoRR	2021	DBLP 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.	CoRR	2021	DBLP BibTeX RDF
14	Rashid Zaman, Marwan Hassani, Boudewijn F. van Dongen	A Framework for Efficient Memory Utilization in Online Conformance Checking.	CoRR	2021	DBLP BibTeX RDF
14	Daniel Schuster 0001, Gero J. Kolhof	Scalable Online Conformance Checking Using Incremental Prefix-Alignment Computation.	CoRR	2021	DBLP BibTeX RDF
14	Panyawut Sriiesaranusorn, Raula Gaikovina Kula, Takashi Ishio	Does Code Review Promote Conformance? A Study of OpenStack Patches.	CoRR	2021	DBLP BibTeX RDF
14	Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, Zheng Wang 0001	Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing.	CoRR	2021	DBLP BibTeX RDF
14	Blake Loring, Johannes Kinder	Systematic Generation of Conformance Tests for JavaScript.	CoRR	2021	DBLP BibTeX RDF
14	Alessandro Berti, Wil M. P. van der Aalst	A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement.	Trans. Petri Nets Other Model. Concurr.	2021	DBLP DOI BibTeX RDF
14	Sicui Zhang, Laura Genga, Hui Yan, Hongchao Nie, Xudong Lu, Uzay Kaymak	Towards Multi-perspective Conformance Checking with Fuzzy Sets.	Int. J. Interact. Multim. Artif. Intell.	2021	DBLP BibTeX RDF
14	Scott Kitterman, Tim Wicinski	Experimental Domain-Based Message Authentication, Reporting, and Conformance (DMARC) Extension for Public Suffix Domains.	RFC	2021	DBLP DOI BibTeX RDF
14	Alba Fernández-Izquierdo, Raúl García-Castro	Conformance testing of ontologies through ontology requirements.	Eng. Appl. Artif. Intell.	2021	DBLP DOI BibTeX RDF
14	Boudewijn F. van Dongen, Johannes De Smedt, Claudio Di Ciccio, Jan Mendling	Conformance checking of mixed-paradigm process models.	Inf. Syst.	2021	DBLP DOI BibTeX RDF
14	Sander J. J. Leemans, Wil M. P. van der Aalst, Tobias Brockhoff, Artem Polyvyanyy	Stochastic process mining: Earth movers' stochastic conformance.	Inf. Syst.	2021	DBLP DOI BibTeX RDF
14	Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Josep Carmona 0001, Robin Bergenthum	Empowering conformance checking using Big Data through horizontal decomposition.	Inf. Syst.	2021	DBLP DOI BibTeX RDF
14	Mieke Jans, Jochen De Weerdt, Benoît Depaire, Marlon Dumas, Gert Janssenswillen	Conformance Checking in Process Mining.	Inf. Syst.	2021	DBLP DOI BibTeX RDF
14	Marco Pegoraro 0001, Merih Seran Uysal, Wil M. P. van der Aalst	Conformance checking over uncertain event data.	Inf. Syst.	2021	DBLP DOI BibTeX RDF
14	Mathilde Boltenhagen, Thomas Chatain, Josep Carmona 0001	Optimized SAT encoding of conformance checking artefacts.	Computing	2021	DBLP DOI BibTeX RDF
14	Arava Tsoury, Pnina Soffer, Iris Reinhartz-Berger	How well did it recover? Impact-aware conformance checking.	Computing	2021	DBLP DOI BibTeX RDF
14	Matthias Weidlich 0001	Abweichungsanalyse (Conformance Checking).	Prozessmanagement und Process-Mining - Grundlagen	2021	DBLP BibTeX RDF
14	Rick William Lentz, Donald Paul Brutzman, Michalis Kamburelis	X3D and glTF Model Differencing for Conversions, Comparison and Conformance Testing.	Web3D	2021	DBLP DOI BibTeX RDF
14	Nicolas Herbaut, Camilo Correa, Jacques Robin, Raúl Mazo	SDN Intent-based conformance checking: application to security policies.	NetSoft	2021	DBLP DOI BibTeX RDF
14	Evangelos Ntentos, Uwe Zdun, Konstantinos Plakidas, Sebastian Geiger	Evaluating and Improving Microservice Architecture Conformance to Architectural Design Decisions.	ICSOC	2021	DBLP DOI BibTeX RDF
14	Abhishek Singh, Meenakshi D'Souza, Arshad Ebrahim	Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker.	SAC	2021	DBLP DOI BibTeX RDF
14	Matias Vara Larsen	Verifying the Conformance of a Driver Implementation to the VirtIO Specification.	DATE	2021	DBLP DOI BibTeX RDF
14	Kenji Taguchi 0001, Fuyuki Ishikawa	Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600.	SAFECOMP Workshops	2021	DBLP DOI BibTeX RDF
14	Anna Fariha, Ashish Tiwari 0001, Alexandra Meliou, Arjun Radhakrishna, Sumit Gulwani	CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning.	SIGMOD Conference	2021	DBLP DOI BibTeX RDF
14	Anna Fariha, Ashish Tiwari 0001, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou	Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems.	SIGMOD Conference	2021	DBLP DOI BibTeX RDF
14	Wai Lam Jonathan Lee	Advancing decomposed conformance checking in process mining.	BPM (PhD/Demos)	2021	DBLP BibTeX RDF
14	Martin Kabierski	Representativeness of Event Data in Conformance Checking.	BPM (PhD/Demos)	2021	DBLP BibTeX RDF
14	Álvaro Valencia-Parra, Angel Jesus Varela-Vaca, María Teresa Gómez-López, Josep Carmona 0001	CC4Spark: Distributing event logs and big complex conformance checking problems.	BPM (PhD/Demos)	2021	DBLP BibTeX RDF
14	Boudewijn F. van Dongen	Conformance Checking: A Systemic View.	Business Process Management Workshops	2021	DBLP DOI BibTeX RDF
14	Andrea Burattin, Alessandro Gianola, Hugo A. López 0001, Marco Montali	Exploring the Conformance Space (Extended abstract).	ITBPM@BPM	2021	DBLP BibTeX RDF
14	Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler	CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT.	BPM	2021	DBLP DOI BibTeX RDF
14	Chehara Pathmabandu, John C. Grundy, Mohan Baruwal Chhetri, Zubair A. Baig	ICME: an informed consent management engine for conformance in smart building environments.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
14	Zhen Zhang, Yu Feng 0001, Michael D. Ernst, Sebastian Porst, Isil Dillig	Checking conformance of applications against GUI policies.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
14	Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh 0001, Dominique Méry, Philippe A. Palanque	Standard Conformance-by-Construction with Event-B.	FMICS	2021	DBLP DOI BibTeX RDF
14	Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, Zheng Wang 0001	Automated conformance testing for JavaScript engines via deep compiler fuzzing.	PLDI	2021	DBLP DOI BibTeX RDF
14	Sebastian Friedl, Tonja Heinemann, Armin Lechler, Oliver Riedel	Implicit Templates for Conformance Units in OPC UA Companion Specifications.	ICIT	2021	DBLP DOI BibTeX RDF
14	Kristo Raun	Conformance Checking on Out-of-Order Streams (Extended Abstract).	ICPM Doctoral Consortium / Demo	2021	DBLP BibTeX RDF
14	Jesus Ojeda	Partial MaxSAT Computation of Conformance Checking Artefacts.	ICPM	2021	DBLP DOI BibTeX RDF
14	Gemma Di Federico	Online conformance checking to support human behavior study (Extended Abstract).	ICPM Doctoral Consortium / Demo	2021	DBLP BibTeX RDF
14	Ahmed Awad 0001, Kristo Raun, Matthias Weidlich 0001	Efficient Approximate Conformance Checking Using Trie Data Structures.	ICPM	2021	DBLP DOI BibTeX RDF
14	Joscha Grüger, Tobias Geyer, Martin Kuhn, Stephan A. Braun, Ralph Bergmann	Verifying Guideline Compliance in Clinical Treatment Using Multi-perspective Conformance Checking: A Case Study.	ICPM Workshops	2021	DBLP DOI BibTeX RDF
14	Luise Pufahl, Jana-Rebecca Rehse	Conformance Checking with Regulations - A Research Agenda.	EMISA	2021	DBLP BibTeX RDF
14	Bruno Menezes, Ana Teresa C. Martins, Thiago Alves Rocha	A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking.	SBMF	2021	DBLP DOI BibTeX RDF
14	Zhen Wei, Ying Wang 0002, Hongbin Yang	5G Radio Frequency Conformance Test Based on Polymorphic Adaptation.	APNOMS	2021	DBLP DOI BibTeX RDF
14	Weiwei Lin 0003, Hongwei Zeng	Test Sequence Generation Based on Chain Unique Input-Output Sequence in FSM Conformance Testing.	CSSE	2021	DBLP DOI BibTeX RDF
14	Yu Wang 0044, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic	Probabilistic conformance for cyber-physical systems.	ICCPS	2021	DBLP DOI BibTeX RDF
14	Evangelos Ntentos, Uwe Zdun, Konstantinos Plakidas, Sebastian Geiger	Semi-automatic Feedback for Improving Architecture Conformance to Microservice Patterns and Practices.	ICSA	2021	DBLP DOI BibTeX RDF
14	Michael D. Harrison, Paolo Masci 0001	Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment.	INTERACT (Workshops)	2021	DBLP DOI BibTeX RDF
14	Rui Calheno, Paulo Carvalho 0002, Solange Rito Lima, Pedro Rangel Henriques, Mateo Ramos Merino	Multi-perspective Conformance Checking Applied to BPMN-E2.	WorldCIST (2)	2021	DBLP DOI BibTeX RDF
14	Panyawut Sri-Iesaranusorn, Raula Gaikovina Kula, Takashi Ishio	Does Code Review Promote Conformance? A Study of OpenStack Patches.	MSR	2021	DBLP DOI BibTeX RDF
14	Jiahao Li, Mulya Agung, Hiroyuki Takizawa	Evaluating the Performance and Conformance of a SYCL Implementation for SX-Aurora TSUBASA.	PDCAT	2021	DBLP DOI BibTeX RDF
14	Mathilde Boltenhagen	Partitionnement d'instances de processus basé sur les techniques de conformité de modèles. (Process Instance Clustering Based on Conformance Checking Artefacts).		2021	RDF
14	Han van der Aa, Henrik Leopold, Matthias Weidlich 0001	Partial order resolution of event logs for process conformance checking.	Decis. Support Syst.	2020	DBLP DOI BibTeX RDF
14	Esther Asare, Lili Wang, Xianwen Fang	Conformance Checking: Workflow of Hospitals and Workflow of Open-Source EMRs.	IEEE Access	2020	DBLP DOI BibTeX RDF
14	Jaeyoung Hwang, Abdullah Aziz, NakMyoung Sung, Abbas Ahmad, Franck Le Gall, Jaeseung Song	AUTOCON-IoT: Automated and Scalable Online Conformance Testing for IoT Applications.	IEEE Access	2020	DBLP DOI BibTeX RDF
14	Leila Esmaeili, Alireza Hashemi Golpayegani	Conformance Checking of the Activity Network with the Social Relationships Structure in the Context of Social Commerce.	J. Theor. Appl. Electron. Commer. Res.	2020	DBLP DOI BibTeX RDF
14	Zhiguo Peng, Meifa Huang, Yanru Zhong, Leilei Chen, Guanghao Liu	A new method for interoperability and conformance checking of product manufacturing information.	Comput. Electr. Eng.	2020	DBLP DOI BibTeX RDF
14	Martin Bauer 0006, Han van der Aa, Matthias Weidlich 0001	Estimating Process Conformance by Trace Sampling and Result Approximation.	EMISA Forum	2020	DBLP BibTeX RDF
14	Han van der Aa, Henrik Leopold, Hajo A. Reijers	Efficient Process Conformance Checking on the Basis of Uncertain Event-to-Activity Mappings.	IEEE Trans. Knowl. Data Eng.	2020	DBLP DOI BibTeX RDF