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. |
J. Supercomput. |
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. |
ACM Trans. Web |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Giacomo Bergami, Samuel Appleby, Graham Morgan |
Quickening Data-Aware Conformance Checking through Temporal Algebras. |
Inf. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Adilson Luiz Bonifácio |
Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh |
Conformance Testing for Stochastic Cyber-Physical Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Gianola, Marco Montali, Sarah Winkler |
Object-Centric Conformance Alignments with Synchronization (Extended Version). |
CoRR |
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. |
CoRR |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ipek Ozkaya |
Infrastructure as Code and Software Architecture Conformance Checking. |
IEEE Softw. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Jari Peeperkorn, Seppe vanden Broucke, Jochen De Weerdt |
Global conformance checking measures using shallow representation and deep learning. |
Eng. Appl. Artif. Intell. |
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. |
Eng. Appl. Artif. Intell. |
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. |
Eng. Appl. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Elia Kouzari, Lazaros Sotiriadis, Ioannis Stamelos |
Enterprise information management systems development two cases of mining for process conformance. |
Int. J. Inf. Manag. Data Insights |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
Data-aware conformance checking with SMT. |
Inf. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Jesus Ojeda |
Conformance checking artefacts through weighted partial MaxSAT. |
Inf. Syst. |
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. |
Inf. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Sander J. J. Leemans, Artem Polyvyanyy |
Stochastic-aware precision and recall measures for conformance checking in process mining. |
Inf. Syst. |
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. |
Sensors |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Robert Sachtleben |
Conformance Relations between Input/Output Languages. |
Arch. Formal Proofs |
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. |
Int. J. Appl. Decis. Sci. |
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. |
Petri Nets |
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. |
PNSE@Petri Nets |
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. |
DEBS |
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. |
ICCMB |
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. |
CSF |
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). |
RE |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Wen-ling Huang, Robert Sachtleben |
Conformance Relations Between Input/Output Languages. |
Applicable Formal Methods for Safe Industrial Products |
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. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
14 | Oliver Michael Kamperis, Yongjing Wang, Marco Castellani 0001 |
Online Hierarchical Conformance Refinement Planning for Autonomous Robots. |
ICAC |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Michel Wermelinger |
Checking Conformance to a Subset of the Python Language. |
ITiCSE (2) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Eduardo Goulart Rocha, Wil M. P. van der Aalst |
Polynomial-Time Conformance Checking for Process Trees. |
BPM |
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. |
Business Process Management Workshops |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Marco Franceschetti, Ronny Seiger, Barbara Weber |
An Event-Centric Metamodel for IoT-Driven Process Monitoring and Conformance Checking. |
Business Process Management Workshops |
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. |
BPM (Demos / Resources Forum) |
2023 |
DBLP BibTeX RDF |
|
14 | Isabelle Kuhlmann, Carl Corea, John Grant |
Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP. |
Business Process Management Workshops |
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. |
CAiSE Research Projects Exhibition |
2023 |
DBLP BibTeX RDF |
|
14 | Kristo Raun, Max Nielsen, Andrea Burattin, Ahmed Awad 0001 |
C-3PA: Streaming Conformance, Confidence and Completeness in Prefix-Alignments. |
CAiSE |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe |
Assuring GDPR Conformance Through Language-Based Compliance. |
Privacy and Identity Management |
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. |
CACML |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Salman Omar Sohail, Sven Schneider 0002, Nico Hochgeschwender |
Automated Testing of Standard Conformance for Robots. |
CASE |
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. |
FMICS |
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. |
ICAA |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Michael Grohs |
Leveraging the Full Potential of Conformance Checking in Practice. |
ICPM Doctoral Consortium / Demo |
2023 |
DBLP BibTeX RDF |
|
14 | Finn Klessascheck |
Conformance Checking with Regulations for Sustainability. |
EMISA |
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. |
AIIoT |
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. |
OFC |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Bharat Garhewal, Carlos Diego Nascimento Damasceno |
An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning. |
MODELS |
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. |
HICSS |
2023 |
DBLP BibTeX RDF |
|
14 | Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh |
Conformance Testing for Stochastic Cyber-Physical Systems. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Uwe Zdun |
Conformance Assessment and Detection Strategies in Continuously Delivered Microservice Architectures. |
SQAMIA |
2023 |
DBLP BibTeX RDF |
|
14 | Fano Ramparany, Marie Bernert, Thomas Hassan |
Automating Building Regulations Conformance Checking Using a Semantic Approach - Preliminary Results. |
SemIIM |
2023 |
DBLP BibTeX RDF |
|
14 | Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee 0001 |
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. |
L4DC |
2023 |
DBLP BibTeX RDF |
|
14 | Omar Ismail, Alexander Fay |
Optimizing Virtual Commissioning of a Robotic System using Process Mining and Footprints Conformance Checking. |
INDIN |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Darius Foo, Andreea Costea, Wei-Ngan Chin |
Protocol Conformance with Choreographic PlusCal. |
TASE |
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. |
IEEE Trans. Serv. Comput. |
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. |
Proc. Priv. Enhancing Technol. |
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. |
Int. J. Pattern Recognit. Artif. Intell. |
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. |
IEEE Access |
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. |
Univers. Access Inf. Soc. |
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. |
Univers. Access Inf. Soc. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jeremy Mechouche, Roua Touihri, Mohamed Sellami, Walid Gaaloul |
Conformance checking for autonomous multi-cloud SLA management and adaptation. |
J. Supercomput. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Athanasios Vasileios Grammatopoulos, Ilias Politis, Christos Xenakis |
Blind software-assisted conformance and security assessment of FIDO2/WebAuthn implementations. |
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. |
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. |
Wirel. Commun. Mob. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Habibur Rahaman, Santanu Chattopadhyay, Indranil Sengupta 0001 |
Conformance Testing for Finite State Machines Guided by Deep Neural Network. |
J. Circuits Syst. Comput. |
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. |
Serv. Oriented Comput. Appl. |
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. |
Bus. Process. Manag. J. |
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. |
IEEE Trans. Software Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Eli Bogdanov, Izack Cohen, Avigdor Gal |
Conformance Checking Over Stochastically Known Logs. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee 0001 |
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Burattin |
Online Soft Conformance Checking: Any Perspective Can Indicate Deviations. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
14 | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
Conformance Checking with Uncertainty via SMT (Extended Version). |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Kristo Raun, Ahmed Awad 0001 |
I Will Survive: An Online Conformance Checking Algorithm Using Decay Time. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jiawei Zheng, Petros Papapanagiotou |
Alignment-based conformance checking over probabilistic events. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Larrauri, Roderick Bloem |
Conformance Testing of Mealy Machines Under Input Restrictions. |
CoRR |
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. |
CoRR |
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. |
CoRR |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Víctor Gallego-Fontenla, Juan Carlos Vidal, Manuel Lama |
Gradual Drift Detection in Process Models Using Conformance Metrics. |
CoRR |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Mudit Verma, Ayush Kharkwal, Subbarao Kambhampati |
Advice Conformance Verification by Reinforcement Learning agents for Human-in-the-Loop. |
CoRR |
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. |
Appl. Soft Comput. |
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. |
Log. Methods Comput. Sci. |
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. |
Inf. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Artem Polyvyanyy, Anna A. Kalenkova |
Conformance checking of partially matching processes: An entropy-based approach. |
Inf. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Apitchaka Singjai, Uwe Zdun |
Conformance assessment of Architectural Design Decisions on API endpoint designs derived from domain models. |
J. Syst. Softw. |
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. |
J. Syst. Softw. |
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. |
Oper. Res. |
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. |
J. Grid Comput. |
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. |
J. Biomed. Informatics |
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. |
Algorithms |
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. |
IET Softw. |
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. |
Comput. J. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Sander J. J. Leemans |
Robust Process Mining with Guarantees - Process Discovery, Conformance Checking and Enhancement |
|
2022 |
DOI RDF |
|
14 | Stefanie Rinderle-Ma, Florian Stertz, Juergen Mangler, Florian Pauker |
Process Mining - Discovery, Conformance, and Enhancement of Manufacturing Processes. |
Digital Transformation |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Josep Carmona 0001, Boudewijn F. van Dongen, Matthias Weidlich 0001 |
Conformance Checking: Foundations, Milestones and Challenges. |
Process Mining Handbook |
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. |
ICPS |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Rashid Zaman, Marwan Hassani, Boudewijn F. van Dongen |
Efficient memory utilization in conformance checking of process event streams. |
SAC |
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. |
AIAM |
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. |
DATE |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Masaru Sakai, Kensuke Takahashi |
Constructing a service process model based on distributed tracing for conformance checking of microservices. |
NOMS |
2022 |
DBLP DOI BibTeX RDF |
|