Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 26, pp. 357-367, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Murray S. Kucherawy, Elizabeth D. Zwicky |
Domain-based Message Authentication, Reporting, and Conformance (DMARC). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7489, pp. 1-73, March 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 47, pp. 258-277, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Robert Lipman, Joshua Lubell |
Conformance checking of PMI representation in CAD model STEP data exchange files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 66, pp. 14-23, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Aided Eng. Technol. ![In: Int. J. Comput. Aided Eng. Technol. 7(3), pp. 321-347, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jing Wang, Binqiang Wang, Juan Shen |
一种基于测量构件变迁模型的可重构测量构件一致性检测方法 (Measurement Component Transfer Model-based Conformance Testing Approach of Reconfigurable Measurement Component). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 42(9), pp. 165-170, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Xinxing Wu, Guosheng Hu, Yixiang Chen |
Web服务降级替换的一致性问题及量化研究 (Quantification and Conformance of Web Service Degraded Substitution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 42(2), pp. 81-85, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 45(3), pp. 315-342, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 25(1), pp. 34-71, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Biomedical Knowledge Representation ![In: Foundations of Biomedical Knowledge Representation - Methods and Applications, pp. 81-106, 2015, Springer, 978-3-319-28006-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Ingrid Chieh Yu, Henning Berg |
A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD (Revised Selected Papers) ![In: Model-Driven Engineering and Software Development - Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers, pp. 133-154, 2015, Springer, 978-3-319-27868-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu |
Quantifying Conformance Using the Skorokhod Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II, pp. 234-250, 2015, Springer, 978-3-319-21667-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara, Akihiko Ohsuga |
Towards Goal-Oriented Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 27th International Conference on Software Engineering and Knowledge Engineering, SEKE 2015, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 6-8, 2015, pp. 722-724, 2015, KSI Research Inc. and Knowledge Systems Institute Graduate School, 1-891706-35-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana |
Random versus combinatorial effectiveness in software conformance testing: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, pp. 1797-1802, 2015, ACM, 978-1-4503-3196-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, pp. 1518-1525, 2015, ACM, 978-1-4503-3196-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, pp. 1781-1788, 2015, ACM, 978-1-4503-3196-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Caracciolo, Mircea Filip Lungu, Oscar Nierstrasz |
A Unified Approach to Architecture Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: 12th Working IEEE/IFIP Conference on Software Architecture, WICSA 2015, Montreal, QC, Canada, May 4-8, 2015, pp. 41-50, 2015, IEEE Computer Society, 978-1-4799-1922-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering & Management ![In: Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany, pp. 120-121, 2015, GI, 978-3-88579-633-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Puneet Bhateja |
Designing Distributed Systems w.r.t. Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2015 Asia-Pacific Software Engineering Conference, APSEC 2015, New Delhi, India, December 1-4, 2015, pp. 104-110, 2015, IEEE Computer Society, 978-1-4673-9644-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RACS ![In: Proceedings of the 2015 Conference on research in adaptive and convergent systems, RACS 2015, Prague, Czech Republic, October 9-12, 2015, pp. 482-488, 2015, ACM, 978-1-4503-3738-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Mahesh De Silva, Indika Perera |
Preventing software architecture erosion through static architecture conformance checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIIS ![In: 10th IEEE International Conference on Industrial and Information Systems, ICIIS 2015, Peradeniya, Sri Lanka, December 18-20, 2015, pp. 43-48, 2015, IEEE, 978-1-5090-1741-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoMM ![In: Proceedings of the 13th International Conference on Advances in Mobile Computing and Multimedia, MoMM 2015, Brussels, Belgium, December 11-13, 2015, pp. 398-401, 2015, ACM, 978-1-4503-3493-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Ingo Weber, Andreas Rogge-Solti, Chao Li, Jan Mendling |
CCaaS: Online Conformance Checking as a Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM (Demos) ![In: Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), Innsbruck, Austria, September 2, 2015., pp. 45-49, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré |
Temporal Conformance Analysis of Clinical Guidelines Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine - 15th Conference on Artificial Intelligence in Medicine, AIME 2015, Pavia, Italy, June 17-20, 2015. Proceedings, pp. 332-336, 2015, Springer, 978-3-319-19550-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré |
Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR4HC/ProHealth ![In: Knowledge Representation for Health Care - AIME 2015 International Joint Workshop, KR4HC/ProHealth 2015, Pavia, Italy, June 20, 2015, Revised Selected Papers, pp. 65-79, 2015, Springer, 978-3-319-26584-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Costin Pribeanu, Maria Gheorghe-Moisii, Paul Fogarassy-Neszly |
Accessibility of Romanian municipal websites - conformance with WCAG2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoCHI ![In: 12th Romanian Human-Computer Interaction Conference, RoCHI 2015, Bucharest, Romania, September 24-25, 2015., pp. 25-28, 2015, Matrix Rom. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Weiwei Lin 0003, Hongwei Zeng |
A chain algorithm for conformance testing based on UIO sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2015, Takamatsu, Japan, June 1-3, 2015, pp. 611-616, 2015, IEEE Computer Society, 978-1-4799-8676-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT4LS ![In: Proceedings of the 8th Semantic Web Applications and Tools for Life Sciences International Conference, Cambridge UK, December 7-10, 2015., pp. 157-166, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Matthias Geiger, Simon Harrer, Jörg Lenhard, Mathias Casar, Andreas Vorndran, Guido Wirtz |
BPMN Conformance in Open Source Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: 2015 IEEE Symposium on Service-Oriented System Engineering, SOSE 2015, San Francisco Bay, CA, USA, March 30 - April 3, 2015, pp. 21-30, 2015, IEEE Computer Society, 978-1-4799-8356-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: 2015 IEEE Symposium on Service-Oriented System Engineering, SOSE 2015, San Francisco Bay, CA, USA, March 30 - April 3, 2015, pp. 31-39, 2015, IEEE Computer Society, 978-1-4799-8356-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Luigi Lo Iacono, Hoai Viet Nguyen |
Towards Conformance Testing of REST-based Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST ![In: WEBIST 2015 - Proceedings of the 11th International Conference on Web Information Systems and Technologies, Lisbon, Portugal, 20-22 May, 2015, pp. 217-227, 2015, SciTePress, 978-989-758-106-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEMOC+MPM@MoDELS ![In: Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, GEMOC+MPM@MoDELS 2015, Ottawa, Canada, September 28, 2015., pp. 22-31, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VAHC ![In: Proceedings of the 2015 Workshop on Visual Analytics in Healthcare, VAHC 2015, Chicago, Illinois, USA, October 25, 2015, pp. 6:1-6:8, 2015, ACM, 978-1-4503-3671-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 18-40, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2015: Model-Driven Engineering for Smart Cities - 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings, pp. 268-284, 2015, Springer, 978-3-319-24911-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS ![In: Health Information Science - 4th International Conference, HIS 2015, Melbourne, Australia, May 28-30, 2015, Proceedings, pp. 241-246, 2015, Springer, 978-3-319-19155-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 15-22, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Dariusz Dwornikowski, Andrzej Stroinski, Jerzy Brzezinski |
Conformance Checking of Communicating Resource Systems with RAs Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCC ![In: 2015 IEEE International Conference on Services Computing, SCC 2015, New York City, NY, USA, June 27 - July 2, 2015, pp. 759-764, 2015, IEEE Computer Society, 978-1-4673-7281-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Houssam Abbas |
Test-Based Falsification and Conformance Testing for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
14 | Sébastien Salva, Tien-Dung Cao |
Proxy-Monitor: An Integration of Runtime Verification with Passive Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Innov. ![In: Int. J. Softw. Innov. 2(2), pp. 20-42, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Wil M. P. van der Aalst, H. M. W. Verbeek |
Process Discovery and Conformance Checking Using Passages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 131(1), pp. 103-138, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Diana Borrego, Irene Barba 0001 |
Conformance checking and diagnosis for declarative business process models in data-aware scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 41(11), pp. 5340-5352, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Liping Chen, Guojun Zhang, Weitao Ha |
Conformance checking for interaction of web service composition with temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Sens. Networks ![In: Int. J. Sens. Networks 16(4), pp. 217-228, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 13(1), pp. 273-299, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 34(3), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Dingliang Wang, Zhizhong Ding, Yin Chen, Younan Duan |
LTE Radio Resource Management Conformance Testing: Exploration and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Commun. ![In: J. Commun. 9(11), pp. 867-875, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 62(11), pp. 815-825, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 10(3), pp. 1696-1704, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 96(1-2), pp. 189-224, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2014, pp. 645235:1-645235:10, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Christian Heike, Wolf Zimmermann, Andreas Both 0001 |
On expanding protocol conformance checking to exception handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Serv. Oriented Comput. Appl. ![In: Serv. Oriented Comput. Appl. 8(4), pp. 299-322, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 16(3), pp. 285-294, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Morteza Mohaqeqi, Mohammad Reza Mousavi 0001, Walid Taha |
Conformance Testing of Cyber-Physical Systems: A Comparative Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. J. ![In: Microelectron. J. 45(6), pp. 578-588, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.5200, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Krzysztof Zaniewski, Witold Pedrycz |
A hybrid optimization approach to conformance testing of finite automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 23, pp. 91-103, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Lunjin Lu, Dae-Kyoo Kim |
Required behavior of sequence diagrams: Semantics and conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 23(2), pp. 15:1-15:28, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 46, pp. 102-122, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 22(4), pp. 593-609, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 24(4), pp. 289-319, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | José C. Delgado 0001 |
Improving Data and Service Interoperability with Structure, Compliance, Conformance and Context Awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Big Data and Internet of Things ![In: Big Data and Internet of Things: A Roadmap for Smart Environments, pp. 35-66, 2014, Springer, 978-3-319-05028-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Sebastian Herold, Andreas Rausch |
A Rule-Based Approach to Architecture Conformance Checking as a Quality Management Measure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Relating System Quality and Software Architecture ![In: Relating System Quality and Software Architecture, pp. 181-207, 2014, Morgan Kaufmann, 978-0-12-417009-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 23rd Australian Software Engineering Conference, ASWEC 2014, Milsons Point, Sydney, NSW, Australia, April 7-10, 2014, pp. 25-28, 2014, IEEE Computer Society, 978-1-4799-3149-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos |
Formal property verification in a conformance testing framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 155-164, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Andreas Meyer 0001, Mathias Weske |
Weak Conformance between Process Models and Synchronized Object Life Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedings, pp. 359-367, 2014, Springer, 978-3-662-45390-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Yutian Sun, Jianwen Su |
Conformance for DecSerFlow Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedings, pp. 139-153, 2014, Springer, 978-3-662-45390-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCM ![In: Tenth Asia-Pacific Conference on Conceptual Modelling, APCCM 2014, Auckland, New Zealand, January 2014, pp. 19-28, 2014, Australian Computer Society, 978-1-921770-36-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Alysson Milanez, Tiago Massoni, Rohit Gheyi |
Enhancing conformance checking for contract-based programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH (Companion Volume) ![In: SPLASH'14 - Companion Publication of the 2014 ACM SIGPLAN Conference on Systems, Programming, and Applications: Software for Humanity, Portland, OR, USA, October 20-24, 2014, pp. 57-58, 2014, ACM, 978-1-4503-3208-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNDS ![In: Recent Trends in Computer Networks and Distributed Systems Security - Second International Conference, SNDS 2014, Trivandrum, India, March 13-14, 2014, Proceedings, pp. 192-201, 2014, Springer, 978-3-642-54524-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, pp. 1406-1413, 2014, ACM, 978-1-4503-2469-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, pp. 721-726, 2014, ACM, 978-1-4503-2469-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Harsh Beohar, Mohammad Reza Mousavi 0001 |
Input-output conformance testing based on featured transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, pp. 1272-1278, 2014, ACM, 978-1-4503-2469-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers, pp. 110-126, 2014, Springer, 978-3-319-17580-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Rainer Weinreich, Georg Buchgeher |
Automatic Reference Architecture Conformance Checking for SOA-Based Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: 2014 IEEE/IFIP Conference on Software Architecture, WICSA 2014, Sydney, Australia, April 7-11, 2014, pp. 95-104, 2014, IEEE Computer Society, 978-1-4799-3412-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Johannes Neubauer, Bernhard Steffen |
Learning-Based Cross-Platform Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (Revised Selected Papers) ![In: Leveraging Applications of Formal Methods, Verification, and Validation - 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers, pp. 53-79, 2014, Springer, 978-3-319-51640-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Mahdi Alizadeh, Massimiliano de Leoni, Nicola Zannone |
History-Based Construction of Alignments for Conformance Checking: Formalization and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMPDA (Revised Selected Papers) ![In: Data-Driven Process Discovery and Analysis - 4th International Symposium, SIMPDA 2014, Milan, Italy, November 19-21, 2014, Revised Selected Papers, pp. 58-78, 2014, Springer, 978-3-319-27242-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMPDA ![In: Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), Milan, Italy, November 19-21, 2014., pp. 1-15, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 658-672, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014, pp. 329-336, 2014, SciTePress, 978-989-758-045-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoSA ![In: QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30 - July 04, 2014, pp. 113-118, 2014, ACM, 978-1-4503-2576-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences ![In: On the Move to Meaningful Internet Systems: OTM 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27-31, 2014, Proceedings, pp. 345-363, 2014, Springer, 978-3-662-45562-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences ![In: On the Move to Meaningful Internet Systems: OTM 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27-31, 2014, Proceedings, pp. 3-20, 2014, Springer, 978-3-662-45562-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGILE Conf. ![In: Connecting a Digital Europe Through Location and Place - International AGILE'2014 Conference, Castellon, Spain, 13-16 June, 2014, pp. 325-339, 2014, Springer, 978-3-319-03610-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops - BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers, pp. 75-88, 2014, Springer, 978-3-319-15894-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014, pp. 13-22, 2014, IEEE Computer Society, 978-1-4799-6032-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Vinh-Thong Ta 0001, Thibaud Antignac |
Privacy by Design: On the Conformance Between Protocols and Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS ![In: Foundations and Practice of Security - 7th International Symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected Papers, pp. 65-81, 2014, Springer, 978-3-319-17039-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Dimitrios I. Sotiriou, Spilios D. Fassois |
Non-stationary adaptive time series modeling for aircraft 4D trajectory conformance monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCCSP ![In: 6th International Symposium on Communications, Control and Signal Processing, ISCCSP 2014, Athens, Greece, May 21-23, 2014, pp. 24-27, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR4HC@VSL ![In: Knowledge Representation for Health Care - 6th International Workshop, KR4HC 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014, Revised Selected Papers, pp. 62-77, 2014, Springer, 978-3-319-13280-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Anaïs Guignard, Jean-Marc Faure |
A Conformance Relation for Model-Based Testing of PLC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014., pp. 412-419, 2014, International Federation of Automatic Control, 978-3-902823-61-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCA ![In: 7th IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2014, Matsue, Japan, November 17-19, 2014, pp. 33-40, 2014, IEEE Computer Society, 978-1-4799-6833-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Li Lei, Kai Cong, Zhenkun Yang, Fei Xie |
Validating direct memory access interfaces with conformance checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: The IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014, San Jose, CA, USA, November 3-6, 2014, pp. 9-16, 2014, IEEE, 978-1-4799-6277-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Erik Burger, Aleksandar Toshovski |
Difference-based Conformance Checking for Ecore Metamodels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modellierung ![In: Modellierung 2014, 19.-21. März 2014, Wien, Österreich, pp. 97-104, 2014, GI, 978-3-88579-619-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Min Xu, Xiaohong Huang |
Research on conformance testing method for 6LoWPAN neighbor discovery protocol and system implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIS ![In: IEEE 3rd International Conference on Cloud Computing and Intelligence Systems, CCIS 2014, Shenzhen, China, November 27-29, 2014, pp. 738-743, 2014, IEEE, 978-1-4799-4720-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPS ![In: ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, Berlin, Germany, April 14-17, 2014, pp. 211, 2014, IEEE Computer Society, 978-1-4799-4931-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ken-Ichi Suzuki |
[Tutorial] activities for conformance and interoperability testing in EPON standardization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2014, San Francisco, CA, USA, March 9-13, 2014, pp. 1-24, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Florian Fittkau, Phil Stelzer, Wilhelm Hasselbring |
Live Visualization of Large Software Landscapes for Ensuring Architecture Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA Workshops ![In: Proceedings of the ECSA 2014 Workshops & Tool Demos Track, European Conference on Software Architecture, 2014, Vienna, Austria, pp. 28:1-28:4, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Davide Fucci, Burak Turhan, Markku Oivo |
Impact of process conformance on the effects of test-driven development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM '14, Torino, Italy, September 18-19, 2014, pp. 10:1-10:10, 2014, ACM, 978-1-4503-2774-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres |
Effectiveness for Input Output Conformance Simulation iocos̱. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings, pp. 100-116, 2014, Springer, 978-3-662-43612-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014, pp. 943-954, 2014, ACM, 978-1-4503-2756-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014, pp. 1-8, 2014, IEEE, 978-1-4799-4846-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|