Search results for "conformance"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Hallan William Veiga, Max Hering de Queiroz, Jean-Marie Farines, Marcelo Lopes de Lima	Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
14	Massimiliano de Leoni, Andrea Marrella	How Planning Techniques Can Help Process Mining: The Conformance-Checking Case.	SEBD	2017	DBLP BibTeX RDF
14	Montserrat Estañol, Mirjana Mazuran, Xavier Oriol, Letizia Tanca, Ernest Teniente	Process Conformance Checking by Relaxing Data Dependencies.	SEBD	2017	DBLP BibTeX RDF
14	Ramneek, Patrick Hosein, Woojin Seok, JaiSeung Kwak, Alexandr Ni	Emerging network technologies and network neutrality conformance.	APNOMS	2017	DBLP DOI BibTeX RDF
14	Bruno Lima, João Pascoal Faria	Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams.	ICSOFT	2017	DBLP DOI BibTeX RDF
14	Juarez L. M. Filho, Lincoln S. Rocha, Rossana M. C. Andrade, Ricardo Britto 0001	Preventing Erosion in Exception Handling Design Using Static-Architecture Conformance Checking.	ECSA	2017	DBLP DOI BibTeX RDF
14	Sandra Schröder, Matthias Riebisch	Architecture conformance checking with description logics.	ECSA (Companion)	2017	DBLP DOI BibTeX RDF
14	Nicolas Hili, Jean-Sébastien Sottet	The Conformance Relation Challenge: Building Flexible Modelling Frameworks.	MoDELS (Satellite Events)	2017	DBLP BibTeX RDF
14	Evren Çilden, Halit Oguztüzün	A Reflexion Model Based Architecture Conformance Analysis Toolkit for OSGi-Compliant Applications.	ICSA Workshops	2017	DBLP DOI BibTeX RDF
14	Yongjie Zheng, Cuong Cu, Hazeline U. Asuncion	Mapping Features to Source Code through Product Line Architecture: Traceability and Conformance.	ICSA	2017	DBLP DOI BibTeX RDF
14	Tobias Olsson, Morgan Ericsson, Anna Wingkvist	Motivation and Impact of Modeling Erosion Using Static Architecture Conformance Checking.	ICSA Workshops	2017	DBLP DOI BibTeX RDF
14	Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir	Logical Characterisations and Compositionality of Input-Output Conformance Simulation.	SOFSEM	2017	DBLP DOI BibTeX RDF
14	Liping Chen, Weitao Ha	Conformance Checking and QoS Selection Based on CPN for Web Service Composition.	CIS	2017	DBLP DOI BibTeX RDF
14	Frank Oemig, Bernd Blobel	Compliance or Conformance: What Should Interoperability Focus on?	pHealth	2017	DBLP DOI BibTeX RDF
14	Curtis K. Donahue	Demo: Conformance testing for emerging IEEE 802.3 automotive ethernet PHY specifications.	VNC	2017	DBLP DOI BibTeX RDF
14	Simon Harrer, Jörg Lenhard, Oliver Kopp, Vincenzo Ferme, Cesare Pautasso	A Pattern Language for Workflow Engine Conformance and Performance Benchmarking.	EuroPLoP	2017	DBLP DOI BibTeX RDF
14	Jan Werewka	Developing Conformance Between Project Management and Enterprise Architecture Governance on the Basis of a PMBOK Case.	ISAT (3)	2017	DBLP DOI BibTeX RDF
14	Henning Berg	Type-Safe and Conformance-Preserving Composition and Typing of Metamodels with Co-evolution of Models.		2017	RDF
14	Carl Westin, Clark Borst, Brian Hilburn	Strategic Conformance: Overcoming Acceptance Issues of Decision Aiding Automation?	IEEE Trans. Hum. Mach. Syst.	2016	DBLP DOI BibTeX RDF
14	Claire Senot, Aravind Chandrasekaran, Peter T. Ward, Anita L. Tucker, Susan D. Moffatt-Bruce	The Impact of Combining Conformance and Experiential Quality on Hospitals' Readmissions and Cost Performance.	Manag. Sci.	2016	DBLP DOI BibTeX RDF
14	Songchun Moon	Conformance of Social Media as Barometer of Public Engagement.	Open J. Big Data	2016	DBLP BibTeX RDF
14	Andrea Burattin, Fabrizio Maria Maggi, Alessandro Sperduti	Conformance checking based on multi-perspective declarative process models.	Expert Syst. Appl.	2016	DBLP DOI BibTeX RDF
14	Harsh Beohar, Mohammad Reza Mousavi 0001	Input-output conformance testing for software product lines.	J. Log. Algebraic Methods Program.	2016	DBLP DOI BibTeX RDF
14	Bernhard K. Aichernig, Elisabeth Jöbstl, Martin Tappler	Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.	J. Log. Algebraic Methods Program.	2016	DBLP DOI BibTeX RDF
14	Lua Perimal-Lewis, David Teubner, Paul Hakendorf, Chris Horwood	Application of process mining to assess the data quality of routinely collected time-based performance data sourced from electronic health records by validating process conformance.	Health Informatics J.	2016	DBLP DOI BibTeX RDF
14	Sergio Miranda, Elder Rodrigues Jr., Marco Túlio Valente, Ricardo Terra	Architecture Conformance Checking in Dynamically Typed Languages.	J. Object Technol.	2016	DBLP DOI BibTeX RDF
14	Yongkang Zheng, Mingliang Wu, Zhiqiang Peng	A Close-Loop Conformance Testing System of IEC 61850.	J. Commun.	2016	DBLP DOI BibTeX RDF
14	Dimitrios Sotiriou, Fotis Kopsaftopoulos, Spilios D. Fassois	An Adaptive Time-Series Probabilistic Framework for 4-D Trajectory Conformance Monitoring.	IEEE Trans. Intell. Transp. Syst.	2016	DBLP DOI BibTeX RDF
14	João Pascoal Faria, Ana C. R. Paiva	A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets.	Int. J. Softw. Tools Technol. Transf.	2016	DBLP DOI BibTeX RDF
14	Arik Senderovich, Matthias Weidlich 0001, Liron Yedidsion, Avigdor Gal, Avishai Mandelbaum, Sarah Kadish, Craig A. Bunnell	Conformance Checking and Performance Improvement in Scheduled Processes: A Queueing-Network Perspective.	EMISA Forum	2016	DBLP BibTeX RDF
14	Boudewijn F. van Dongen, Josep Carmona 0001, Thomas Chatain	Alignment-based Quality Metrics in Conformance Checking.	EMISA Forum	2016	DBLP BibTeX RDF
14	Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder	A formal approach to analysing requirements conformance in adaptive systems.	CoRR	2016	DBLP BibTeX RDF
14	Morteza Mohaqeqi, Mohammad Reza Mousavi 0001	Towards an Approximate Conformance Relation for Hybrid I/O Automata.	V2CPS@IFM	2016	DBLP DOI BibTeX RDF
14	Lars Luthmann, Stephan Mennicke, Malte Lochau	Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.	CoRR	2016	DBLP BibTeX RDF
14	Behrooz Golzarpoor, Carl T. Haas, Derek Rayside	Improving process conformance with Industry Foundation Processes (IFP).	Adv. Eng. Informatics	2016	DBLP DOI BibTeX RDF
14	Franck Martin, Eliot Lear, Tim Draegen, Elizabeth D. Zwicky, Kurt Andersen	Interoperability Issues between Domain-based Message Authentication, Reporting, and Conformance (DMARC) and Indirect Email Flows.	RFC	2016	DBLP DOI BibTeX RDF
14	Julien Botella, Jean-Philippe Delahaye, Eddie Jaffuel, Bruno Legeard, Fabien Peureux	Achieving SCA Conformance Testing with Model-Based Testing.	J. Signal Process. Syst.	2016	DBLP DOI BibTeX RDF
14	Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal	Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware.	J. Signal Process. Syst.	2016	DBLP DOI BibTeX RDF
14	Arik Senderovich, Matthias Weidlich 0001, Liron Yedidsion, Avigdor Gal, Avishai Mandelbaum, Sarah Kadish, Craig A. Bunnell	Conformance checking and performance improvement in scheduled processes: A queueing-network perspective.	Inf. Syst.	2016	DBLP DOI BibTeX RDF
14	Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Christian Percebois	IDF: A framework for the incremental development and conformance verification of UML active primitive components.	J. Syst. Softw.	2016	DBLP DOI BibTeX RDF
14	Hong Lu 0005, Tao Yue 0002, Shaukat Ali 0001, Li Zhang 0029	Model-based incremental conformance checking to enable interactive product configuration.	Inf. Softw. Technol.	2016	DBLP DOI BibTeX RDF
14	Rebecca A. Meehan, Donald T. Mon, Kandace M. Kelly, Mitra Rocca, Gary Dickinson, John Ritter, Constance M. Johnson	Increasing EHR system usability through standards: Conformance criteria in the HL7 EHR-system functional model.	J. Biomed. Informatics	2016	DBLP DOI BibTeX RDF
14	Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha, Andreas Podelski	Ready for testing: ensuring conformance to industrial standards through formal verification.	Formal Aspects Comput.	2016	DBLP DOI BibTeX RDF
14	Felix Mannhardt, Massimiliano de Leoni, Hajo A. Reijers, Wil M. P. van der Aalst	Balanced multi-perspective checking of process conformance.	Computing	2016	DBLP DOI BibTeX RDF
14	Jorge Munoz-Gama	Conformance Checking and Diagnosis in Process Mining - Comparing Observed and Modeled Processes		2016	DOI RDF
14	Frank Oemig, Robert Snelick	Healthcare Interoperability Standards Compliance Handbook - Conformance and Testing of Healthcare Data Exchange Standards		2016	DOI RDF
14	Michael Hilton, Nicholas Nelson 0002, Hugh McDonald, Sean McDonald, Ronald A. Metoyer, Danny Dig	TDDViz: Using Software Changes to Understand Conformance to Test Driven Development.	XP	2016	DBLP DOI BibTeX RDF
14	Andrea Callia D'Iddio, Christian H. Schunck, Franco Arcieri, Maurizio Talamo	Online and offline conformance checking of inter-organizational business processes with incomplete process logs.	ICCST	2016	DBLP DOI BibTeX RDF
14	Gayane Sedrakyan, Monique Snoeck	Enriching Model Execution with Feedback to Support Testing of Semantic Conformance between Models and Requirements - Design and Evaluation of Feedback Automation Architecture.	AMARETTO@MODELSWARD	2016	DBLP DOI BibTeX RDF
14	Karsten Nebe, Snigdha Baloni	Agile Human-Centred Design: A Conformance Checklist.	HCI (4)	2016	DBLP DOI BibTeX RDF
14	Sung-Ju Fan Chiang, Daniel Chen, Dianxiang Xu	Conformance Testing of Balana: An Open Source Implementation of the XACML3.0 Standard.	SEKE	2016	DBLP DOI BibTeX RDF
14	Wei Liu 0018, Udo R. Krieger, E. K. Park, S. S. Zhu	Smart and connected e-Health lab for standards validation and conformance.	ICNC	2016	DBLP DOI BibTeX RDF
14	Thomas Chatain, Josep Carmona 0001	Anti-alignments in Conformance Checking - The Dark Side of Process Models.	Petri Nets	2016	DBLP DOI BibTeX RDF
14	Gregor von Bochmann	Conformance Testing with Respect to Partial-Order Specifications.	ICTSS	2016	DBLP DOI BibTeX RDF
14	Charles W. X. Ng, Kelvin H. K. Chan, Wee Kin Teo, I-Ming Chen	Programming robotic tool-path and tool-orientations for conformance grinding based on human demonstration.	IROS	2016	DBLP DOI BibTeX RDF
14	Jawwad Ahmed, Andreas Johnsson, Rerngvit Yanggratoke, John Ardelius, Christofer Flinta, Rolf Stadler	Predicting SLA conformance for cluster-based services using distributed analytics.	NOMS	2016	DBLP DOI BibTeX RDF
14	João Caldeira, Fernando Brito e Abreu	Software Development Process Mining: Discovery, Conformance Checking and Enhancement.	QUATIC	2016	DBLP DOI BibTeX RDF
14	Jong-Hwan Shin, Dusan Baek, Byungjeong Lee, Jung-Won Lee	Content-Based Conformance Assurance Between Software Research Documentation and Design Guideline.	CSA/CUTE	2016	DBLP DOI BibTeX RDF
14	Ana Nicolaescu, Horst Lichter	Behavior-Based Architecture Reconstruction and Conformance Checking.	WICSA	2016	DBLP DOI BibTeX RDF
14	Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff	Reachset Conformance Testing of Hybrid Automata.	HSCC	2016	DBLP DOI BibTeX RDF
14	Bernhard K. Aichernig, Florian Lorber, Martin Tappler	Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
14	Andrea Caracciolo, Mircea Lungu, Oskar Truffer, Kirill Levitin, Oscar Nierstrasz	Evaluating an Architecture Conformance Monitoring Solution.	IWESEP@SANER	2016	DBLP DOI BibTeX RDF
14	Paolo Arcaini, Angelo Gargantini, Paolo Vavassori	Automatic Detection and Removal of Conformance Faults in Feature Models.	ICST	2016	DBLP DOI BibTeX RDF
14	Fernando Chagas, Rafael Serapilha Durelli, Ricardo Terra, Valter Vieira de Camargo	KDM as the Underlying Metamodel in Architecture-Conformance Checking.	SBES	2016	DBLP DOI BibTeX RDF
14	Andreas Rogge-Solti, Arik Senderovich, Matthias Weidlich 0001, Jan Mendling, Avigdor Gal	In Log and Model We Trust? A Generalized Conformance Checking Framework.	BPM	2016	DBLP DOI BibTeX RDF
14	Nitin Yadav, John Thangarajah	Checking the Conformance of Requirements in Agent Designs Using ATL.	ECAI	2016	DBLP DOI BibTeX RDF
14	Dániel Darvas, István Majzik, Enrique Blanco Viñuela	Conformance checking for programmable logic controller programs and specifications.	SIES	2016	DBLP DOI BibTeX RDF
14	Arik Senderovich, Matthias Weidlich 0001, Liron Yedidsion, Avigdor Gal, Avishai Mandelbaum, Sarah Kadish, Craig A. Bunnell	Conformance Checking and Performance Improvement in Scheduled Processes: A Queueing-Network Perspective (Extended Abstract).	EMISA	2016	DBLP BibTeX RDF
14	Boudewijn F. van Dongen, Josep Carmona 0001, Thomas Chatain	Alignment-based Quality Metrics in Conformance Checking (Summary).	EMISA	2016	DBLP BibTeX RDF
14	Antonella Santone, Gigliola Vaglini	Conformance Checking using Formal Methods.	ICSOFT-EA	2016	DBLP DOI BibTeX RDF
14	Tobias Olsson, Daniel Toll, Morgan Ericsson, Anna Wingkvist	Evaluation of an architectural conformance checking software service.	ECSA Workshops	2016	DBLP BibTeX RDF
14	Lars Luthmann, Stephan Mennicke, Malte Lochau	Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.	FACS	2016	DBLP DOI BibTeX RDF
14	Nicolas Hili	A Metamodeling Framework for Promoting Flexibility and Creativity Over Strict Model Conformance.	FlexMDE@MoDELS	2016	DBLP BibTeX RDF
14	Klaus-Hendrik Wolf, Mike Klimek	A Conformance Test Suite for Arden Syntax Compilers and Interpreters.	MIE	2016	DBLP DOI BibTeX RDF
14	Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana	Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines.	WETICE	2016	DBLP DOI BibTeX RDF
14	Izabela Melo, Gustavo Santos, Dalton Dario Serey, Marco Túlio Valente	Perceptions of 395 Developers on Software Architecture's Documentation and Conformance.	SBCARS	2016	DBLP DOI BibTeX RDF
14	Gustavo Riz, Eduardo Alves Portela Santos, Eduardo de Freitas Rocha Loures	Análise de Conformidade na Área de Saúde com o Suporte da Mineração de Processos [Conformance Check in Healthcare with the Supporting of Processes Mining].	SBSI	2016	DBLP DOI BibTeX RDF
14	Cesar Gonzalez-Perez, Patricia Martín-Rodilla	Using model views to assist with model conformance and extension.	RCIS	2016	DBLP DOI BibTeX RDF
14	Hyerim Bae, Sung-Hyun Sim, Yulim Choi, Ling Liu 0001	Statistical Verification of Process Conformance Based on Log Equality Test.	CIC	2016	DBLP DOI BibTeX RDF
14	Andrea Caracciolo	A unified approach to architecture conformance checking. (PDF / PS)		2016	RDF
14	Dylan Yaga, John W. M. Campbell, Gregory Zektser	Conformance Testing Methodologies for Biometric Data Interchange Formats, Standardization of.	Encyclopedia of Biometrics	2015	DBLP DOI BibTeX RDF
14	John V. Gray, Enno Siemsen, Gurneeta Vasudeva	Colocation Still Matters: Conformance Quality and the Interdependence of R&D and Manufacturing in the Pharmaceutical Industry.	Manag. Sci.	2015	DBLP DOI BibTeX RDF
14	Bernhard K. Aichernig, Martin Tappler	Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing.	USE@FM	2015	DBLP DOI BibTeX RDF
14	Jaeseung Song, Hyoungshick Kim, Soojin Park	Enhancing Conformance Testing Using Symbolic Execution for Network Protocols.	IEEE Trans. Reliab.	2015	DBLP DOI BibTeX RDF
14	Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi 0001, Tim A. C. Willemse	Synchrony and asynchrony in conformance testing.	Softw. Syst. Model.	2015	DBLP DOI BibTeX RDF
14	Weitao Ha, Guojun Zhang, Liping Chen	Conformance Checking and QoS Selection Based on CPN for Web Service Composition.	Int. J. Pattern Recognit. Artif. Intell.	2015	DBLP DOI BibTeX RDF
14	Yin Chen, Zhizhong Ding, Dingliang Wang, Teng Huang	Design and Implementation of System Under Test for LTE Protocol Conformance Testing.	J. Commun.	2015	DBLP DOI BibTeX RDF
14	Payam Haghighi, Prashant Mohan, Jami J. Shah, Joseph K. Davidson	A Framework for Explicating Formal Geometrical and Dimensional Tolerances Schema From Manufacturing Process Plans for Three-Dimensional Conformance Analysis.	J. Comput. Inf. Sci. Eng.	2015	DBLP DOI BibTeX RDF
14	Taha Hossein Hejazi, Mirmehdi Seyyed-Esfahani, Masoud Mahootchi	Optimization of Degree of Conformance in Multiresponse-Multistage Systems with a Simulation-based Metaheuristic.	Qual. Reliab. Eng. Int.	2015	DBLP DOI BibTeX RDF
14	Michael Perakis, Evdokia Xekalaki	Assessing the Proportion of Conformance of a Process from a Bayesian Perspective.	Qual. Reliab. Eng. Int.	2015	DBLP DOI BibTeX RDF
14	Teng Huang, Zhizhong Ding, Younan Duan, Yin Chen, Lu Ding	A Simplified and Efficient LTE RRC Conformance Testing Adapter.	J. Softw.	2015	DBLP DOI BibTeX RDF
14	Younan Duan, Zhizhong Ding, Teng Huang, Dingliang Wang	TTCN-3 Codec Implementation for LTE RRM Conformance Test.	J. Softw.	2015	DBLP DOI BibTeX RDF
14	Jacek Starzynski, Bartosz Chaber, Robert Szmurlo, Zuzanna Krawczyk, Anna Zawadzka	Conformance criteria for validation of target volume surface reconstructed from delineation.	Appl. Math. Comput.	2015	DBLP DOI BibTeX RDF
14	Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki	A Framework for Verifying the Conformance of Design to Its Formal Specifications.	IEICE Trans. Inf. Syst.	2015	DBLP DOI BibTeX RDF
14	S. Akshay 0001, Paul Gastin, Madhavan Mukund, K. Narayan Kumar	Checking conformance for time-constrained scenario-based specifications.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
14	Chetan Arora 0002, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer	Automated Checking of Conformance to Requirements Templates Using Natural Language Processing.	IEEE Trans. Software Eng.	2015	DBLP DOI BibTeX RDF
14	Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu	Quantifying Conformance using the Skorokhod Metric (full version).	CoRR	2015	DBLP BibTeX RDF
14	Andrea Burattin, Fabrizio Maria Maggi, Alessandro Sperduti	Conformance Checking Based on Multi-Perspective Declarative Process Models.	CoRR	2015	DBLP BibTeX RDF
14	Vinh-Thong Ta 0001, Thibaud Antignac	Privacy by Design: On the Conformance Between Protocols and Architectures.	CoRR	2015	DBLP BibTeX RDF
14	Lars Luthmann, Stephan Mennicke, Malte Lochau	Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata.	FMSPLE	2015	DBLP DOI BibTeX RDF