Search results for "conformance"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Abdullah Chihada, Saeed Jalili, Seyed Mohammad Hossein Hasheminejad, Mohammad Hossein Zangooei	Source code and design conformance, design pattern detection from source code by classification approach.	Appl. Soft Comput.	2015	DBLP DOI BibTeX RDF
14	Murray S. Kucherawy, Elizabeth D. Zwicky	Domain-based Message Authentication, Reporting, and Conformance (DMARC).	RFC	2015	DBLP DOI BibTeX RDF
14	Massimiliano de Leoni, Fabrizio Maria Maggi, Wil M. P. van der Aalst	An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data.	Inf. Syst.	2015	DBLP DOI BibTeX RDF
14	Robert Lipman, Joshua Lubell	Conformance checking of PMI representation in CAD model STEP data exchange files.	Comput. Aided Des.	2015	DBLP DOI BibTeX RDF
14	Sébastien Salva, Patrice Laurençot	Conformance testing with ioco proxy-testers: application to web service compositions deployed in clouds.	Int. J. Comput. Aided Eng. Technol.	2015	DBLP DOI BibTeX RDF
14	Jing Wang, Binqiang Wang, Juan Shen	一种基于测量构件变迁模型的可重构测量构件一致性检测方法 (Measurement Component Transfer Model-based Conformance Testing Approach of Reconfigurable Measurement Component).	计算机科学	2015	DBLP DOI BibTeX RDF
14	Xinxing Wu, Guosheng Hu, Yixiang Chen	Web服务降级替换的一致性问题及量化研究 (Quantification and Conformance of Web Service Degraded Substitution).	计算机科学	2015	DBLP DOI BibTeX RDF
14	Ricardo Terra, Marco Túlio Valente, Krzysztof Czarnecki 0001, Roberto da Silva Bigonha	A recommendation system for repairing violations detected by static architecture conformance checking.	Softw. Pract. Exp.	2015	DBLP DOI BibTeX RDF
14	Achim D. Brucker, Lukas Brügger, Burkhart Wolff	Formal firewall conformance testing: an application of test and proof techniques.	Softw. Test. Verification Reliab.	2015	DBLP DOI BibTeX RDF
14	Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali	Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes.	Foundations of Biomedical Knowledge Representation	2015	DBLP DOI BibTeX RDF
14	Ingrid Chieh Yu, Henning Berg	A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration.	MODELSWARD (Revised Selected Papers)	2015	DBLP DOI BibTeX RDF
14	Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu	Quantifying Conformance Using the Skorokhod Metric.	CAV (2)	2015	DBLP DOI BibTeX RDF
14	Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara, Akihiko Ohsuga	Towards Goal-Oriented Conformance Checking.	SEKE	2015	DBLP BibTeX RDF
14	Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana	Random versus combinatorial effectiveness in software conformance testing: a case study.	SAC	2015	DBLP DOI BibTeX RDF
14	Djamel Eddine Khelladi, Reda Bendraou, Souheib Baarir, Yoann Laurent, Marie-Pierre Gervais	A framework to formally verify conformance of a software process to a software method.	SAC	2015	DBLP DOI BibTeX RDF
14	Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres	Extending mCRL2 with ready simulation and iocos input-output conformance simulation.	SAC	2015	DBLP DOI BibTeX RDF
14	Andrea Caracciolo, Mircea Filip Lungu, Oscar Nierstrasz	A Unified Approach to Architecture Conformance Checking.	WICSA	2015	DBLP DOI BibTeX RDF
14	Patrick Rempel, Patrick Mäder, Tobias Kuschke, Jane Cleland-Huang	Traceability Gap Analysis for Assessing the Conformance of Software Traceability to Relevant Guidelines.	Software Engineering & Management	2015	DBLP BibTeX RDF
14	Puneet Bhateja	Designing Distributed Systems w.r.t. Conformance.	APSEC	2015	DBLP DOI BibTeX RDF
14	Levente Erös, Gábor Kovács, Gusztáv Adamis, György Réthy	Unsupervised test model reconstruction from conformance test logs.	RACS	2015	DBLP DOI BibTeX RDF
14	Mahesh De Silva, Indika Perera	Preventing software architecture erosion through static architecture conformance checking.	ICIIS	2015	DBLP DOI BibTeX RDF
14	Dong-Hoon Lee, Ho-Youn Kim, Dong-Young Park	Multiscreen Conformance Testing Environments for HTML5 based Smart TV Platform.	MoMM	2015	DBLP DOI BibTeX RDF
14	Ingo Weber, Andreas Rogge-Solti, Chao Li, Jan Mendling	CCaaS: Online Conformance Checking as a Service.	BPM (Demos)	2015	DBLP BibTeX RDF
14	Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré	Temporal Conformance Analysis of Clinical Guidelines Execution.	AIME	2015	DBLP DOI BibTeX RDF
14	Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré	Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution.	KR4HC/ProHealth	2015	DBLP DOI BibTeX RDF
14	Costin Pribeanu, Maria Gheorghe-Moisii, Paul Fogarassy-Neszly	Accessibility of Romanian municipal websites - conformance with WCAG2.	RoCHI	2015	DBLP BibTeX RDF
14	Weiwei Lin 0003, Hongwei Zeng	A chain algorithm for conformance testing based on UIO sequences.	SNPD	2015	DBLP DOI BibTeX RDF
14	Jacob Baungard Hansen, Andrew Beveridge, Roisin Farmer, Leif Gehrmann, Alasdair J. G. Gray, Sunil Khutan, Tomas Robertson, Johnny Val	Validata: An Online Tool for Testing RDF Data Conformance.	SWAT4LS	2015	DBLP BibTeX RDF
14	Matthias Geiger, Simon Harrer, Jörg Lenhard, Mathias Casar, Andreas Vorndran, Guido Wirtz	BPMN Conformance in Open Source Engines.	SOSE	2015	DBLP DOI BibTeX RDF
14	Simon Harrer, Matthias Geiger, Christian R. Preißinger, David Bimamisa, Stephan J. A. Schuberth, Guido Wirtz	Improving the Static Analysis Conformance of BPEL Engines with BPELlint.	SOSE	2015	DBLP DOI BibTeX RDF
14	Luigi Lo Iacono, Hoai Viet Nguyen	Towards Conformance Testing of REST-based Web Services.	WEBIST	2015	DBLP DOI BibTeX RDF
14	Phillipa Bennett, Wuliang Sun, Ted D. Wade, Geri Georg, Indrakshi Ray, Michael G. Kahn	Analyzing Regulatory Conformance in Medical Research Systems Using Multi-Paradigm Modeling.	GEMOC+MPM@MoDELS	2015	DBLP BibTeX RDF
14	Rahul C. Basole, Hyunwoo Park, Mayank Gupta, Mark L. Braunstein, Duen Horng Chau, Michael Thompson	A visual analytics approach to understanding care process variation and conformance.	VAHC	2015	DBLP DOI BibTeX RDF
14	Narges Khakpour, Mohammad Reza Mousavi 0001	Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper).	CONCUR	2015	DBLP DOI BibTeX RDF
14	Gusztáv Adamis, Gábor Kovács, György Réthy	Generating Performance Test Model from Conformance Test Logs.	SDL Forum	2015	DBLP DOI BibTeX RDF
14	Hira Jawaid, Khalid Latif 0001, Hamid Mukhtar, Hafiz Farooq Ahmad, Syed Ali Raza 0004	Healthcare Data Validation and Conformance Testing Approach Using Rule-Based Reasoning.	HIS	2015	DBLP DOI BibTeX RDF
14	Shaodong Li, Xiaohong Chen 0002, Yiwu Wang, Meng Sun 0002	A Framework for Off-Line Conformance Testing of Timed Connectors.	TASE	2015	DBLP DOI BibTeX RDF
14	Dariusz Dwornikowski, Andrzej Stroinski, Jerzy Brzezinski	Conformance Checking of Communicating Resource Systems with RAs Calculus.	SCC	2015	DBLP DOI BibTeX RDF
14	Houssam Abbas	Test-Based Falsification and Conformance Testing for Cyber-Physical Systems.		2015	RDF
14	Sébastien Salva, Tien-Dung Cao	Proxy-Monitor: An Integration of Runtime Verification with Passive Conformance Testing.	Int. J. Softw. Innov.	2014	DBLP DOI BibTeX RDF
14	Wil M. P. van der Aalst, H. M. W. Verbeek	Process Discovery and Conformance Checking Using Passages.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
14	Diana Borrego, Irene Barba 0001	Conformance checking and diagnosis for declarative business process models in data-aware scenarios.	Expert Syst. Appl.	2014	DBLP DOI BibTeX RDF
14	Liping Chen, Guojun Zhang, Weitao Ha	Conformance checking for interaction of web service composition with temporal logic.	Int. J. Sens. Networks	2014	DBLP DOI BibTeX RDF
14	Holger Giese, Stephan Hildebrandt, Leen Lambers	Bridging the gap between formal semantics and implementation of triple graph grammars - Ensuring conformance of relational model transformation specifications and implementations.	Softw. Syst. Model.	2014	DBLP DOI BibTeX RDF
14	Sören Frey	Conformance Checking and Simulation-based Evolutionary Optimization for Deployment and Reconfiguration of Software in the Cloud.	Softwaretechnik-Trends	2014	DBLP BibTeX RDF
14	Dingliang Wang, Zhizhong Ding, Yin Chen, Younan Duan	LTE Radio Resource Management Conformance Testing: Exploration and Implementation.	J. Commun.	2014	DBLP DOI BibTeX RDF
14	Christoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schütz, Manfred Broy, Birgit Vogel-Heuser	Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.	Autom.	2014	DBLP BibTeX RDF
14	Julien Provost, Jean-Marc Roussel, Jean-Marc Faure	Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers.	IEEE Trans. Ind. Informatics	2014	DBLP DOI BibTeX RDF
14	Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer	Improving active Mealy machine learning for protocol conformance testing.	Mach. Learn.	2014	DBLP DOI BibTeX RDF
14	Jing Liu 0003, Xinming Ye, Jiantao Zhou 0002	Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets.	J. Appl. Math.	2014	DBLP DOI BibTeX RDF
14	Christian Heike, Wolf Zimmermann, Andreas Both 0001	On expanding protocol conformance checking to exception handling.	Serv. Oriented Comput. Appl.	2014	DBLP DOI BibTeX RDF
14	Benjamin Zeiss, András Kovács, Nikolay V. Pakulin, Bogdan Stanca-Kaposta	A conformance test suite for TTCN-3 tools - Black-Box functional testing of TTCN-3 syntax and semantics.	Int. J. Softw. Tools Technol. Transf.	2014	DBLP DOI BibTeX RDF
14	Morteza Mohaqeqi, Mohammad Reza Mousavi 0001, Walid Taha	Conformance Testing of Cyber-Physical Systems: A Comparative Study.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2014	DBLP DOI BibTeX RDF
14	Jian Zhang, Wei Zhang 0055, Yanyan Liu	A fully integrated analog front-end circuit for 13.56 MHz passive RFID tags in conformance with ISO/IEC 18000-3 protocol.	Microelectron. J.	2014	DBLP DOI BibTeX RDF
14	Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda	Conformance Testing as Falsification for Cyber-Physical Systems.	CoRR	2014	DBLP BibTeX RDF
14	Krzysztof Zaniewski, Witold Pedrycz	A hybrid optimization approach to conformance testing of finite automata.	Appl. Soft Comput.	2014	DBLP DOI BibTeX RDF
14	Lunjin Lu, Dae-Kyoo Kim	Required behavior of sequence diagrams: Semantics and conformance.	ACM Trans. Softw. Eng. Methodol.	2014	DBLP DOI BibTeX RDF
14	Jorge Munoz-Gama, Josep Carmona 0001, Wil M. P. van der Aalst	Single-Entry Single-Exit decomposed conformance checking.	Inf. Syst.	2014	DBLP DOI BibTeX RDF
14	Santiago Matalonga, Martín Solari, Tomás San Feliu Gilabert	An empirically validated simulation for understanding the relationship between process conformance and technology skills.	Softw. Qual. J.	2014	DBLP DOI BibTeX RDF
14	Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota 0001, Yoshinao Isobe	Sound and mechanised compositional verification of input-output conformance.	Softw. Test. Verification Reliab.	2014	DBLP DOI BibTeX RDF
14	José C. Delgado 0001	Improving Data and Service Interoperability with Structure, Compliance, Conformance and Context Awareness.	Big Data and Internet of Things	2014	DBLP DOI BibTeX RDF
14	Sebastian Herold, Andreas Rausch	A Rule-Based Approach to Architecture Conformance Checking as a Quality Management Measure.	Relating System Quality and Software Architecture	2014	DBLP DOI BibTeX RDF
14	Bedir Tekinerdogan, Evren Çilden, Özgü Özköse Erdogan, Onur Aktug	Architecture Conformance Analysis Approach within the Context of Multiple Product Line Engineering.	Australian Software Engineering Conference	2014	DBLP DOI BibTeX RDF
14	Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos	Formal property verification in a conformance testing framework.	MEMOCODE	2014	DBLP DOI BibTeX RDF
14	Andreas Meyer 0001, Mathias Weske	Weak Conformance between Process Models and Synchronized Object Life Cycles.	ICSOC	2014	DBLP DOI BibTeX RDF
14	Yutian Sun, Jianwen Su	Conformance for DecSerFlow Constraints.	ICSOC	2014	DBLP DOI BibTeX RDF
14	Johannes Schoenboeck, Angelika Kusel, Juergen Etzlstorfer, Elisabeth Kapsammer, Wieland Schwinger, Manuel Wimmer, Martin Wischenbart	CARE - A Constraint-Based Approach for Re-Establishing Conformance-Relationships.	APCCM	2014	DBLP BibTeX RDF
14	Alysson Milanez, Tiago Massoni, Rohit Gheyi	Enhancing conformance checking for contract-based programs.	SPLASH (Companion Volume)	2014	DBLP DOI BibTeX RDF
14	Germain Jolly, Sylvain Vernois, Jean-Luc Lambert	Improving Test Conformance of Smart Cards versus EMV-Specification by Using on the Fly Temporal Property Verification.	SNDS	2014	DBLP DOI BibTeX RDF
14	Thomas Molka, David Redlich, Marc Drobek, Artur Caetano, Xiao-Jun Zeng, Wasif Gilani	Conformance checking for BPMN-based process models.	SAC	2014	DBLP DOI BibTeX RDF
14	Willian Massami Watanabe, Rafael José Geraldo, Renata Pontin de Mattos Fortes	Keyboard navigation mechanisms in tab widgets: an investigation on ARIA's conformance.	SAC	2014	DBLP DOI BibTeX RDF
14	Harsh Beohar, Mohammad Reza Mousavi 0001	Input-output conformance testing based on featured transition systems.	SAC	2014	DBLP DOI BibTeX RDF
14	Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki	Checking the Conformance of a Promela Design to its Formal Specification in Event-B.	FTSCS	2014	DBLP DOI BibTeX RDF
14	Rainer Weinreich, Georg Buchgeher	Automatic Reference Architecture Conformance Checking for SOA-Based Software Systems.	WICSA	2014	DBLP DOI BibTeX RDF
14	Johannes Neubauer, Bernhard Steffen	Learning-Based Cross-Platform Conformance Testing.	ISoLA (Revised Selected Papers)	2014	DBLP DOI BibTeX RDF
14	Mahdi Alizadeh, Massimiliano de Leoni, Nicola Zannone	History-Based Construction of Alignments for Conformance Checking: Formalization and Implementation.	SIMPDA (Revised Selected Papers)	2014	DBLP DOI BibTeX RDF
14	Mahdi Alizadeh, Massimiliano de Leoni, Nicola Zannone	History-based Construction of Log-Process Alignments for Conformance Checking: Discovering What Really Went Wrong.	SIMPDA	2014	DBLP BibTeX RDF
14	Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha	The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification.	FM	2014	DBLP DOI BibTeX RDF
14	Nirnay Ghosh, Triparna Mondal, Debangshu Chatterjee, Soumya K. Ghosh 0001	Verifying Conformance of Security Implementation with Organizational Access Policies in Community Cloud - A Formal Approach.	SECRYPT	2014	DBLP BibTeX RDF
14	Tobias Olsson, Daniel Toll, Anna Wingkvist, Morgan Ericsson	Evaluation of a static architectural conformance checking method in a line of computer games.	QoSA	2014	DBLP DOI BibTeX RDF
14	Seppe K. L. M. vanden Broucke, Jorge Munoz-Gama, Josep Carmona 0001, Bart Baesens, Jan Vanthienen	Event-Based Real-Time Decomposed Conformance Analysis.	OTM Conferences	2014	DBLP DOI BibTeX RDF
14	Massimiliano de Leoni, Jorge Munoz-Gama, Josep Carmona 0001, Wil M. P. van der Aalst	Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models.	OTM Conferences	2014	DBLP DOI BibTeX RDF
14	Francisco J. López-Pellicer, Miguel Ángel Latre, Javier Nogueras-Iso, F. Javier Zarazaga-Soria, Jesús Barrera	Behaviour-Driven Development Applied to the Conformance Testing of INSPIRE Web Services.	AGILE Conf.	2014	DBLP DOI BibTeX RDF
14	Xixi Lu 0001, Dirk Fahland, Wil M. P. van der Aalst	Conformance Checking Based on Partially Ordered Event Data.	Business Process Management Workshops	2014	DBLP DOI BibTeX RDF
14	Hong Lu 0005, Tao Yue 0002, Shaukat Ali 0001, Kunming Nie, Li Zhang 0029	Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration.	ISSRE	2014	DBLP DOI BibTeX RDF
14	Vinh-Thong Ta 0001, Thibaud Antignac	Privacy by Design: On the Conformance Between Protocols and Architectures.	FPS	2014	DBLP DOI BibTeX RDF
14	Dimitrios I. Sotiriou, Spilios D. Fassois	Non-stationary adaptive time series modeling for aircraft 4D trajectory conformance monitoring.	ISCCSP	2014	DBLP DOI BibTeX RDF
14	Matteo Spiotta, Alessio Bottrighi, Laura Giordano 0001, Daniele Theseider Dupré	Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology.	KR4HC@VSL	2014	DBLP DOI BibTeX RDF
14	Anaïs Guignard, Jean-Marc Faure	A Conformance Relation for Model-Based Testing of PLC.	WODES	2014	DBLP DOI BibTeX RDF
14	Simon Harrer, Christian R. Preißinger, Guido Wirtz	BPEL Conformance in Open Source Engines: The Case of Static Analysis.	SOCA	2014	DBLP DOI BibTeX RDF
14	Li Lei, Kai Cong, Zhenkun Yang, Fei Xie	Validating direct memory access interfaces with conformance checking.	ICCAD	2014	DBLP DOI BibTeX RDF
14	Erik Burger, Aleksandar Toshovski	Difference-based Conformance Checking for Ecore Metamodels.	Modellierung	2014	DBLP BibTeX RDF
14	Min Xu, Xiaohong Huang	Research on conformance testing method for 6LoWPAN neighbor discovery protocol and system implementation.	CCIS	2014	DBLP DOI BibTeX RDF
14	Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda	WiP abstract: Conformance testing as falsification for cyber-physical systems.	ICCPS	2014	DBLP DOI BibTeX RDF
14	Ken-Ichi Suzuki	[Tutorial] activities for conformance and interoperability testing in EPON standardization.	OFC	2014	DBLP DOI BibTeX RDF
14	Florian Fittkau, Phil Stelzer, Wilhelm Hasselbring	Live Visualization of Large Software Landscapes for Ensuring Architecture Conformance.	ECSA Workshops	2014	DBLP DOI BibTeX RDF
14	Davide Fucci, Burak Turhan, Markku Oivo	Impact of process conformance on the effects of test-driven development.	ESEM	2014	DBLP DOI BibTeX RDF
14	Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres	Effectiveness for Input Output Conformance Simulation iocos̱.	FORTE	2014	DBLP DOI BibTeX RDF
14	Patrick Rempel, Patrick Mäder, Tobias Kuschke, Jane Cleland-Huang	Mind the gap: assessing the conformance of software traceability to relevant guidelines.	ICSE	2014	DBLP DOI BibTeX RDF
14	Xixi Lu 0001, Ronny Mans, Dirk Fahland, Wil M. P. van der Aalst	Conformance checking in healthcare based on partially ordered event data.	ETFA	2014	DBLP DOI BibTeX RDF