Search results for "conformance"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Yu Wang 0044, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic	Probabilistic Conformance for Cyber-Physical Systems.	CoRR	2020	DBLP BibTeX RDF
14	An Nguyen, Wenyu Zhang, Leo Schwinn, Bjoern M. Eskofier	Conformance Checking for a Medical Training Process Using Petri net Simulation and Sequence Alignment.	CoRR	2020	DBLP BibTeX RDF
14	Sebastian Dunzer, Matthias Stierle, Martin Matzner, Stephan Baier	Conformance checking: A state-of-the-art literature review.	CoRR	2020	DBLP BibTeX RDF
14	Sicui Zhang, Laura Genga, Hui Yan, Xudong Lu, Huilong Duan, Uzay Kaymak	Towards Multi-perspective conformance checking with fuzzy sets.	CoRR	2020	DBLP 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.	CoRR	2020	DBLP BibTeX RDF
14	Flavio Corradini, Andrea Morichetta 0001, Andrea Polini, Barbara Re 0001, Francesco Tiezzi 0001	Collaboration vs. choreography conformance in BPMN.	CoRR	2020	DBLP BibTeX RDF
14	Florian Stertz, Juergen Mangler, Stefanie Rinderle-Ma	Temporal Conformance Checking at Runtime based on Time-infused Process Models.	CoRR	2020	DBLP BibTeX RDF
14	Han van der Aa, Henrik Leopold, Matthias Weidlich 0001	Partial Order Resolution of Event Logs for Process Conformance Checking.	CoRR	2020	DBLP BibTeX RDF
14	Artem Polyvyanyy, Alistair Moffat, Luciano García-Bañuelos	An Entropic Relevance Measure for Stochastic Conformance Checking in Process Mining.	CoRR	2020	DBLP BibTeX RDF
14	Daniel Reißner, Abel Armas-Cervantes, Marcello La Rosa	Efficient Conformance Checking using Alignment Computation with Tandem Repeats.	CoRR	2020	DBLP BibTeX RDF
14	Khalil Mecheraoui, Julio Cesar Carrasquel, Irina A. Lomazova	Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems.	CoRR	2020	DBLP BibTeX RDF
14	Mike Kosek, Leo Blöcher, Jan Rüth, Torsten Zimmermann, Oliver Hohlfeld	MUST, SHOULD, DON'T CARE: TCP Conformance in the Wild.	CoRR	2020	DBLP BibTeX RDF
14	Boudewijn F. van Dongen, Johannes De Smedt, Claudio Di Ciccio, Jan Mendling	Conformance Checking of Mixed-paradigm Process Models.	CoRR	2020	DBLP BibTeX RDF
14	Ralph Foorthuis, Marlies van Steenbergen, Nino Mushkudiani, Wiel Bruls, Sjaak Brinkkemper, Rik Bos	On Course, But Not There Yet: Enterprise Architecture Conformance and Benefits in Systems Development.	CoRR	2020	DBLP BibTeX RDF
14	Marco Pegoraro 0001, Merih Seran Uysal, Wil M. P. van der Aalst	Conformance Checking over Uncertain Event Data.	CoRR	2020	DBLP BibTeX RDF
14	Andrew J. Simmons, Scott Barnett, Jessica Rivera-Villicana, Akshat Bajaj, Rajesh Vasa	A large-scale comparative analysis of Coding Standard conformance in Open-Source Data Science projects.	CoRR	2020	DBLP BibTeX RDF
14	Artem Polyvyanyy, Hanan Alkhammash, Claudio Di Ciccio, Luciano García-Bañuelos, Anna A. Kalenkova, Sander J. J. Leemans, Jan Mendling, Alistair Moffat, Matthias Weidlich 0001	Entropia: A Family of Entropy-Based Conformance Checking Measures for Process Mining.	CoRR	2020	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.	CoRR	2020	DBLP BibTeX RDF
14	Flavio Corradini, Andrea Morichetta 0001, Andrea Polini, Barbara Re 0001, Francesco Tiezzi 0001	Collaboration vs. choreography conformance in BPMN.	Log. Methods Comput. Sci.	2020	DBLP BibTeX RDF
14	Luca Piovesan, Paolo Terenziani, Daniele Theseider Dupré	Conformance analysis for comorbid patients in Answer Set Programming.	J. Biomed. Informatics	2020	DBLP DOI BibTeX RDF
14	Xiaochen Liu, Chunhe Xia, Tianbo Wang, Li Zhong, Xiaojian Li	A behavior-aware SLA-based framework for guaranteeing the security conformance of cloud service.	Frontiers Comput. Sci.	2020	DBLP DOI BibTeX RDF
14	Veera Raghavendra Chikka, Kamalakar Karlapalem	Conformance Checking Methodology Across Discharge Summaries and Standard Treatment Guidelines.	ACM Trans. Comput. Heal.	2020	DBLP DOI BibTeX RDF
14	Gedare Bloom, Joel Sherrill	Harmonizing ARINC 653 and Realtime POSIX for Conformance to the FACE Technical Standard.	ISORC	2020	DBLP DOI BibTeX RDF
14	Mike Kosek, Leo Blöcher, Jan Rüth, Torsten Zimmermann, Oliver Hohlfeld	MUST, SHOULD, DON'T CARE: TCP Conformance in the Wild.	PAM	2020	DBLP DOI BibTeX RDF
14	Evangelos Ntentos, Uwe Zdun, Konstantinos Plakidas, Sebastian Meixner, Sebastian Geiger	Metrics for Assessing Architecture Conformance to Microservice Architecture Patterns and Practices.	ICSOC	2020	DBLP DOI BibTeX RDF
14	Daniel Schuster 0001, Gero Joss Kolhof	Scalable Online Conformance Checking Using Incremental Prefix-Alignment Computation.	ICSOC Workshops	2020	DBLP DOI BibTeX RDF
14	Beyza Yaman, Kevin Thompson 0006, Rob Brennan	Quality Metrics to Measure the Standards Conformance of Geospatial Linked Data.	ISWC (Demos/Industry)	2020	DBLP BibTeX RDF
14	Lina Marsso, Radu Mateescu 0001, Wendelin Serwe	Automated Transition Coverage in Behavioural Conformance Testing.	ICTSS	2020	DBLP DOI BibTeX RDF
14	Yuming Ge, Qinglong Xie, Rundong Yu, Jianchao Ma, Qingwen Han, Qian Zhang	Design of Conformance Testing System for C-V2X Standard Protocol.	VTC Spring	2020	DBLP DOI BibTeX RDF
14	Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff	Establishing Reachset Conformance for the Formal Analysis of Analog Circuits.	ASP-DAC	2020	DBLP DOI BibTeX RDF
14	Maciej Gazda, Mohammad Reza Mousavi 0001	Logical Characterisation of Hybrid Conformance.	ICALP	2020	DBLP DOI BibTeX RDF
14	Taisa Kushner, Sriram Sankaranarayanan 0001, Marc D. Breton	Conformance verification for neural network models of glucose-insulin dynamics.	HSCC	2020	DBLP DOI BibTeX RDF
14	Emil J. Njor, Florian Lorber, Nikolaj I. Schmidt, Sebastian R. Petersen	Conformance Testing in UPPAAL: A diabolic approach.	ICST Workshops	2020	DBLP DOI BibTeX RDF
14	Eduardo F. de Lima, Ricardo Terra	ArchPython: architecture conformance checking for Python systems.	SBES	2020	DBLP DOI BibTeX RDF
14	Haifeng Xu, Jianfei Pang, Xi Yang, Jinghui Yu, Huajian Mao, Dongsheng Zhao	A Case Study of Conformance Checking for Diagnosis and Treatment of Ischemic Stroke based on Clinical Guidelines.	HEALTHINF	2020	DBLP BibTeX RDF
14	Anna Fariha, Ashish Tiwari 0001, Arjun Radhakrishna, Sumit Gulwani	ExTuNe: Explaining Tuple Non-conformance.	SIGMOD Conference	2020	DBLP DOI BibTeX RDF
14	Jari Peeperkorn, Seppe vanden Broucke, Jochen De Weerdt	Conformance Checking Using Activity and Trace Embeddings.	BPM (Forum)	2020	DBLP DOI BibTeX RDF
14	Sönke Knoch, Shreeraman Ponpathirkoottam, Tim Schwartz	Video-to-Model: Unsupervised Trace Extraction from Videos for Process Discovery and Conformance Checking in Manual Assembly.	BPM	2020	DBLP DOI BibTeX RDF
14	Florian Richter 0001, Janina Sontheim, Ludwig Zellner, Thomas Seidl 0001	TADE: Stochastic Conformance Checking Using Temporal Activity Density Estimation.	BPM	2020	DBLP DOI BibTeX RDF
14	Mohammadreza Fani Sani, Mathilde Boltenhagen, Wil M. P. van der Aalst	Prototype Selection Using Clustering and Conformance Metrics for Process Discovery.	Business Process Management Workshops	2020	DBLP DOI BibTeX RDF
14	Mohammadreza Fani Sani, Sebastiaan J. van Zelst, Wil M. P. van der Aalst	Conformance Checking Approximation Using Subset Selection and Edit Distance.	CAiSE	2020	DBLP DOI BibTeX RDF
14	Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza	Probabilistic Conformance Checking Based on Declarative Process Models.	CAiSE Forum	2020	DBLP DOI BibTeX RDF
14	Sander J. J. Leemans, Artem Polyvyanyy	Stochastic-Aware Conformance Checking: An Entropy-Based Approach.	CAiSE	2020	DBLP DOI BibTeX RDF
14	B. V. P. Prasad, Jing-Jou Tang, Liang-Chi Dai, Ying-Chao Chen	Conformance Test of Automotive CAN BUS Transceiver: Empirical Research of Industry Case.	ICKII	2020	DBLP DOI BibTeX RDF
14	Yuto Nakano, Toru Nakamura, Yasuaki Kobayashi, Masahito Ishizaka, Masayuki Hashimoto, Hiroyuki Yokoyama, Yutaka Miyake, Shinsaku Kiyomoto	Consideration on Data Conformance Toward Building Trust in Supply Chain.	EuCNC	2020	DBLP DOI BibTeX RDF
14	Sicui Zhang, Laura Genga, Lukas R. C. Dekker, Hongchao Nie, Xudong Lu, Huilong Duan, Uzay Kaymak	Towards Multi-perspective Conformance Checking with Aggregation Operations.	IPMU (1)	2020	DBLP DOI BibTeX RDF
14	Jiaojiao Wang, Dingguo Yu, Xiaoyu Ma, Chang Liu, Victor Chang 0001, Xuewen Shen	Online Predicting Conformance of Business Process with Recurrent Neural Networks.	IoTBDS	2020	DBLP DOI BibTeX RDF
14	Artem Polyvyanyy, Hanan Alkhammash, Claudio Di Ciccio, Luciano García-Bañuelos, Anna A. Kalenkova, Sander J. J. Leemans, Jan Mendling, Alistair Moffat, Matthias Weidlich 0001	Entropia: A Family of Entropy-Based Conformance Checking Measures for Process Mining.	ICPM Doctoral Consortium / Tools	2020	DBLP BibTeX RDF
14	Jari Peeperkorn, Seppe vanden Broucke, Jochen De Weerdt	Supervised Conformance Checking Using Recurrent Neural Network Classifiers.	ICPM Workshops	2020	DBLP DOI BibTeX RDF
14	Artem Polyvyanyy, Alistair Moffat, Luciano García-Bañuelos	An Entropic Relevance Measure for Stochastic Conformance Checking in Process Mining.	ICPM	2020	DBLP DOI BibTeX RDF
14	Mohammadreza Fani Sani, Juan J. Garza Gonzalez, Sebastiaan J. van Zelst, Wil M. P. van der Aalst	Conformance Checking Approximation Using Simulation.	ICPM	2020	DBLP DOI BibTeX RDF
14	Zhu Tang, Sudan Li, Peng Xun, Chengsong Wang, Wenping Deng, Baosheng Wang	Demo Abstract: AutoPCT: An Agile Protocol Conformance Automatic Test Platform Based on Editable EFSM.	INFOCOM Workshops	2020	DBLP DOI BibTeX RDF
14	Denise Maria Vecino Sato, Sheila Cristiana De Freitas, Marcelo Rosano Dallagassa, Edson Emílio Scalabrin, Eduardo A. P. Portela, Deborah Ribeiro Carvalho	Conformance checking with different levels of granularity : A case study on bariatric surgery.	CISP-BMEI	2020	DBLP DOI BibTeX RDF
14	Haifeng Xu, Jianfei Pang, Xi Yang, Liqun Ma, Huajian Mao, Dongsheng Zhao	Applying clinical guidelines to conformance checking for diagnosis and treatment: a case study of ischemic stroke.	BIBM	2020	DBLP DOI BibTeX RDF
14	Beyza Yaman, Kevin Thompson 0006, Rob Brennan	Standards Conformance Metrics for Geospatial Linked Data.	KGSWC	2020	DBLP DOI BibTeX RDF
14	Evangelos Ntentos, Uwe Zdun, Konstantinos Plakidas, Sebastian Meixner, Sebastian Geiger	Assessing Architecture Conformance to Coupling-Related Patterns and Practices in Microservices.	ECSA	2020	DBLP DOI BibTeX RDF
14	Junaid Iqbal, Dragos Truscan, Jüri Vain	Time semantics of executable activity diagrams for relativized conformance testing.	MoDELS (Companion)	2020	DBLP DOI BibTeX RDF
14	Leander Nachreiner, Alexander Raschke, Michael Stegmaier, Matthias Tichy	CouchEdit: a relaxed conformance editing approach.	MoDELS (Companion)	2020	DBLP DOI BibTeX RDF
14	Andrew J. Simmons, Scott Barnett, Jessica Rivera-Villicana, Akshat Bajaj, Rajesh Vasa	A large-scale comparative analysis of Coding Standard conformance in Open-Source Data Science projects.	ESEM	2020	DBLP DOI BibTeX RDF
14	Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi 0001, Sebastian Biewer, Holger Hermanns	Conformance-Based Doping Detection for Cyber-Physical Systems.	FORTE	2020	DBLP DOI BibTeX RDF
14	Julio Cesar Carrasquel, Khalil Mecheraoui, Irina A. Lomazova	Checking Conformance Between Colored Petri Nets and Event Logs.	AIST	2020	DBLP DOI BibTeX RDF
14	Elena A. Araujo, Álvaro M. Espíndola, Vinicius Cardoso Garcia, Ricardo Terra	Applying a Multi-platform Architectural Conformance Solution in a Real-world Microservice-based System.	SBCARS	2020	DBLP DOI BibTeX RDF
14	Florian Stertz, Juergen Mangler, Stefanie Rinderle-Ma	Data-driven Improvement of Online Conformance Checking.	EDOC	2020	DBLP DOI BibTeX RDF
14	Ronny Seiger, Francesca Zerbato, Andrea Burattin, Luciano García-Bañuelos, Barbara Weber	Towards IoT-driven Process Event Log Generation for Conformance Checking in Smart Factories.	EDOC Workshops	2020	DBLP DOI BibTeX RDF
14	Jacopo Soldani, Lars Luthmann, Malte Lochau, Antonio Brogi	Testing Conformance in Multi-component Enterprise Application Management.	ESOCC	2020	DBLP DOI BibTeX RDF
14	Andrea Burattin	Streaming Process Discovery and Conformance Checking.	Encyclopedia of Big Data Technologies	2019	DBLP DOI BibTeX RDF
14	Jorge Munoz-Gama	Conformance Checking.	Encyclopedia of Big Data Technologies	2019	DBLP DOI BibTeX RDF
14	Josep Carmona 0001	Decomposed Process Discovery and Conformance Checking.	Encyclopedia of Big Data Technologies	2019	DBLP DOI BibTeX RDF
14	Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir	Logical characterisations, rule formats and compositionality for input-output conformance simulation.	J. Log. Algebraic Methods Program.	2019	DBLP DOI BibTeX RDF
14	Awad Mukbil, Umut Durak, Sven Hartmann	Conformance testing of FMI calling sequence for simulation environments.	Int. J. Model. Simul. Sci. Comput.	2019	DBLP DOI BibTeX RDF
14	Montserrat Estañol, Jorge Munoz-Gama, Josep Carmona 0001, Ernest Teniente	Conformance checking in UML artifact-centric business process models.	Softw. Syst. Model.	2019	DBLP DOI BibTeX RDF
14	Nan Li 0025	On-Orbit Event-Based Conformance Checking Using GPU.	IEEE Access	2019	DBLP DOI BibTeX RDF
14	M. Mercedes Martínez-González, María Luisa Alvite Díez	The support of constructs in thesaurus tools from a Semantic Web perspective: Framework to assess standard conformance.	Comput. Stand. Interfaces	2019	DBLP DOI BibTeX RDF
14	A. V. Nikeshin, V. Z. Shnitman	Testing the Conformance of Implementations of the EAP Protocol and Its Methods to Internet Specifications.	Program. Comput. Softw.	2019	DBLP DOI BibTeX RDF
14	Matthias Ehrendorfer, Juergen-Albrecht Fassmann, Juergen Mangler, Stefanie Rinderle-Ma	Combining Conformance Checking and Classification of XES Log Data for the Manufacturing Domain.	CoRR	2019	DBLP BibTeX RDF
14	Zinovy Diskin, Nicholas Annable, Alan Wassyng, Mark Lawford	Assurance via workflow+ modelling and conformance.	CoRR	2019	DBLP BibTeX RDF
14	Mohammadreza Fani Sani, Sebastiaan J. van Zelst, Wil M. P. van der Aalst	Conformance Checking Approximation using Subset Selection and Edit Distance.	CoRR	2019	DBLP BibTeX RDF
14	Xinli Cai, Peng Zhou, Shuhan Ding, Guoyang Chen, Weifeng Zhang 0003	Sionnx: Automatic Unit Test Generator for ONNX Conformance.	CoRR	2019	DBLP BibTeX RDF
14	Camila Sonoda Gomes, Adilson Luiz Bonifácio	Automatically Checking Conformance on Asynchronous Reactive Systems.	CoRR	2019	DBLP BibTeX RDF
14	Víctor Gallego-Fontenla, Juan Carlos Vidal, Manuel Lama	A Conformance Checking-based Approach for Drift Detection in Business Processes.	CoRR	2019	DBLP BibTeX RDF
14	Ramon Janssen, Frits W. Vaandrager, Jan Tretmans	Relating Alternating Relations for Conformance and Refinement.	CoRR	2019	DBLP BibTeX RDF
14	Lars Luthmann, Hendrik Göttmann, Malte Lochau	Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.	CoRR	2019	DBLP BibTeX RDF
14	Mohammadreza Fani Sani, Mathilde Boltenhagen, Wil M. P. van der Aalst	Prototype Selection Based on Clustering and Conformance Metrics for Model Discovery.	CoRR	2019	DBLP BibTeX RDF
14	Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff	Model Conformance for Cyber-Physical Systems: A Survey.	ACM Trans. Cyber Phys. Syst.	2019	DBLP DOI BibTeX RDF
14	Lars Luthmann, Stephan Mennicke, Malte Lochau	Unifying modal interface theories and compositional input/output conformance testing.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
14	Sebastiaan J. van Zelst, Alfredo Bolt, Marwan Hassani, Boudewijn F. van Dongen, Wil M. P. van der Aalst	Online conformance checking: relating event streams to process models using prefix-alignments.	Int. J. Data Sci. Anal.	2019	DBLP DOI BibTeX RDF
14	Burak Uzun, Bedir Tekinerdogan	Architecture conformance analysis using model-based testing: A case study approach.	Softw. Pract. Exp.	2019	DBLP DOI BibTeX RDF
14	Milan Rusko, Marián Trnka, Sakhia Darjaa, Jakub Rajcáni, Michael Finke, Tim H. Stelkens-Kobsch	Enhancing Air Traffic Management Security by Means of Conformance Monitoring and Speech Analysis.	Cognitive Infocommunications, Theory and Applications	2019	DBLP DOI BibTeX RDF
14	Wha-En Chen, Xiang-Yuan Fan	Design and Implementation of a SAS Conformance Test Tool for 5G Citizens Broadband Radio Service (CBRS).	ICCE-TW	2019	DBLP DOI BibTeX RDF
14	Iván Calvo, Mercedes G. Merayo, Manuel Núñez 0001, Francisco Palomo-Lozano	Conformance Relations for Fuzzy Automata.	IWANN (1)	2019	DBLP DOI BibTeX RDF
14	Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei 0001	Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines.	ICTSS	2019	DBLP DOI BibTeX RDF
14	Nhat-Hoa Tran, Toshiaki Aoki	Conformance Testing of Schedulers for DSL-based Model Checking.	SPIN	2019	DBLP DOI BibTeX RDF
14	Josep Carmona 0001, Matthias Weidlich 0001, Boudewijn F. van Dongen	Actionable Conformance Checking: From Intuitions to Code.	eBISS	2019	DBLP DOI BibTeX RDF
14	Farbod Taymouri	Light Methods for Conformance Checking of Business Processes.	BPM (PhD/Demos)	2019	DBLP BibTeX RDF
14	Martin Bauer 0006, Han van der Aa, Matthias Weidlich 0001	Estimating Process Conformance by Trace Sampling and Result Approximation.	BPM	2019	DBLP DOI BibTeX RDF
14	Arava Tsoury, Pnina Soffer, Iris Reinhartz-Berger	Impact-Aware Conformance Checking.	Business Process Management Workshops	2019	DBLP DOI BibTeX RDF
14	Mathilde Boltenhagen, Thomas Chatain, Josep Carmona 0001	Encoding Conformance Checking Artefacts in SAT.	Business Process Management Workshops	2019	DBLP DOI BibTeX RDF
14	Sander J. J. Leemans, Anja F. Syring, Wil M. P. van der Aalst	Earth Movers' Stochastic Conformance Checking.	BPM Forum	2019	DBLP DOI BibTeX RDF
14	Costin Pribeanu	Evaluating the conformance with WCAG2 of Romanian municipal websites.	RoCHI	2019	DBLP BibTeX RDF
14	Samet Ayhan, Hanan Samet	Data Management and Analytics System for Online Flight Conformance Monitoring and Anomaly Detection.	SIGSPATIAL/GIS	2019	DBLP DOI BibTeX RDF