Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan 0001 |
Verifying Conformance of Neural Network Models: Invited Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the International Conference on Computer-Aided Design, ICCAD 2019, Westminster, CO, USA, November 4-7, 2019, pp. 1-8, 2019, ACM, 9781728123509. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Artem Polyvyanyy, Anna A. Kalenkova |
Monotone Conformance Checking for Partially Matching Designed and Observed Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPM ![In: International Conference on Process Mining, ICPM 2019, Aachen, Germany, June 24-26, 2019, pp. 81-88, 2019, IEEE, 978-1-7281-0919-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Ramon Janssen, Frits W. Vaandrager, Jan Tretmans |
Relating Alternating Relations for Conformance and Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 246-264, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Florian Richter 0001, Florian Wahl, Alona Sydorova, Thomas Seidl 0001 |
k-process: Model-Conformance-based Clustering of Process Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LWDA ![In: Proceedings of the Conference on `Lernen, Wissen, Daten, Analysen`, Berlin, Germany, September 30 - October 2, 2019., pp. 161-172, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Chathurika Wickramage, Colin J. Fidge, Chun Ouyang 0001, Tony Sahama |
Generating Log Requirements for Checking Conformance against Healthcare Standards using Workflow Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSW ![In: Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2019, Sydney, NSW, Australia, January 29-31, 2019, pp. 35:1-35:10, 2019, ACM, 978-1-4503-6603-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Pieter Heyvaert, David Chaves-Fraga, Freddy Priyatna, Óscar Corcho, Erik Mannens, Ruben Verborgh, Anastasia Dimou |
Conformance Test Cases for the RDF Mapping Language (RML). ![Search on Bibsonomy](Pics/bibsonomy.png) |
KGSWC ![In: Knowledge Graphs and Semantic Web - First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings, pp. 162-173, 2019, Springer, 978-3-030-21394-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Lars Luthmann, Hendrik Göttmann, Malte Lochau |
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, pp. 147-169, 2019, Springer, 978-3-030-40913-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Kehang Chen, Jidong Lv, Jia Huang, Haonan Guo, Shuai Su, Tao Tang 0004 |
Online Conformance Testing of CBTC On-board ATO Functions Based on UPPAAL-TRON Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, Auckland, New Zealand, October 27-30, 2019, pp. 3334-3339, 2019, IEEE, 978-1-5386-7024-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Graf-Brill, Holger Hermanns |
Component-aware Input-Output Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings, pp. 111-128, 2019, Springer, 978-3-030-21758-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Alexandre B. Nassif, Hesam Yazdanpanahi, Matthew Wright, Amanda Robertson |
Performance and Conformance Analysis of a Commercial Scale PV Inverter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: 2019 IEEE Canadian Conference of Electrical and Computer Engineering, CCECE 2019, Edmonton, AB, Canada, May 5-8, 2019, pp. 1-4, 2019, IEEE, 978-1-7281-0319-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Kenji Uehara, Kunihiko Hiraishi |
Process mining approach for the conformance checking of discrete-event simulation model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SICE ![In: 58th Annual Conference of the Society of Instrument and Control Engineers of Japan, SICE 2019, Hiroshima, Japan, September 10-13, 2019, pp. 615-620, 2019, IEEE, 978-4-9077-6467-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Sebastian Dunzer, Matthias Stierle, Martin Matzner, Stephan Baier |
Conformance checking: a state-of-the-art literature review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S-BPM ONE ![In: Proceedings of the 11th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2019, Seville, Spain, June 26-28, 2019, pp. 4:1-4:10, 2019, ACM, 978-1-4503-6250-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Matthias Ehrendorfer, Juergen-Albrecht Fassmann, Juergen Mangler, Stefanie Rinderle-Ma |
Conformance Checking and Classification of Manufacturing Log Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBI (1) ![In: 21st IEEE Conference on Business Informatics, CBI 2019, Moscow, Russia, July 15-17, 2019, Volume 1 - Research Papers, pp. 569-577, 2019, IEEE, 978-1-7281-0650-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Adnan Khan, David Thönnessen, Martin Fabian |
On-the-fly conformance testing of safety PLC code using QuickCheck. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 17th IEEE International Conference on Industrial Informatics, INDIN 2019, Helsinki, Finland, July 22-25, 2019, pp. 419-424, 2019, IEEE, 978-1-7281-2927-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Jens H. Weber, Oscar Costa |
Hazard analysis of interoperability conformance profiles: an industrial case study in healthcare. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, CASCON 2019, Markham, Ontario, Canada, November 4-6, 2019., pp. 156-165, 2019, ACM. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
14 | Miljan Vucetic, Miroslav Hudec |
A fuzzy query engine for suggesting the products based on conformance and asymmetric conjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 101, pp. 143-158, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Sung-Hyun Sim, Hyerim Bae, Yulim Choi, Ling Liu 0001 |
Statistical Verification of Process Model Conformance to Execution Log Considering Model Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Cooperative Inf. Syst. ![In: Int. J. Cooperative Inf. Syst. 27(2), pp. 1850002:1-1850002:23, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres |
An axiomatic semantics for iocos_ conformance relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 100, pp. 152-184, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Feng Luo, Yueyin Xie |
Conformance Test of AUTOSAR Network Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Wirel. Inf. Networks ![In: Int. J. Wirel. Inf. Networks 25(3), pp. 279-288, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst |
Scalable process discovery and conformance checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 17(2), pp. 599-631, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Luca Piovesan, Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré |
ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 32(2-3), pp. 201-204, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Christopher Haubeck, Alexander Pokahr, Kim Reichert, Till Hohenberger, Winfried Lamersdorf |
The CRI-model: A domain-independent taxonomy for non-conformance between observed and specified behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Inf. Syst. ![In: Comput. Sci. Inf. Syst. 15(3), pp. 705-731, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Anaïs Guignard, Jean-Marc Faure, Gregory Faraut |
Model-Based Testing of PLC Programs With Appropriate Conformance Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 14(1), pp. 350-359, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Carlos A. Escobar, Rubén Morales-Menéndez |
Parsimonious Modeling for Binary Classification of Quality in a High Conformance Manufacturing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Mach. Learn. Data Min. ![In: Trans. Mach. Learn. Data Min. 11(1), pp. 257-41, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Colin Bellinger, Christopher Drummond, Nathalie Japkowicz |
Manifold-based synthetic oversampling with manifold conformance estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 107(3), pp. 605-637, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Andreas Brühschwein, Julius Klever, Tom Wilkinson Jr, Andrea Meyer-Lindenberg |
DICOM Standard Conformance in Veterinary Medicine in Germany: a Survey of Imaging Studies in Referral Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 31(1), pp. 13-18, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Luciano García-Bañuelos, Nick van Beest, Marlon Dumas, Marcello La Rosa, Willem Mertens |
Complete and Interpretable Conformance Checking of Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 44(3), pp. 262-290, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Tobias R. Gundersen, Florian Lorber, Ulrik Nyman, Christian Ovesen |
Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 147-160, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Jong-Hwan Shin, Dusan Baek, Byeongjeong Lee, Jung-Won Lee |
Assessing content-based conformance between software R&D documents and design guidelines using relevance links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 22(20), pp. 6645-6656, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Yongjie Zheng, Cuong Cu, Richard N. Taylor |
Maintaining Architecture-Implementation Conformance to Support Architecture Centrality: From Single System to Product Line Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 27(2), pp. 8:1-8:52, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Weiwei Lin 0003, Hongwei Zeng, Honghao Gao, Huaikou Miao, Xiaolin Wang |
Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secur. Commun. Networks ![In: Secur. Commun. Networks 2018, pp. 3723691:1-3723691:13, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Juan Carlos Vidal, Thomas Rabelo, Manuel Lama, Ricardo José Rocha Amorim |
Ontology-based approach for the validation and conformance testing of xAPI events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 155, pp. 22-34, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Moez Krichen, Afef Jmal Maâlej, Mariam Lahami |
A model-based approach to combine conformance and load tests: an eHealth case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 8(3/4), pp. 282-310, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Mahdi Alizadeh, Xixi Lu 0001, Dirk Fahland, Nicola Zannone, Wil M. P. van der Aalst |
Linking data and process perspectives for conformance analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Secur. ![In: Comput. Secur. 73, pp. 172-193, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi 0001, Augusto Sampaio |
Sound conformance testing for cyber-physical systems: Theory and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 162, pp. 35-54, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Huimin Zhang, Lei Feng 0002, Naiqi Wu, Zhiwu Li 0001 |
Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 15(1), pp. 2-15, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Katalin Toth, Andrius Kucas |
Conformance testing of geographic information. A case study on the Land Parcel Identification System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Environ. Urban Syst. ![In: Comput. Environ. Urban Syst. 70, pp. 71-83, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Ana Nicolaescu |
Behavior-Based Architecture Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2018., pp. 161-170, 2018, GI, 978-3-88579-977-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Josep Carmona 0001, Boudewijn F. van Dongen, Andreas Solti, Matthias Weidlich 0001 |
Conformance Checking - Relating Processes and Models ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
DOI RDF |
|
14 | Muhammad Fahad 0011, Nicolas Bus |
Conformance Checking of IFC Models via Semantic BIM Reasoner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EG-ICE ![In: 26th International Workshop on Intelligent Computing in Engineering, EG-ICE 2019, Leuven, Belgium, June 30 - July 3, 2019., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Fazle Rabbi 0001, Lars Michael Kristensen, Yngve Lamo |
Static Analysis of Conformance Preserving Model Transformation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018., pp. 152-162, 2018, SciTePress, 978-989-758-283-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Fazle Rabbi 0001, Yngve Lamo, Lars Michael Kristensen |
Analysis and Evaluation of Conformance Preserving Graph Transformation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD (Revised Selected Papers) ![In: Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, pp. 284-307, 2018, Springer, 978-3-030-11029-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Chang-Ai Sun, Meng Li, Jingting Jia, Jun Han 0004 |
Constraint-Based Model-Driven Testing of Web Services for Behavior Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings, pp. 543-559, 2018, Springer, 978-3-030-03595-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Na Wang, Ying Xu, Yajun Zhang, Meng Liu, Daxue Shen, Hongjun Wang |
An algorithm to calculate phase and amplitude of tag on RFID protocol conformance test system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACT ![In: 20th International Conference on Advanced Communication Technology, ICACT 2018, Elysian Gangchon, Chuncheon, Korea (South), February 11-14, 2018, pp. 120-126, 2018, IEEE, 979-11-88428-01-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Wil M. P. van der Aalst |
Relating Process Models and Event Logs - 21 Conformance Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018., pp. 56-74, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Alexandre Petrenko, Florent Avellaneda |
Conformance Testing and Inference of Embedded Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, pp. 119-134, 2018, Springer, 978-3-319-99926-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Stefan B. Liu, Matthias Althoff |
Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2018, Madrid, Spain, October 1-5, 2018, pp. 370-376, 2018, IEEE, 978-1-5386-8094-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Nicola Ferro 0001, Gianmaria Silvello, Erik Buelinckx, Boris Doubrov, Antonella Fresa, Magnus Geber, Klas Jadeglans, Börje Justrell, Bert Lemmens, Jerome Martinez, Víctor Muñoz, Sonia Oliveras, Claudio Prandoni, Dave Rice, Stefan Rohde-Enslin, Xavi Tarrés, Erwin Verbruggen, Benjamin Yousefi, Carl Wilson |
Evaluation of Conformance Checkers for Long-Term Preservation of Multimedia Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: Proceedings of the 18th ACM/IEEE on Joint Conference on Digital Libraries, JCDL 2018, Fort Worth, TX, USA, June 03-07, 2018, pp. 145-154, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Shadi Abou-Zahra, Judy Brewer, Michael Cooper |
Artificial Intelligence (AI) for Web Accessibility: Is Conformance Evaluation a Way Forward? ![Search on Bibsonomy](Pics/bibsonomy.png) |
W4A ![In: The 15th Web for All Conference, W4A 2018, Lyon, France, April 23-25, 2018, Proceedings, pp. 20:1-20:4, 2018, ACM, 978-1-4503-5651-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens |
Benchmarks for Automata Learning and Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models, Mindsets, Meta ![In: Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, pp. 390-416, 2018, Springer, 978-3-030-22347-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Miljan Vucetic, Miroslav Hudec |
A Flexible Approach to Matching User Preferences with Records in Datasets based on the Conformance Measure and Aggregation Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCCI ![In: Proceedings of the 10th International Joint Conference on Computational Intelligence, IJCCI 2018, Seville, Spain, September 18-20, 2018., pp. 168-175, 2018, SciTePress, 978-989-758-327-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Prabhakar M. Dixit, Joos C. A. M. Buijs, H. M. W. Verbeek, Wil M. P. van der Aalst |
Fast Incremental Conformance Analysis for Interactive Process Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIS ![In: Business Information Systems - 21st International Conference, BIS 2018, Berlin, Germany, July 18-20, 2018, Proceedings, pp. 163-175, 2018, Springer, 978-3-319-93930-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Andrew J. Moore, Matthew Schubert, Nicholas Rymer, Swee Balachandran, Maria Consiglio, César A. Muñoz, Joshua Smith, Dexter Lewis, Paul Schneide |
Inspection of electrical transmission structures with UAV path conformance and lidar-based geofences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT ![In: 2018 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, ISGT 2018, Washington, DC, USA, February 19-22, 2018, pp. 1-5, 2018, IEEE, 978-1-5386-2453-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Vanius Zapalowski, Daltro José Nunes, Ingrid Nunes |
Understanding architecture non-conformance: why is there a gap between conceptual architectural rules and source code dependencies? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the XXXII Brazilian Symposium on Software Engineering, SBES 2018, Sao Carlos, Brazil, September 17-21, 2018, pp. 22-31, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Sidartha A. L. Carvalho, Lucas M. F. Harada, Rafael N. Lima, Carolina M. A. Barbosa, Daniel C. Cunha 0001, Abel G. Silva-Filho |
Identifying power consumption signatures in LTE conformance tests using machine learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LASCAS ![In: 9th IEEE Latin American Symposium on Circuits & Systems, LASCAS 2018, Puerto Vallarta, Mexico, February 25-28, 2018, pp. 1-4, 2018, IEEE, 978-1-5386-2311-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Luca Piovesan, Paolo Terenziani, Daniele Theseider Dupré |
Temporal Conformance Analysis and Explanation on Comorbid Patients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HEALTHINF ![In: Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018) - Volume 5: HEALTHINF, Funchal, Madeira, Portugal, January 19-21, 2018., pp. 17-26, 2018, SciTePress, 978-989-758-281-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Wai Lam Jonathan Lee, Jorge Munoz-Gama, H. M. W. Verbeek, Wil M. P. van der Aalst, Marcos Sepúlveda |
Improving Merging Conditions for Recomposing Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops - BPM 2018 International Workshops, Sydney, NSW, Australia, September 9-14, 2018, Revised Papers, pp. 31-43, 2018, Springer, 978-3-030-11640-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Burattin, Sebastiaan J. van Zelst, Abel Armas-Cervantes, Boudewijn F. van Dongen, Josep Carmona 0001 |
Online Conformance Checking Using Behavioural Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management - 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings, pp. 250-267, 2018, Springer, 978-3-319-98647-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Lina Marsso, Radu Mateescu 0001, Wendelin Serwe |
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II, pp. 211-228, 2018, Springer, 978-3-319-89962-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi |
Agents Interoperability via Conformance Modulo Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOA ![In: Proceedings of the 19th Workshop `From Objects to Agents`, Palermo, Italy, June 28-29, 2018., pp. 109-115, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Jean-Luc Béchennec, Olivier Henry Roux, Tigori Kabland Toussaint Gautier |
Formal model-based conformance verification of an OSEK/VDX compliant RTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoDIT ![In: 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018, Thessaloniki, Greece, April 10-13, 2018, pp. 628-634, 2018, IEEE, 978-1-5386-5065-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Rainer Koschke |
Industrial experience on code clean-up using architectural conformance checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA (Companion) ![In: Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, ECSA 2018, Madrid, Spain, September 24-28, 2018, pp. 48:1-48:7, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Elia Kouzari, Lazaros Sotiriadis, Ioannis Stamelos |
Process Mining for Process Conformance Checking in an OSS Project: An Empirical Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSS ![In: Open Source Systems: Enterprise Software and Solutions - 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings, pp. 79-89, 2018, Springer, 978-3-319-92374-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Zhengguo Yang, Toshiaki Aoki, Yasuo Tan |
Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2018, Madrid, Spain, October 15-17, 2018, pp. 224-233, 2018, IEEE Computer Society, 978-1-5386-5048-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Cedric Stark, Aaron Pereira, Matthias Althoff |
Reachset Conformance Testing of Human Arms with a Biomechanical Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRC ![In: Second IEEE International Conference on Robotic Computing, IRC 2018, Laguna Hills, CA, USA, January 31 - February 2, 2018, pp. 209-216, 2018, IEEE Computer Society, 978-1-5386-4652-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Prabhakar M. Dixit, H. M. W. Verbeek, Wil M. P. van der Aalst |
Fast Conformance Analysis Based on Activity Log Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 22nd IEEE International Enterprise Distributed Object Computing Conference, EDOC 2018, Stockholm, Sweden, October 16-19, 2018, pp. 135-144, 2018, IEEE Computer Society, 978-1-5386-4139-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Flavio Corradini, Andrea Morichetta 0001, Andrea Polini, Barbara Re 0001, Francesco Tiezzi 0001 |
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 22nd IEEE International Enterprise Distributed Object Computing Conference, EDOC 2018, Stockholm, Sweden, October 16-19, 2018, pp. 95-104, 2018, IEEE Computer Society, 978-1-5386-4139-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Haifeng Gu, Mingsong Chen, Tongquan Wei, Li Lei, Fei Xie |
Specification-driven automated conformance checking for virtual prototype and post-silicon designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018, pp. 93:1-93:6, 2018, ACM, 978-1-5386-4114-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Wang Shi-Kui, Li Wen |
Technical Research and Platform Implementation of the Protocol Conformance Test of AFDX Network Switch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NaNA ![In: International Conference on Networking and Network Applications, NaNA 2018, Xi'an, China, October 12-15, 2018, pp. 227-231, 2018, IEEE, 978-1-5386-8303-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Ana Nicolaescu |
Behavior-Based Architecture Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
14 | Farbod Taymouri |
Light methods for conformance checking of business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
14 | Hans Søndergaard, Stephan Erbs Korsholm, Anders P. Ravn |
Conformance test development with the Java modeling language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 29(22), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Jack Williams 0001, J. Garrett Morris, Philip Wadler, Jakub Zalewski |
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 3(2), pp. 08:1-08:2, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Arthur F. Pinto, Ricardo Terra, Eduardo Guerra 0001, Fernanda São Sabbas |
Introducing an Architectural Conformance Process in Continuous Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 23(8), pp. 769-805, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu |
Quantifying conformance using the Skorokhod metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 50(2-3), pp. 168-206, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Souvik Sengupta 0001, Ranjan Dasgupta |
Architectural design of a LMS with LTSA-conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Educ. Inf. Technol. ![In: Educ. Inf. Technol. 22(1), pp. 271-296, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Souvik Sengupta 0001, Ranjan Dasgupta |
LTSA conformance testing to architectural design of LMS using ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Educ. Inf. Technol. ![In: Educ. Inf. Technol. 22(6), pp. 3017-3035, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré |
Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 29(11), pp. 2567-2580, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | France Bélanger, Stéphane E. Collignon, Kathryn Enget, Eric Negangard |
Determinants of early conformance with information security policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Manag. ![In: Inf. Manag. 54(7), pp. 887-901, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Xiaoran Zhu, Min Zhang 0002, Jian Guo 0005 |
Towards an executable semantics of automobile RTOS standard and its application to conformance verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.08853, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Yoosef B. Abushark, John Thangarajah, James Harland, Tim Miller 0001 |
A framework for automatically ensuring the conformance of agent designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 131, pp. 266-310, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Richard Müller 0001, Christian Stahl, Walter Vogler |
Deciding conformance for bounded responsiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 138, pp. 1-25, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Wu Xin Ng, Hau Kong Chan, Wee Kin Teo, I-Ming Chen |
Programming a Robot for Conformance Grinding of Complex Shapes by Capturing the Tacit Knowledge of a Skilled Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 14(2), pp. 1020-1030, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Ota, Ditmir Hazizi |
Interface conformance testing for future military land platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCIS ![In: International Conference on Military Communications and Information Systems, ICMCIS 2017, Oulu, Finland, May 15-16, 2017, pp. 1-7, 2017, IEEE, 978-1-5386-3858-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Uwe Zdun, Elena Navarro 0001, Frank Leymann |
Ensuring and Assessing Architecture Conformance to Microservice Decomposition Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings, pp. 411-429, 2017, Springer, 978-3-319-69034-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Rafael Pasquini, Farnaz Moradi, Jawwad Ahmed, Andreas Johnsson, Christofer Flinta, Rolf Stadler |
Predicting SLA conformance for cluster-based services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: 2017 IFIP Networking Conference, IFIP Networking 2017 and Workshops, Stockholm, Sweden, June 12-16, 2017, pp. 1-2, 2017, IEEE Computer Society, 978-3-901882-94-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Jan Thomas, Ana Nicolaescu, Horst Lichter |
Static and Dynamic Architecture Conformance Checking: A Systematic, Case Study-Based Analysis on Tradeoffs and Synergies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QuASoQ@APSEC ![In: Proceedings of the 5th International Workshop on Quantitative Approaches to Software Quality co-located with 24th Asia-Pacific Software Engineering Conference (APSEC 2017), Nanjing, Jiangsu, China, December 4, 2017., pp. 6-13, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Ana Nicolaescu, Horst Lichter, Veit Hoffmann |
On Adequate Behavior-Based Architecture Conformance Checks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, pp. 446-455, 2017, IEEE Computer Society, 978-1-5386-3681-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | N. V. Narendra Kumar, R. K. Shyamasundar |
Dynamic Labelling to Enforce Conformance of Cross Domain Security/Privacy Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Internet Technology - 13th International Conference, ICDCIT 2017, Bhubaneswar, India, January 13-16, 2017, Proceedings, pp. 183-195, 2017, Springer, 978-3-319-50471-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Bruno Miguel Carvalhido Lima, Joao Carlos Pascoal Faria |
Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017, pp. 356-365, 2017, IEEE Computer Society, 978-1-5090-6676-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi 0001, Masoumeh Taromirad |
A Process for Sound Conformance Testing of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017, pp. 46-50, 2017, IEEE Computer Society, 978-1-5090-6676-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Reißner, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Abel Armas-Cervantes |
Scalable Conformance Checking of Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems. OTM 2017 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I, pp. 607-627, 2017, Springer, 978-3-319-69461-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Wai Lam Jonathan Lee, H. M. W. Verbeek, Jorge Munoz-Gama, Wil M. P. van der Aalst, Marcos Sepúlveda |
Replay using Recomposition: Alignment-Based Conformance Checking in the Large. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM (Demos) ![In: Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), Barcelona, Spain, September 13, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Andrea Burattin |
Online Conformance Checking for Petri Nets and Event Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM (Demos) ![In: Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), Barcelona, Spain, September 13, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Felix Mannhardt, Massimiliano de Leoni, Hajo A. Reijers |
Heuristic Mining Revamped: An Interactive, Data-aware, and Conformance-aware Miner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM (Demos) ![In: Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), Barcelona, Spain, September 13, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Andrea Burattin, Josep Carmona 0001 |
A Framework for Online Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops - BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers, pp. 165-177, 2017, Springer, 978-3-319-74029-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Xiaochen Liu, Chunhe Xia, Tianbo Wang, Li Zhong |
CloudSec: A Novel Approach to Verifying Security Conformance at the Bottom of the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BigData Congress ![In: 2017 IEEE International Congress on Big Data, BigData Congress 2017, Honolulu, HI, USA, June 25-30, 2017, pp. 569-576, 2017, IEEE Computer Society, 978-1-5386-1996-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Jack Williams 0001, J. Garrett Morris, Philip Wadler, Jakub Zalewski |
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain, pp. 28:1-28:29, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-035-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Nadezhda Chumakova, Valentin Olenev, Irina Lavrovskaya |
Conformance testing of the STP-ISS protocol implementation by means of temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FRUCT ![In: 21st Conference of Open Innovations Association, FRUCT 2017, Helsinki, Finland, 6-10 November 2017., pp. 71-78, 2017, IEEE, 978-952-68653-2-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Masoumeh Taromirad, Mohammad Reza Mousavi 0001 |
Gray-Box Conformance Testing for Symbolic Reactive State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 228-243, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|