Search results for "conformance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere Kiss, Thomas Wallet	On-The-Fly Model-Based Testing of Web Services with Jambition.	WS-FM	2008	DBLP DOI BibTeX RDF
16	Mukund Raghavachari, Oded Shmueli	Efficient Revalidation of XML Documents.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	XML, validation, XML Schema, updates, subtyping
16	Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch	EWD: A metamodeling driven customizable multi-MoC system modeling framework.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	ForSyDe, MoC, heterogeneous system design, interoperable modeling language, Metamodeling, metamodel, SystemC, functional language, denotational semantics, Ptolemy II
16	Abdelkarim Erradi, Piyush Maheshwari	Enhancing Web Services Performance Using Adaptive Quality of Service Management.	WISE	2007	DBLP DOI BibTeX RDF	Adaptive Quality of Service Management, Differential QoS
16	Jesper Berthing, Thomas Maier	A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements.	SAFECOMP	2007	DBLP DOI BibTeX RDF	dependable architectures, safety related architectures, IEC61508
16	Giorgio Brajnik, Raffaella Lomuscio	SAMBA: a semi-automatic method for measuring barriers of accessibility.	ASSETS	2007	DBLP DOI BibTeX RDF	accessibility metric, accessibility, web accessibility, evaluation method, quality assessment
16	Guoqiang Shu, David Lee 0001	Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach.	ICDCS	2007	DBLP DOI BibTeX RDF
16	Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda	State Transition Model for Test Sequence Generation of MANET Clustering Protocols.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
16	Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten	Model-Based Testing of Thin-Client Web Applications.	FATES/RV	2006	DBLP DOI BibTeX RDF
16	Bertrand Jeannet, Thierry Jéron, Vlad Rusu	Model-Based Test Selection for Infinite-State Reactive Systems.	FMCO	2006	DBLP DOI BibTeX RDF
16	Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali	An abductive framework for a-priori verification of web services.	PPDP	2006	DBLP DOI BibTeX RDF	web services, formal verification, constraints, choreographies, abduction
16	Kostas Saidis, George Pyrounakis, Mara Nikolaidou	On the Effective Manipulation of Digital Objects: A Prototype-Based Instantiation Approach.	ECDL	2005	DBLP DOI BibTeX RDF
16	Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro	Choreography and Orchestration: A Synergic Approach for System Design.	ICSOC	2005	DBLP DOI BibTeX RDF
16	Youngkon Lee	ebXML Test Framework on Dually Coupled Asynchronous MSH.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF	SOAP-RPC, Test Service, Test Driver, ebXML
16	Deepak S. Yavagal, Seok Won Lee, Gail-Joon Ahn, Robin A. Gandhi	Common criteria requirements modeling and its uses for quality of information assurance (QoIA).	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	information assurance metrics & measures, ontology, requirements modeling, common criteria
16	Henry Muccini, Marcio S. Dias, Debra J. Richardson	Reasoning About Software Architecture-Based Regression Testing Through a Case Study.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
16	Martin Henkel, Jelena Zdravkovic	Supporting Development and Evolution of Service-based Processes.	ICEBE	2005	DBLP DOI BibTeX RDF
16	Yu-an Tan, Guo-min Lin, Hong Deng, Xue-lan Zhang	A WBEM Based Disk Array Management Provider.	CW	2005	DBLP DOI BibTeX RDF
16	Ehsan Samei, Alan H. Rowberg, Ellie Avraham, Craig W. Cornelius	Toward Clinically Relevant Standardization of Image Quality.	J. Digit. Imaging	2004	DBLP DOI BibTeX RDF	Display quality, display performance, display calibration, AAPM, luminance response, image quality, DICOM
16	Manu De Backer	On the Verification of Web Services Compatibility: A Petri Net Approach.	OTM Workshops	2004	DBLP DOI BibTeX RDF
16	Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, Pierluigi Pierini	Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
16	Natalia López, Manuel Núñez 0001, Ismael Rodríguez	Formal Specification of Symbolic-Probabilistic Systems.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
16	Mukund Raghavachari, Oded Shmueli	Efficient Schema-Based Revalidation of XML.	EDBT	2004	DBLP DOI BibTeX RDF
16	Omar Rafiq, Leo Cacciari	Coordination Algorithm for Distributed Testing.	J. Supercomput.	2003	DBLP DOI BibTeX RDF	test coordination procedures, controllability, observability, distributed testing, testing architecture
16	Sarolta Dibuz, Péter Krémer	Framework and Model for Automated Interoperability Test and Its Application to ROHC.	TestCom	2003	DBLP DOI BibTeX RDF
16	Tuomo Pyhälä, Keijo Heljanko	Specification Coverage Aided Test Selection.	ACSD	2003	DBLP DOI BibTeX RDF
16	Machiel van der Bijl, Arend Rensink, Jan Tretmans	Compositional Testing with ioco.	FATES	2003	DBLP DOI BibTeX RDF
16	Antonia Bertolino, Paola Inverardi, Henry Muccini	Formal Methods in Testing Software Architectures.	SFM	2003	DBLP DOI BibTeX RDF
16	Ramaswamy Chandramouli	A Policy Validation Framework for Enterprise Authorization Specification.	ACSAC	2003	DBLP DOI BibTeX RDF
16	Vrizlynn L. L. Thing, Henry C. J. Lee, Yi Xu	Designs and analysis of local mobility agents discovery, selection and failure detection for Mobile IPv6.	MWCN	2002	DBLP DOI BibTeX RDF
16	Tim Moors, Malathi Veeraraghavan, Zhifeng Tao, Xuan Zheng, Ramesh Badri	Experiences in automating the testing of SS7 signalling transfer points.	ISSTA	2002	DBLP DOI BibTeX RDF	STP, signaling system 7, signalling system 7, automation, SS7
16	Kenneth J. Turner, Ji He	Formally-Based Design Evaluation.	CHARME	2001	DBLP DOI BibTeX RDF
16	Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright	Class Refinement as Semantics of Correct Object Substitutability.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Class refinement, Code inheritance, Behavioural compatibility, Object substitutability, Semantics of object-oriented constructs, Implicit and explicit invariants, New methods, Correctness, Subtyping, Subclassing
16	Makoto Imamura, Osamu Moriguchi, Katsushi Suzuki, Hidekazu Tsuji	Sharing SGML/XML Document Information Conformable to Business Standards.	ICPP Workshops	1999	DBLP DOI BibTeX RDF
16	J. William Atwood, Morteza Ghodrat, Dariusz Tasak	Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols.	LCN	1999	DBLP DOI BibTeX RDF	Higher Layer Signaling, SSCOP, Simulation, Formal Specification, Asynchronous Transfer Mode, Validation, Observers
16	Luiz A. Paula Lima Jr., Ana R. Cavalli	Application of Embedded Testing Methods to Service Validation.	ICFEM	1998	DBLP DOI BibTeX RDF
16	Tomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff	Verification of Bounded Delay Asynchronous Circuits with Timed Traces.	AMAST	1998	DBLP DOI BibTeX RDF
16	Satish R. Thatte	Object Imaging.	ECOOP	1995	DBLP DOI BibTeX RDF
16	Hasan Ural, R. Short	An interactive test sequence generator.	SIGCOMM	1986	DBLP DOI BibTeX RDF
16	Marc W. A. Hornbeek	An integrated test center for SL-10 packet networks.	SIGCOMM	1985	DBLP DOI BibTeX RDF
14	Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz 0001	DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems.	ICWS	2011	DBLP DOI BibTeX RDF	Web services composition, Conformance, FSM, WS-BPEL, WS-CDL
14	Teduh Dirgahayu, Dick A. C. Quartel, Marten van Sinderen	Interaction refinement in the design of business collaborations.	SAC	2010	DBLP DOI BibTeX RDF	collaboration, interaction, refinement, abstraction, conformance
14	Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada	Online Testing Framework for Web Services.	ICST	2010	DBLP DOI BibTeX RDF	Composite of Web Services, Timed Extended Finite State Machine, Test Generation, BPEL, Conformance Testing, Online Testing
14	Guido de Caso	Behavioural validation of software engineering artefacts.	ICSE (2)	2010	DBLP DOI BibTeX RDF	code understanding, contract conformance, behaviour models
14	Guido de Caso	Behavioural validation of software engineering artefacts.	ICSE (2)	2010	DBLP DOI BibTeX RDF	code understanding, contract conformance, behaviour models
14	Michael Elliott, Ray Dawson, Janet Edwards	An evolutionary cultural-change approach to successful software process improvement.	Softw. Qual. J.	2009	DBLP DOI BibTeX RDF	Standards, Training, Culture, Conformance, Return-on-investment, Quality improvement
14	Amir Reza Yazdanshenas, Ramtin Khosravi	Using Domain-Specific Languages to Describe the Development Viewpoint of Software Architectures.	ITNG	2009	DBLP DOI BibTeX RDF	architecture conformance, architecture description, architectural views
14	Martin Weiglhofer, Franz Wotawa	Improving Coverage Based Test Purposes.	QSIC	2009	DBLP DOI BibTeX RDF	coverage based testing, tgv, model-based testing, conformance testing, LOTOS, test purposes
14	M. Ümit Uyar, Samrat S. Batth, Yu Wang 0012, Mariusz A. Fecko	Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Finite State Machine (FSM), Extended Finite State Machine (EFSM), Timed EFSM, Fault Modeling, Conformance Testing, Timers
14	Lihua Duan, Jessica Chen	An Approach to Testing with Embedded Context Using Model Checker.	ICFEM	2008	DBLP DOI BibTeX RDF	context-based testing, finite state machines, conformance testing, test sequences, distinguishing sequences
14	Johann Eder, Amirreza Tahamtan	Temporal Consistency of View Based Interorganizational Workflows.	UNISCON	2008	DBLP DOI BibTeX RDF	Interorganizational Workflow, Workflow View, Consistency, Temporal Constraints, Conformance
14	Henrik C. Bohnenkamp, Mariëlle Stoelinga	Quantitative testing.	EMSOFT	2008	DBLP DOI BibTeX RDF	conformance relations, robustness, test case generation, specification-based testing, test execution
14	Gordon Fraser 0001, Martin Weiglhofer, Franz Wotawa	Coverage Based Testing with Test Purposes.	QSIC	2008	DBLP DOI BibTeX RDF	input-output conformance, Session Initiation Protocol, model-based testing, LOTOS, coverage criteria, test purposes
14	Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa	Test purpose generation in an industrial application.	A-MOST	2007	DBLP DOI BibTeX RDF	fault-based test purposes, test purpose design, model-based testing, protocol conformance testing
14	Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh	A Bounded Incremental Test Generation Algorithm for Finite State Machines.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	finite state machine, conformance testing, incremental algorithms, test generation algorithms
14	Alain Faivre, Christophe Gaston, Pascale Le Gall	Symbolic Model Based Testing for Component Oriented Systems.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	ioco-based conformance testing, input/output symbolic transition system, symbolic execution, component based system
14	Eda Marchetti, Antonia Bertolino	Profiling and testing within domains to facilitate document exchangeability.	DOSTA	2007	DBLP DOI BibTeX RDF	automatic conformance testing, clinical document, XML schema
14	Christopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer	Achieving communication coverage in testing.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	timed state-based specifications, distributed systems, conformance testing, coverage criteria
14	Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, Keith Wansbrough	Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations.	POPL	2006	DBLP DOI BibTeX RDF	specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
14	Harry Gros-Desormeaux, Hacène Fouchal, Philippe Hunel	A Distributed Approach for Testing Timed Systems.	AICT/ICIW	2006	DBLP DOI BibTeX RDF	Timed Automata, Conformance Testing, Distributed Environment, P2P Computing, Protocol Engineering
14	Alexandre Petrenko, Nina Yevtushenko 0001	Testing from Partial Deterministic FSM Specifications.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	partially specified FSM, weak conformance testing, test generation, Finite State Machine, fault detection, checking experiment, state identification
14	Shadi Abou-Zahra	SemanticWeb enabled web accessibility evaluation tools.	W4A	2005	DBLP DOI BibTeX RDF	automated evaluation, semantic web, accessibility, validation, conformance testing, quality assurance
14	Kim Mens, Andy Kellens	Towards a Framework for Testing Structural Source-Code Regularities.	ICSM	2005	DBLP DOI BibTeX RDF	structural source-code regularities, intensional views and relations, automated conformance checking, tool support, maintenance and evolution, design documentation
14	Alexandre Petrenko, Sergiy Boroday, Roland Groz	Confirming Configurations in EFSM Testing.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	test derivation, model checking, Formal methods, model-based testing, conformance testing, functional testing, test design, extended finite state machine, state identification
14	Geoff T. Smith	Measuring the effectiveness of ACATS.	SIGAda	2004	DBLP DOI BibTeX RDF	ACATS, conformity assessment, validation, conformance, runtime
14	Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale, Paul D. Amer	A technique to generate feasible tests for communications systems with multiple timers.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	testing timers, conformance testing, timing constraints, test-case generation
14	Susanne Graf	Preface by the section editor.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Goals: Conformance testing, Formal verification Techniques: Static analysis, Tool integration Application domains: Asynchronous systems, Performance evaluation, Model-checking, Markov chains, Theorem proving, Security protocols, Slicing, Partial-order reductions, Probabilistic systems, Component-based approaches
14	Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale	Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers.	FORTE	2003	DBLP DOI BibTeX RDF	timed EFSM, timed extensions, conformance testing, SDL
14	Ahmed Khoumsi	A Temporal Approach for Testing Distributed Systems.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	distributed systems, controllability, observability, Conformance testing, waiting time, reaction time
14	John Horst, Thomas R. Kramer, Keith Stouffer, Joseph Falco, Hui-Min Huang, Frederick M. Proctor, Albert Wavering	Distributed Testing of an Equipment-Level Interface Specification.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	coordinate measuring machine, real-time systems, object-oriented, conformance test, test suite, distributed testing, interface specifications, metrology, validation test
14	Hubert Garavel, César Viho, Massimo Zendri	System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Verification, Formal specification, Testing, Formal methods, Validation, Code generation, Computer architecture, Test generation, Rapid prototyping, Process algebra, Conformance testing, Cache coherency, System level design, Co-design, lotos, Hardware design, Co-simulation, numa, cc-numa
14	Daniel Jackson 0001, Allison Waingold	Lightweight Extraction of Object Models from Bytecode.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	design conformance, lightweight analysis, reverse engineering, program understanding, type inference, Object model, class diagram
14	Ahmed Khoumsi	Testing Distributed Real Time Systems Using a Distributed Test Architecture.	ISCC	2001	DBLP DOI BibTeX RDF	Test distribution, Timed automata, Conformance testing, Distributed real-time system, Test architecture
14	Mang Li, Ina Schieferdecker, Arno Puder	A Test Framework for CORBA Interoperability.	EDOC	2001	DBLP DOI BibTeX RDF	ODMG-ODL, interoperability, CORBA, conformance testing, TTCN-3
14	Hacène Fouchal, Eric Petitjean, Sébastien Salva	Testing timed systems with timed purposes.	RTCSA	2000	DBLP DOI BibTeX RDF	timed systems testing, timed purposes, timed counterpart, timed input/output automaton, canonical tester, protocols, conformance testing, time constraints, labeled transition system, automata theory
14	Andreas Heberle, Welf Löwe, Rainer Neumann, Wolf Zimmermann	Weak Subtyping and Genericity.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	Genericity, Inheritance, Subtype, Conformance
14	Ousmane Koné	Experiment with the Validation of WAP Systems.	LCN	2000	DBLP DOI BibTeX RDF	WAP systems validation, French project, WAP session layer, WAP transaction service, interoperability test sequences, specification validation, reference tests, WAP products, interoperation, program verification, specification languages, open systems, conformance testing, sequences, SDL, Wireless Application Protocols, industry, access protocols, formal description technique, mobile terminals, Internet services, Internet telephony, mobile telephony
14	Cédric Besse, Ana R. Cavalli, David Lee 0001	An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol.	ASE	1999	DBLP DOI BibTeX RDF	SDL language, fault coverage, conformance testing, optimization techniques, TCP/IP protocol
14	B. Neelakantan, S. V. Raghavan	Scientific foundations to the multilevel method.	IEEE/ACM Trans. Netw.	1998	DBLP DOI BibTeX RDF	finite state machines, black box testing, test sequence, test methods, protocol conformance testing
14	V. V. Ostapenko	Test Selection Based on Implementation Specification.	EUROMICRO	1998	DBLP DOI BibTeX RDF	Conformance testing, Test selection, PICS, TTCN
14	Mohlalefi Sefika, Aamod Sane, Roy H. Campbell	Monitoring Compliance of a Software System with Its High-Level Design Models.	ICSE	1996	DBLP BibTeX RDF	/spl mu/Choices, coding guidelines, complex software system evolution, concrete rules, design-implementation congruence, documented design models, high cohesion, high-level design models, hybrid computer-assisted approach, implementation divergence, logic-based static analysis, low coupling, multimedia operating system, multiple code view, software system compliance monitoring, subjective design principles, software engineering, design patterns, monitoring, conformance testing, operating systems (computers), multimedia computing, connectors, architectural models, abstraction levels, dynamic visualization
14	Piyu Tripathy, Behçet Sarikaya	Test Generation from LOTOS Specifications.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	LOTOS specifications, formal specification, protocols, finite state machine, specification languages, program testing, program testing, transformation rules, chart, protocol conformance testing
14	Pankaj Jalote	Testing the Completeness of Specifications.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	completeness testing, VAX system, data structures, Unix, program testing, conformance testing, abstract data types, test cases, axiomatic specifications
14	Taha Hossein Hejazi	Optimization of degree of conformance for multi-response systems considering model imprecision: A data-driven metaheuristic approach.	Qual. Reliab. Eng. Int.	2024	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.	CoRR	2024	DBLP DOI BibTeX RDF
14	Daniel San Martín, Guisella Angulo, Valter Vieira de Camargo	A KDM-Based Approach for Architecture Conformance Checking in Adaptive Systems.	CoRR	2024	DBLP DOI BibTeX RDF
14	Clinton Cao, Simon Schneider, Nicolás E. Díaz Ferreyra, Sicco Verwer, Annibale Panichella, Riccardo Scandariato	CATMA: Conformance Analysis Tool For Microservice Applications.	CoRR	2024	DBLP DOI BibTeX RDF
14	Sergey Prokopev	Cryptographic protocol conformance testing based on domain-specific state machine.	J. Comput. Virol. Hacking Tech.	2024	DBLP DOI BibTeX RDF
14	Faeze Momeni Rad, Christoph Sydora, Karim El-Basyouny	Leveraging Generative Design and Point Cloud Data to Improve Conformance to Passing Lane Layout.	Sensors	2024	DBLP DOI BibTeX RDF
14	Sicui Zhang, Laura Genga, Lukas R. C. Dekker, Hongchao Nie, Xudong Lu, Huilong Duan, Uzay Kaymak	Re-ordered fuzzy conformance checking for uncertain clinical records.	J. Biomed. Informatics	2024	DBLP DOI BibTeX RDF
14	Chenxing Zhong, He Zhang, Huang Huang, Zhikun Chen, Chao Li, Xiaodong Liu, Shanshan Li	DOMICO: Checking conformance between domain models and implementations.	Softw. Pract. Exp.	2024	DBLP DOI BibTeX RDF
14	Monica Buitrago, Isabelle Borne, Jérémy Buisson	Model-Based Assessment of Conformance to Acknowledged Security-Related Software Architecture Good Practices.	MODELSWARD	2024	DBLP BibTeX RDF
14	Kristo Raun, Riccardo Tommasini 0001, Ahmed Awad 0001	Adaptive Handling of Out-of-order Streams in Conformance Checking.	DOLAP	2024	DBLP BibTeX RDF
14	Peter Thoman, Fabian Knorr, Luigi Crisci	SimSYCL: A SYCL Implementation Targeting Development, Debugging, Simulation and Conformance.	IWOCL	2024	DBLP DOI BibTeX RDF
14	Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot	Alignment-based conformance checking over probabilistic events.	HICSS	2024	DBLP BibTeX RDF
14	Jihyeok Park, Dongjun Youn, Kanguk Lee, Sukyoung Ryu	Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
14	Adilson Luiz Bonifácio, Arnaldo Vieira Moura	Conformance Checking and Pushdown Reactive Systems.	CLEI Electron. J.	2023	DBLP DOI BibTeX RDF
14	Ahmed Suliman, Maha Kadadha, Rabeb Mizouni, Hadi Otrok, Ernesto Damiani, Mahmoud Al-Qutayri	Blockcheck: A consortium blockchain-based conformance checking framework for business processes.	Internet Things	2023	DBLP DOI BibTeX RDF
14	Víctor Gallego-Fontenla, Juan Carlos Vidal, Manuel Lama	A Conformance Checking-Based Approach for Sudden Drift Detection in Business Processes.	IEEE Trans. Serv. Comput.	2023	DBLP DOI BibTeX RDF
14	Baoxin Xiu, Guangming Li	Diagnosing Conformance Between Object-Centric Event Logs and Models.	IEEE Access	2023	DBLP DOI BibTeX RDF