Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS-AVoCS ![In: Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings, pp. 51-65, 2017, Springer, 978-3-319-67112-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Massimiliano de Leoni, Andrea Marrella |
How Planning Techniques Can Help Process Mining: The Conformance-Checking Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Proceedings of the 25th Italian Symposium on Advanced Database Systems, Squillace Lido (Catanzaro), Italy, June 25-29, 2017., pp. 283, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Montserrat Estañol, Mirjana Mazuran, Xavier Oriol, Letizia Tanca, Ernest Teniente |
Process Conformance Checking by Relaxing Data Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Proceedings of the 25th Italian Symposium on Advanced Database Systems, Squillace Lido (Catanzaro), Italy, June 25-29, 2017., pp. 90, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Ramneek, Patrick Hosein, Woojin Seok, JaiSeung Kwak, Alexandr Ni |
Emerging network technologies and network neutrality conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APNOMS ![In: 19th Asia-Pacific Network Operations and Management Symposium, APNOMS 2017, Seoul, Korea (South), September 27-29, 2017, pp. 31-36, 2017, IEEE, 978-1-5386-1101-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, Madrid, Spain, July 24-26, 2017., pp. 459-466, 2017, SciTePress, 978-989-758-262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture - 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings, pp. 67-83, 2017, Springer, 978-3-319-65830-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Sandra Schröder, Matthias Riebisch |
Architecture conformance checking with description logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA (Companion) ![In: 11th European Conference on Software Architecture, ECSA 2017, Companion Proceedings, Canterbury, United Kingdom, September 11-15, 2017, pp. 166-172, 2017, ACM, 978-1-4503-5217-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Nicolas Hili, Jean-Sébastien Sottet |
The Conformance Relation Challenge: Building Flexible Modelling Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Satellite Events) ![In: Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017., pp. 418-423, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Evren Çilden, Halit Oguztüzün |
A Reflexion Model Based Architecture Conformance Analysis Toolkit for OSGi-Compliant Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSA Workshops ![In: 2017 IEEE International Conference on Software Architecture Workshops, ICSA Workshops 2017, Gothenburg, Sweden, April 5-7, 2017, pp. 263-266, 2017, IEEE Computer Society, 978-1-5090-4793-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSA ![In: 2017 IEEE International Conference on Software Architecture, ICSA 2017, Gothenburg, Sweden, April 3-7, 2017, pp. 225-234, 2017, IEEE Computer Society, 978-1-5090-5729-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Tobias Olsson, Morgan Ericsson, Anna Wingkvist |
Motivation and Impact of Modeling Erosion Using Static Architecture Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSA Workshops ![In: 2017 IEEE International Conference on Software Architecture Workshops, ICSA Workshops 2017, Gothenburg, Sweden, April 5-7, 2017, pp. 204-209, 2017, IEEE Computer Society, 978-1-5090-4793-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings, pp. 37-48, 2017, Springer, 978-3-319-51962-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Liping Chen, Weitao Ha |
Conformance Checking and QoS Selection Based on CPN for Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS ![In: 13th International Conference on Computational Intelligence and Security, CIS 2017, Hong Kong, China, December 15-18, 2017, pp. 273-276, 2017, IEEE Computer Society, 978-1-5386-4822-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Frank Oemig, Bernd Blobel |
Compliance or Conformance: What Should Interoperability Focus on? ![Search on Bibsonomy](Pics/bibsonomy.png) |
pHealth ![In: pHealth 2017 - Proceedings of the 14th International Conference on Wearable Micro and Nano Technologies for Personalized Health, 14-16 May 2017, Eindhoven, The Netherlands, pp. 63-67, 2017, IOS Press, 978-1-61499-760-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Curtis K. Donahue |
Demo: Conformance testing for emerging IEEE 802.3 automotive ethernet PHY specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VNC ![In: 2017 IEEE Vehicular Networking Conference, VNC 2017, Torino, Italy, November 27-29, 2017, pp. 121-122, 2017, IEEE, 978-1-5386-0986-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPLoP ![In: Proceedings of the 22nd European Conference on Pattern Languages of Programs, EuroPLoP 2017, Irsee, Germany, July 12-16, 2017, pp. 1:1-1:46, 2017, ACM, 978-1-4503-4848-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Jan Werewka |
Developing Conformance Between Project Management and Enterprise Architecture Governance on the Basis of a PMBOK Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAT (3) ![In: Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology - ISAT 2017 - Part III, Szklarska Poręba, Poland, September 17-19, 2017, pp. 233-242, 2017, Springer, 978-3-319-67222-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Henning Berg |
Type-Safe and Conformance-Preserving Composition and Typing of Metamodels with Co-evolution of Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
14 | Carl Westin, Clark Borst, Brian Hilburn |
Strategic Conformance: Overcoming Acceptance Issues of Decision Aiding Automation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Hum. Mach. Syst. ![In: IEEE Trans. Hum. Mach. Syst. 46(1), pp. 41-52, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manag. Sci. ![In: Manag. Sci. 62(3), pp. 829-848, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Songchun Moon |
Conformance of Social Media as Barometer of Public Engagement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open J. Big Data ![In: Open J. Big Data 2(1), pp. 1-10, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Andrea Burattin, Fabrizio Maria Maggi, Alessandro Sperduti |
Conformance checking based on multi-perspective declarative process models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 65, pp. 194-211, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Harsh Beohar, Mohammad Reza Mousavi 0001 |
Input-output conformance testing for software product lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 85(6), pp. 1131-1153, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 85(5), pp. 806-823, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Health Informatics J. ![In: Health Informatics J. 22(4), pp. 1017-1029, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Sergio Miranda, Elder Rodrigues Jr., Marco Túlio Valente, Ricardo Terra |
Architecture Conformance Checking in Dynamically Typed Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 15(3), pp. 1:1-34, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yongkang Zheng, Mingliang Wu, Zhiqiang Peng |
A Close-Loop Conformance Testing System of IEC 61850. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Commun. ![In: J. Commun. 11(8), pp. 779-784, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 17(6), pp. 1606-1616, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 18(3), pp. 285-304, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMISA Forum ![In: EMISA Forum 36(2), pp. 57-59, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Boudewijn F. van Dongen, Josep Carmona 0001, Thomas Chatain |
Alignment-based Quality Metrics in Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMISA Forum ![In: EMISA Forum 36(2), pp. 77-80, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.01077, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Morteza Mohaqeqi, Mohammad Reza Mousavi 0001 |
Towards an Approximate Conformance Relation for Hybrid I/O Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
V2CPS@IFM ![In: Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjavík, Iceland, June 4-5, 2016., pp. 53-64, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Lars Luthmann, Stephan Mennicke, Malte Lochau |
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.09035, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Behrooz Golzarpoor, Carl T. Haas, Derek Rayside |
Improving process conformance with Industry Foundation Processes (IFP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Informatics ![In: Adv. Eng. Informatics 30(2), pp. 143-156, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7960, pp. 1-27, September 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 83(1), pp. 113-128, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 85(1), pp. 23-43, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 62, pp. 185-206, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 113, pp. 275-295, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 72, pp. 68-89, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 63, pp. 169-173, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 28(3), pp. 499-527, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 98(4), pp. 407-437, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Jorge Munoz-Gama |
Conformance Checking and Diagnosis in Process Mining - Comparing Observed and Modeled Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
DOI RDF |
|
14 | Frank Oemig, Robert Snelick |
Healthcare Interoperability Standards Compliance Handbook - Conformance and Testing of Healthcare Data Exchange Standards ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Agile Processes, in Software Engineering, and Extreme Programming - 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings, pp. 53-65, 2016, Springer, 978-3-319-33514-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCST ![In: IEEE International Carnahan Conference on Security Technology, ICCST 2016, Orlando, FL, USA, October 24-27, 2016, pp. 1-8, 2016, IEEE, 978-1-5090-1072-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMARETTO@MODELSWARD ![In: Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, February 19-21, 2016., pp. 14-22, 2016, SciTePress, 978-989-758-166-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Karsten Nebe, Snigdha Baloni |
Agile Human-Centred Design: A Conformance Checklist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human Interface and the Management of Information: Information, Design and Interaction - 18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016, Proceedings, Part I, pp. 442-453, 2016, Springer, 978-3-319-40348-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 28th International Conference on Software Engineering and Knowledge Engineering, SEKE 2016, Redwood City, San Francisco Bay, USA, July 1-3, 2016., pp. 492-497, 2016, KSI Research Inc. and Knowledge Systems Institute Graduate School, 1-891706-39-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC ![In: 2016 International Conference on Computing, Networking and Communications, ICNC 2016, Kauai, HI, USA, February 15-18, 2016, pp. 1-5, 2016, IEEE Computer Society, 978-1-4673-8579-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Chatain, Josep Carmona 0001 |
Anti-alignments in Conformance Checking - The Dark Side of Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings, pp. 240-258, 2016, Springer, 978-3-319-39085-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Gregor von Bochmann |
Conformance Testing with Respect to Partial-Order Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 3-17, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2016, Daejeon, South Korea, October 9-14, 2016, pp. 1246-1253, 2016, IEEE, 978-1-5090-3762-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: 2016 IEEE/IFIP Network Operations and Management Symposium, NOMS 2016, Istanbul, Turkey, April 25-29, 2016, pp. 848-852, 2016, IEEE, 978-1-5090-0223-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | João Caldeira, Fernando Brito e Abreu |
Software Development Process Mining: Discovery, Conformance Checking and Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QUATIC ![In: 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016, Lisbon, Portugal, September 6-9, 2016, pp. 254-259, 2016, IEEE Computer Society, 978-1-5090-3581-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSA/CUTE ![In: Advances in Computer Science and Ubiquitous Computing - CSA/CUTE 2016, Bangkok, Thailand, 19-21 December., pp. 957-962, 2016, Springer, 978-981-10-3022-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Ana Nicolaescu, Horst Lichter |
Behavior-Based Architecture Reconstruction and Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016, Venice, Italy, April 5-8, 2016, pp. 152-157, 2016, IEEE Computer Society, 978-1-5090-2131-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff |
Reachset Conformance Testing of Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp. 277-286, 2016, ACM, 978-1-4503-3955-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 15-32, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Caracciolo, Mircea Lungu, Oskar Truffer, Kirill Levitin, Oscar Nierstrasz |
Evaluating an Architecture Conformance Monitoring Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWESEP@SANER ![In: 7th International Workshop on Empirical Software Engineering in Practice, IWESEP@SANER 2016, Osaka, Japan, March 13, 2016, pp. 41-44, 2016, IEEE Computer Society, 978-1-5090-1851-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Arcaini, Angelo Gargantini, Paolo Vavassori |
Automatic Detection and Removal of Conformance Faults in Feature Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016, pp. 102-112, 2016, IEEE Computer Society, 978-1-5090-1827-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the 30th Brazilian Symposium on Software Engineering, SBES 2016, Maringá, Brazil, September 19 - 23, 2016, pp. 103-112, 2016, ACM, 978-1-4503-4201-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings, pp. 179-196, 2016, Springer, 978-3-319-45347-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Nitin Yadav, John Thangarajah |
Checking the Conformance of Requirements in Agent Designs Using ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), pp. 243-251, 2016, IOS Press, 978-1-61499-671-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: 11th IEEE Symposium on Industrial Embedded Systems, SIES 2016, Krakow, Poland, May 23-25, 2016, pp. 29-36, 2016, IEEE, 978-1-5090-2282-3. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMISA ![In: Proceedings of the 7th International Workshop on Enterprise Modeling and Information Systems Architectures, EMISA 2016: Fachgruppentreffen der GI-Fachgruppe Entwicklungsmethoden für Informationssysteme und deren Anwendung, Vienna, Austria, October 3-4, 2016., pp. 72-74, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Boudewijn F. van Dongen, Josep Carmona 0001, Thomas Chatain |
Alignment-based Quality Metrics in Conformance Checking (Summary). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMISA ![In: Proceedings of the 7th International Workshop on Enterprise Modeling and Information Systems Architectures, EMISA 2016: Fachgruppentreffen der GI-Fachgruppe Entwicklungsmethoden für Informationssysteme und deren Anwendung, Vienna, Austria, October 3-4, 2016., pp. 87-90, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Antonella Santone, Gigliola Vaglini |
Conformance Checking using Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT-EA ![In: Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24 - 26, 2016., pp. 258-263, 2016, SciTePress, 978-989-758-194-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Tobias Olsson, Daniel Toll, Morgan Ericsson, Anna Wingkvist |
Evaluation of an architectural conformance checking software service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA Workshops ![In: Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28 - December 2, 2016, pp. 15, 2016, ACM, 978-1-4503-4781-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Lars Luthmann, Stephan Mennicke, Malte Lochau |
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, pp. 54-72, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Nicolas Hili |
A Metamodeling Framework for Promoting Flexibility and Creativity Over Strict Model Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FlexMDE@MoDELS ![In: Proceedings of the 2nd Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), Saint-Malo, France, October 2, 2016., pp. 2-11, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Klaus-Hendrik Wolf, Mike Klimek |
A Conformance Test Suite for Arden Syntax Compilers and Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIE ![In: Exploring Complexity in Health: An Interdisciplinary Systems Approach - Proceedings of MIE2016 at HEC2016, Munich, Germany, 28 August - 2 September 2016., pp. 379-383, 2016, IOS Press, 978-1-61499-677-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016, Paris, France, June 13-15, 2016, pp. 211-213, 2016, IEEE Computer Society, 978-1-5090-1663-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCARS ![In: 2016 X Brazilian Symposium on Software Components, Architectures and Reuse, SBCARS 2016, Maringá, Brazil, September 19-20, 2016, pp. 81-90, 2016, IEEE Computer Society, 978-1-5090-5086-4. The full citation details ...](Pics/full.jpeg) |
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]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBSI ![In: Proceedings of the XII Brazilian Symposium on Information Systems on Brazilian Symposium on Information Systems: Information Systems in the Cloud Computing Era, SBSI 2016, Florianópolis, Brazil, May 17-20, 2016., pp. 52-59, 2016, ACM, 978-85-7669-317-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Cesar Gonzalez-Perez, Patricia Martín-Rodilla |
Using model views to assist with model conformance and extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCIS ![In: Tenth IEEE International Conference on Research Challenges in Information Science, RCIS 2016, Grenoble, France, June 1-3, 2016, pp. 1-6, 2016, IEEE, 978-1-4799-8710-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIC ![In: 2nd IEEE International Conference on Collaboration and Internet Computing, CIC 2016, Pittsburgh, PA, USA, November 1-3, 2016, pp. 229-235, 2016, IEEE Computer Society, 978-1-5090-4607-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Caracciolo |
A unified approach to architecture conformance checking. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
14 | Dylan Yaga, John W. M. Campbell, Gregory Zektser |
Conformance Testing Methodologies for Biometric Data Interchange Formats, Standardization of. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Biometrics ![In: Encyclopedia of Biometrics, Second Edition, pp. 327-335, 2015, Springer US, 978-1-4899-7487-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manag. Sci. ![In: Manag. Sci. 61(11), pp. 2760-2781, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Bernhard K. Aichernig, Martin Tappler |
Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USE@FM ![In: 1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway, June 23-25, 2015, pp. 3-19, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jaeseung Song, Hyoungshick Kim, Soojin Park |
Enhancing Conformance Testing Using Symbolic Execution for Network Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 64(3), pp. 1024-1037, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi 0001, Tim A. C. Willemse |
Synchrony and asynchrony in conformance testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 14(1), pp. 149-172, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Weitao Ha, Guojun Zhang, Liping Chen |
Conformance Checking and QoS Selection Based on CPN for Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Pattern Recognit. Artif. Intell. ![In: Int. J. Pattern Recognit. Artif. Intell. 29(2), pp. 1559002:1-1559002:16, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Commun. ![In: J. Commun. 10(2), pp. 145-153, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Sci. Eng. ![In: J. Comput. Inf. Sci. Eng. 15(2), 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 31(4), pp. 645-658, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Michael Perakis, Evdokia Xekalaki |
Assessing the Proportion of Conformance of a Process from a Bayesian Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 31(3), pp. 381-387, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 10(2), pp. 127-141, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Younan Duan, Zhizhong Ding, Teng Huang, Dingliang Wang |
TTCN-3 Codec Implementation for LTE RRM Conformance Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 10(10), pp. 1176-1188, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 267, pp. 456-464, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 98-D(6), pp. 1137-1149, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | S. Akshay 0001, Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
Checking conformance for time-constrained scenario-based specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 594, pp. 24-43, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 41(10), pp. 944-968, 2015. 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 (full version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.05832, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Andrea Burattin, Fabrizio Maria Maggi, Alessandro Sperduti |
Conformance Checking Based on Multi-Perspective Declarative Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.04957, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP 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) |
CoRR ![In: CoRR abs/1501.03593, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSPLE ![In: Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015., pp. 1-13, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|