Search results for "conformance"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan 0001	Verifying Conformance of Neural Network Models: Invited Paper.	ICCAD	2019	DBLP DOI BibTeX RDF
14	Artem Polyvyanyy, Anna A. Kalenkova	Monotone Conformance Checking for Partially Matching Designed and Observed Processes.	ICPM	2019	DBLP DOI BibTeX RDF
14	Ramon Janssen, Frits W. Vaandrager, Jan Tretmans	Relating Alternating Relations for Conformance and Refinement.	IFM	2019	DBLP DOI BibTeX RDF
14	Florian Richter 0001, Florian Wahl, Alona Sydorova, Thomas Seidl 0001	k-process: Model-Conformance-based Clustering of Process Instances.	LWDA	2019	DBLP BibTeX RDF
14	Chathurika Wickramage, Colin J. Fidge, Chun Ouyang 0001, Tony Sahama	Generating Log Requirements for Checking Conformance against Healthcare Standards using Workflow Modelling.	ACSW	2019	DBLP DOI BibTeX RDF
14	Pieter Heyvaert, David Chaves-Fraga, Freddy Priyatna, Óscar Corcho, Erik Mannens, Ruben Verborgh, Anastasia Dimou	Conformance Test Cases for the RDF Mapping Language (RML).	KGSWC	2019	DBLP DOI BibTeX RDF
14	Lars Luthmann, Hendrik Göttmann, Malte Lochau	Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.	FACS	2019	DBLP DOI BibTeX RDF
14	Kehang Chen, Jidong Lv, Jia Huang, Haonan Guo, Shuai Su, Tao Tang 0004	Online Conformance Testing of CBTC On-board ATO Functions Based on UPPAAL-TRON Framework.	ITSC	2019	DBLP DOI BibTeX RDF
14	Alexander Graf-Brill, Holger Hermanns	Component-aware Input-Output Conformance.	FORTE	2019	DBLP DOI BibTeX RDF
14	Alexandre B. Nassif, Hesam Yazdanpanahi, Matthew Wright, Amanda Robertson	Performance and Conformance Analysis of a Commercial Scale PV Inverter.	CCECE	2019	DBLP DOI BibTeX RDF
14	Kenji Uehara, Kunihiko Hiraishi	Process mining approach for the conformance checking of discrete-event simulation model.	SICE	2019	DBLP DOI BibTeX RDF
14	Sebastian Dunzer, Matthias Stierle, Martin Matzner, Stephan Baier	Conformance checking: a state-of-the-art literature review.	S-BPM ONE	2019	DBLP DOI BibTeX RDF
14	Matthias Ehrendorfer, Juergen-Albrecht Fassmann, Juergen Mangler, Stefanie Rinderle-Ma	Conformance Checking and Classification of Manufacturing Log Data.	CBI (1)	2019	DBLP DOI BibTeX RDF
14	Adnan Khan, David Thönnessen, Martin Fabian	On-the-fly conformance testing of safety PLC code using QuickCheck.	INDIN	2019	DBLP DOI BibTeX RDF
14	Jens H. Weber, Oscar Costa	Hazard analysis of interoperability conformance profiles: an industrial case study in healthcare.	CASCON	2019	DBLP BibTeX RDF
14	Miljan Vucetic, Miroslav Hudec	A fuzzy query engine for suggesting the products based on conformance and asymmetric conjunction.	Expert Syst. Appl.	2018	DBLP DOI BibTeX RDF
14	Sung-Hyun Sim, Hyerim Bae, Yulim Choi, Ling Liu 0001	Statistical Verification of Process Model Conformance to Execution Log Considering Model Abstraction.	Int. J. Cooperative Inf. Syst.	2018	DBLP DOI BibTeX RDF
14	Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres	An axiomatic semantics for iocos_ conformance relation.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
14	Feng Luo, Yueyin Xie	Conformance Test of AUTOSAR Network Management.	Int. J. Wirel. Inf. Networks	2018	DBLP DOI BibTeX RDF
14	Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst	Scalable process discovery and conformance checking.	Softw. Syst. Model.	2018	DBLP DOI BibTeX RDF
14	Luca Piovesan, Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré	ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution.	Künstliche Intell.	2018	DBLP DOI BibTeX RDF
14	Christopher Haubeck, Alexander Pokahr, Kim Reichert, Till Hohenberger, Winfried Lamersdorf	The CRI-model: A domain-independent taxonomy for non-conformance between observed and specified behaviour.	Comput. Sci. Inf. Syst.	2018	DBLP DOI BibTeX RDF
14	Anaïs Guignard, Jean-Marc Faure, Gregory Faraut	Model-Based Testing of PLC Programs With Appropriate Conformance Relations.	IEEE Trans. Ind. Informatics	2018	DBLP DOI BibTeX RDF
14	Carlos A. Escobar, Rubén Morales-Menéndez	Parsimonious Modeling for Binary Classification of Quality in a High Conformance Manufacturing Environment.	Trans. Mach. Learn. Data Min.	2018	DBLP BibTeX RDF
14	Colin Bellinger, Christopher Drummond, Nathalie Japkowicz	Manifold-based synthetic oversampling with manifold conformance estimation.	Mach. Learn.	2018	DBLP DOI BibTeX RDF
14	Andreas Brühschwein, Julius Klever, Tom Wilkinson Jr, Andrea Meyer-Lindenberg	DICOM Standard Conformance in Veterinary Medicine in Germany: a Survey of Imaging Studies in Referral Cases.	J. Digit. Imaging	2018	DBLP DOI BibTeX RDF
14	Luciano García-Bañuelos, Nick van Beest, Marlon Dumas, Marcello La Rosa, Willem Mertens	Complete and Interpretable Conformance Checking of Business Processes.	IEEE Trans. Software Eng.	2018	DBLP DOI BibTeX RDF
14	Tobias R. Gundersen, Florian Lorber, Ulrik Nyman, Christian Ovesen	Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar.	GandALF	2018	DBLP DOI BibTeX RDF
14	Jong-Hwan Shin, Dusan Baek, Byeongjeong Lee, Jung-Won Lee	Assessing content-based conformance between software R&D documents and design guidelines using relevance links.	Soft Comput.	2018	DBLP DOI BibTeX RDF
14	Yongjie Zheng, Cuong Cu, Richard N. Taylor	Maintaining Architecture-Implementation Conformance to Support Architecture Centrality: From Single System to Product Line Development.	ACM Trans. Softw. Eng. Methodol.	2018	DBLP DOI BibTeX RDF
14	Weiwei Lin 0003, Hongwei Zeng, Honghao Gao, Huaikou Miao, Xiaolin Wang	Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things.	Secur. Commun. Networks	2018	DBLP DOI BibTeX RDF
14	Juan Carlos Vidal, Thomas Rabelo, Manuel Lama, Ricardo José Rocha Amorim	Ontology-based approach for the validation and conformance testing of xAPI events.	Knowl. Based Syst.	2018	DBLP DOI BibTeX RDF
14	Moez Krichen, Afef Jmal Maâlej, Mariam Lahami	A model-based approach to combine conformance and load tests: an eHealth case study.	Int. J. Crit. Comput. Based Syst.	2018	DBLP DOI BibTeX RDF
14	Mahdi Alizadeh, Xixi Lu 0001, Dirk Fahland, Nicola Zannone, Wil M. P. van der Aalst	Linking data and process perspectives for conformance analysis.	Comput. Secur.	2018	DBLP DOI BibTeX RDF
14	Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi 0001, Augusto Sampaio	Sound conformance testing for cyber-physical systems: Theory and implementation.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
14	Huimin Zhang, Lei Feng 0002, Naiqi Wu, Zhiwu Li 0001	Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems.	IEEE Trans Autom. Sci. Eng.	2018	DBLP DOI BibTeX RDF
14	Katalin Toth, Andrius Kucas	Conformance testing of geographic information. A case study on the Land Parcel Identification System.	Comput. Environ. Urban Syst.	2018	DBLP DOI BibTeX RDF
14	Ana Nicolaescu	Behavior-Based Architecture Conformance Checking.	Ausgezeichnete Informatikdissertationen	2018	DBLP BibTeX RDF
14	Josep Carmona 0001, Boudewijn F. van Dongen, Andreas Solti, Matthias Weidlich 0001	Conformance Checking - Relating Processes and Models		2018	DOI RDF
14	Muhammad Fahad 0011, Nicolas Bus	Conformance Checking of IFC Models via Semantic BIM Reasoner.	EG-ICE	2018	DBLP BibTeX RDF
14	Fazle Rabbi 0001, Lars Michael Kristensen, Yngve Lamo	Static Analysis of Conformance Preserving Model Transformation Rules.	MODELSWARD	2018	DBLP DOI BibTeX RDF
14	Fazle Rabbi 0001, Yngve Lamo, Lars Michael Kristensen	Analysis and Evaluation of Conformance Preserving Graph Transformation Rules.	MODELSWARD (Revised Selected Papers)	2018	DBLP DOI BibTeX RDF
14	Chang-Ai Sun, Meng Li, Jingting Jia, Jun Han 0004	Constraint-Based Model-Driven Testing of Web Services for Behavior Conformance.	ICSOC	2018	DBLP DOI BibTeX RDF
14	Na Wang, Ying Xu, Yajun Zhang, Meng Liu, Daxue Shen, Hongjun Wang	An algorithm to calculate phase and amplitude of tag on RFID protocol conformance test system.	ICACT	2018	DBLP DOI BibTeX RDF
14	Wil M. P. van der Aalst	Relating Process Models and Event Logs - 21 Conformance Propositions.	ATAED@Petri Nets/ACSD	2018	DBLP BibTeX RDF
14	Alexandre Petrenko, Florent Avellaneda	Conformance Testing and Inference of Embedded Components.	ICTSS	2018	DBLP DOI BibTeX RDF
14	Stefan B. Liu, Matthias Althoff	Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots.	IROS	2018	DBLP DOI BibTeX RDF
14	Nicola Ferro 0001, Gianmaria Silvello, Erik Buelinckx, Boris Doubrov, Antonella Fresa, Magnus Geber, Klas Jadeglans, Börje Justrell, Bert Lemmens, Jerome Martinez, Víctor Muñoz, Sonia Oliveras, Claudio Prandoni, Dave Rice, Stefan Rohde-Enslin, Xavi Tarrés, Erwin Verbruggen, Benjamin Yousefi, Carl Wilson	Evaluation of Conformance Checkers for Long-Term Preservation of Multimedia Documents.	JCDL	2018	DBLP DOI BibTeX RDF
14	Shadi Abou-Zahra, Judy Brewer, Michael Cooper	Artificial Intelligence (AI) for Web Accessibility: Is Conformance Evaluation a Way Forward?	W4A	2018	DBLP DOI BibTeX RDF
14	Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens	Benchmarks for Automata Learning and Conformance Testing.	Models, Mindsets, Meta	2018	DBLP DOI BibTeX RDF
14	Miljan Vucetic, Miroslav Hudec	A Flexible Approach to Matching User Preferences with Records in Datasets based on the Conformance Measure and Aggregation Functions.	IJCCI	2018	DBLP DOI BibTeX RDF
14	Prabhakar M. Dixit, Joos C. A. M. Buijs, H. M. W. Verbeek, Wil M. P. van der Aalst	Fast Incremental Conformance Analysis for Interactive Process Discovery.	BIS	2018	DBLP DOI BibTeX RDF
14	Andrew J. Moore, Matthew Schubert, Nicholas Rymer, Swee Balachandran, Maria Consiglio, César A. Muñoz, Joshua Smith, Dexter Lewis, Paul Schneide	Inspection of electrical transmission structures with UAV path conformance and lidar-based geofences.	ISGT	2018	DBLP DOI BibTeX RDF
14	Vanius Zapalowski, Daltro José Nunes, Ingrid Nunes	Understanding architecture non-conformance: why is there a gap between conceptual architectural rules and source code dependencies?	SBES	2018	DBLP DOI BibTeX RDF
14	Sidartha A. L. Carvalho, Lucas M. F. Harada, Rafael N. Lima, Carolina M. A. Barbosa, Daniel C. Cunha 0001, Abel G. Silva-Filho	Identifying power consumption signatures in LTE conformance tests using machine learning.	LASCAS	2018	DBLP DOI BibTeX RDF
14	Luca Piovesan, Paolo Terenziani, Daniele Theseider Dupré	Temporal Conformance Analysis and Explanation on Comorbid Patients.	HEALTHINF	2018	DBLP DOI BibTeX RDF
14	Wai Lam Jonathan Lee, Jorge Munoz-Gama, H. M. W. Verbeek, Wil M. P. van der Aalst, Marcos Sepúlveda	Improving Merging Conditions for Recomposing Conformance Checking.	Business Process Management Workshops	2018	DBLP DOI BibTeX RDF
14	Andrea Burattin, Sebastiaan J. van Zelst, Abel Armas-Cervantes, Boudewijn F. van Dongen, Josep Carmona 0001	Online Conformance Checking Using Behavioural Patterns.	BPM	2018	DBLP DOI BibTeX RDF
14	Lina Marsso, Radu Mateescu 0001, Wendelin Serwe	TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation.	TACAS (2)	2018	DBLP DOI BibTeX RDF
14	Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi	Agents Interoperability via Conformance Modulo Mapping.	WOA	2018	DBLP BibTeX RDF
14	Jean-Luc Béchennec, Olivier Henry Roux, Tigori Kabland Toussaint Gautier	Formal model-based conformance verification of an OSEK/VDX compliant RTOS.	CoDIT	2018	DBLP DOI BibTeX RDF
14	Rainer Koschke	Industrial experience on code clean-up using architectural conformance checking.	ECSA (Companion)	2018	DBLP DOI BibTeX RDF
14	Elia Kouzari, Lazaros Sotiriadis, Ioannis Stamelos	Process Mining for Process Conformance Checking in an OSS Project: An Empirical Research.	OSS	2018	DBLP DOI BibTeX RDF
14	Zhengguo Yang, Toshiaki Aoki, Yasuo Tan	Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change.	DS-RT	2018	DBLP DOI BibTeX RDF
14	Cedric Stark, Aaron Pereira, Matthias Althoff	Reachset Conformance Testing of Human Arms with a Biomechanical Model.	IRC	2018	DBLP DOI BibTeX RDF
14	Prabhakar M. Dixit, H. M. W. Verbeek, Wil M. P. van der Aalst	Fast Conformance Analysis Based on Activity Log Abstraction.	EDOC	2018	DBLP DOI BibTeX RDF
14	Flavio Corradini, Andrea Morichetta 0001, Andrea Polini, Barbara Re 0001, Francesco Tiezzi 0001	Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice.	EDOC	2018	DBLP DOI BibTeX RDF
14	Haifeng Gu, Mingsong Chen, Tongquan Wei, Li Lei, Fei Xie	Specification-driven automated conformance checking for virtual prototype and post-silicon designs.	DAC	2018	DBLP DOI BibTeX RDF
14	Wang Shi-Kui, Li Wen	Technical Research and Platform Implementation of the Protocol Conformance Test of AFDX Network Switch.	NaNA	2018	DBLP DOI BibTeX RDF
14	Ana Nicolaescu	Behavior-Based Architecture Conformance Checking.		2018	RDF
14	Farbod Taymouri	Light methods for conformance checking of business processes.		2018	RDF
14	Hans Søndergaard, Stephan Erbs Korsholm, Anders P. Ravn	Conformance test development with the Java modeling language.	Concurr. Comput. Pract. Exp.	2017	DBLP DOI BibTeX RDF
14	Jack Williams 0001, J. Garrett Morris, Philip Wadler, Jakub Zalewski	Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
14	Arthur F. Pinto, Ricardo Terra, Eduardo Guerra 0001, Fernanda São Sabbas	Introducing an Architectural Conformance Process in Continuous Integration.	J. Univers. Comput. Sci.	2017	DBLP BibTeX RDF
14	Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu	Quantifying conformance using the Skorokhod metric.	Formal Methods Syst. Des.	2017	DBLP DOI BibTeX RDF
14	Souvik Sengupta 0001, Ranjan Dasgupta	Architectural design of a LMS with LTSA-conformance.	Educ. Inf. Technol.	2017	DBLP DOI BibTeX RDF
14	Souvik Sengupta 0001, Ranjan Dasgupta	LTSA conformance testing to architectural design of LMS using ontology.	Educ. Inf. Technol.	2017	DBLP DOI BibTeX RDF
14	Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré	Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach.	IEEE Trans. Knowl. Data Eng.	2017	DBLP DOI BibTeX RDF
14	France Bélanger, Stéphane E. Collignon, Kathryn Enget, Eric Negangard	Determinants of early conformance with information security policies.	Inf. Manag.	2017	DBLP DOI BibTeX RDF
14	Xiaoran Zhu, Min Zhang 0002, Jian Guo 0005	Towards an executable semantics of automobile RTOS standard and its application to conformance verification.	CoRR	2017	DBLP BibTeX RDF
14	Yoosef B. Abushark, John Thangarajah, James Harland, Tim Miller 0001	A framework for automatically ensuring the conformance of agent designs.	J. Syst. Softw.	2017	DBLP DOI BibTeX RDF
14	Richard Müller 0001, Christian Stahl, Walter Vogler	Deciding conformance for bounded responsiveness.	Sci. Comput. Program.	2017	DBLP DOI BibTeX RDF
14	Wu Xin Ng, Hau Kong Chan, Wee Kin Teo, I-Ming Chen	Programming a Robot for Conformance Grinding of Complex Shapes by Capturing the Tacit Knowledge of a Skilled Operator.	IEEE Trans Autom. Sci. Eng.	2017	DBLP DOI BibTeX RDF
14	Daniel Ota, Ditmir Hazizi	Interface conformance testing for future military land platforms.	ICMCIS	2017	DBLP DOI BibTeX RDF
14	Uwe Zdun, Elena Navarro 0001, Frank Leymann	Ensuring and Assessing Architecture Conformance to Microservice Decomposition Patterns.	ICSOC	2017	DBLP DOI BibTeX RDF
14	Rafael Pasquini, Farnaz Moradi, Jawwad Ahmed, Andreas Johnsson, Christofer Flinta, Rolf Stadler	Predicting SLA conformance for cluster-based services.	Networking	2017	DBLP DOI BibTeX RDF
14	Jan Thomas, Ana Nicolaescu, Horst Lichter	Static and Dynamic Architecture Conformance Checking: A Systematic, Case Study-Based Analysis on Tradeoffs and Synergies.	QuASoQ@APSEC	2017	DBLP BibTeX RDF
14	Ana Nicolaescu, Horst Lichter, Veit Hoffmann	On Adequate Behavior-Based Architecture Conformance Checks.	APSEC	2017	DBLP DOI BibTeX RDF
14	N. V. Narendra Kumar, R. K. Shyamasundar	Dynamic Labelling to Enforce Conformance of Cross Domain Security/Privacy Policies.	ICDCIT	2017	DBLP DOI BibTeX RDF
14	Bruno Miguel Carvalhido Lima, Joao Carlos Pascoal Faria	Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems.	ICST Workshops	2017	DBLP DOI BibTeX RDF
14	Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi 0001, Masoumeh Taromirad	A Process for Sound Conformance Testing of Cyber-Physical Systems.	ICST Workshops	2017	DBLP DOI BibTeX RDF
14	Daniel Reißner, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Abel Armas-Cervantes	Scalable Conformance Checking of Business Processes.	OTM Conferences (1)	2017	DBLP DOI BibTeX RDF
14	Wai Lam Jonathan Lee, H. M. W. Verbeek, Jorge Munoz-Gama, Wil M. P. van der Aalst, Marcos Sepúlveda	Replay using Recomposition: Alignment-Based Conformance Checking in the Large.	BPM (Demos)	2017	DBLP BibTeX RDF
14	Andrea Burattin	Online Conformance Checking for Petri Nets and Event Streams.	BPM (Demos)	2017	DBLP BibTeX RDF
14	Felix Mannhardt, Massimiliano de Leoni, Hajo A. Reijers	Heuristic Mining Revamped: An Interactive, Data-aware, and Conformance-aware Miner.	BPM (Demos)	2017	DBLP BibTeX RDF
14	Andrea Burattin, Josep Carmona 0001	A Framework for Online Conformance Checking.	Business Process Management Workshops	2017	DBLP DOI BibTeX RDF
14	Xiaochen Liu, Chunhe Xia, Tianbo Wang, Li Zhong	CloudSec: A Novel Approach to Verifying Security Conformance at the Bottom of the Cloud.	BigData Congress	2017	DBLP DOI BibTeX RDF
14	Jack Williams 0001, J. Garrett Morris, Philip Wadler, Jakub Zalewski	Mixed Messages: Measuring Conformance and Non-Interference in TypeScript.	ECOOP	2017	DBLP DOI BibTeX RDF
14	Nadezhda Chumakova, Valentin Olenev, Irina Lavrovskaya	Conformance testing of the STP-ISS protocol implementation by means of temporal logic.	FRUCT	2017	DBLP DOI BibTeX RDF
14	Masoumeh Taromirad, Mohammad Reza Mousavi 0001	Gray-Box Conformance Testing for Symbolic Reactive State Machines.	FSEN	2017	DBLP DOI BibTeX RDF