|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1454 occurrences of 786 keywords
|
|
|
Results
Found 2040 publication records. Showing 2040 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere Kiss, Thomas Wallet |
On-The-Fly Model-Based Testing of Web Services with Jambition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers, pp. 143-157, 2008, Springer, 978-3-642-01363-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Mukund Raghavachari, Oded Shmueli |
Efficient Revalidation of XML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 19(4), pp. 554-567, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
XML, validation, XML Schema, updates, subtyping |
16 | Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch |
EWD: A metamodeling driven customizable multi-MoC system modeling framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 12(3), pp. 33:1-33:43, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ForSyDe, MoC, heterogeneous system design, interoperable modeling language, Metamodeling, metamodel, SystemC, functional language, denotational semantics, Ptolemy II |
16 | Abdelkarim Erradi, Piyush Maheshwari |
Enhancing Web Services Performance Using Adaptive Quality of Service Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2007, 8th International Conference on Web Information Systems Engineering, Nancy, France, December 3-7, 2007, Proceedings, pp. 349-360, 2007, Springer, 978-3-540-76992-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Adaptive Quality of Service Management, Differential QoS |
16 | Jesper Berthing, Thomas Maier |
A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007., pp. 505-517, 2007, Springer, 978-3-540-75100-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
dependable architectures, safety related architectures, IEC61508 |
16 | Giorgio Brajnik, Raffaella Lomuscio |
SAMBA: a semi-automatic method for measuring barriers of accessibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2007, Tempe, Arizona, USA, October 15-17, 2007, pp. 43-50, 2007, ACM, 978-1-59593-573-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
accessibility metric, accessibility, web accessibility, evaluation method, quality assessment |
16 | Guoqiang Shu, David Lee 0001 |
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), June 25-29, 2007, Toronto, Ontario, Canada, pp. 25, 2007, IEEE Computer Society, 0-7695-2837-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda |
State Transition Model for Test Sequence Generation of MANET Clustering Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), June 25-29, 2007, Toronto, Ontario, Canada, pp. 55, 2007, IEEE Computer Society, 0-7695-2881-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten |
Model-Based Testing of Thin-Client Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES/RV ![In: Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, pp. 115-132, 2006, Springer, 3-540-49699-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Bertrand Jeannet, Thierry Jéron, Vlad Rusu |
Model-Based Test Selection for Infinite-State Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, pp. 47-69, 2006, Springer, 978-3-540-74791-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali |
An abductive framework for a-priori verification of web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 39-50, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
web services, formal verification, constraints, choreographies, abduction |
16 | Kostas Saidis, George Pyrounakis, Mara Nikolaidou |
On the Effective Manipulation of Digital Objects: A Prototype-Based Instantiation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005, Proceedings, pp. 13-24, 2005, Springer, 3-540-28767-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
Choreography and Orchestration: A Synergic Approach for System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings, pp. 228-240, 2005, Springer, 3-540-30817-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Youngkon Lee |
ebXML Test Framework on Dually Coupled Asynchronous MSH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 4th Annual ACIS International Conference on Computer and Information Science (ICIS 2005), 14-16 July 2005, Jeju Island, South Korea, pp. 198-203, 2005, IEEE Computer Society, 0-7695-2296-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
SOAP-RPC, Test Service, Test Driver, ebXML |
16 | Deepak S. Yavagal, Seok Won Lee, Gail-Joon Ahn, Robin A. Gandhi |
Common criteria requirements modeling and its uses for quality of information assurance (QoIA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference (2) ![In: Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, Alabama, USA, March 18-20, 2005, Volume 2, pp. 130-135, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
information assurance metrics & measures, ontology, requirements modeling, common criteria |
16 | Henry Muccini, Marcio S. Dias, Debra J. Richardson |
Reasoning About Software Architecture-Based Regression Testing Through a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 2, pp. 189-195, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Martin Henkel, Jelena Zdravkovic |
Supporting Development and Evolution of Service-based Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 18-21 October 2005, Beijing, China, pp. 647-656, 2005, IEEE Computer Society, 0-7695-2430-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Yu-an Tan, Guo-min Lin, Hong Deng, Xue-lan Zhang |
A WBEM Based Disk Array Management Provider. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 4th International Conference on Cyberworlds (CW 2005), 23-25 November 2005, Singapore, pp. 510-514, 2005, IEEE Computer Society, 0-7695-2378-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Ehsan Samei, Alan H. Rowberg, Ellie Avraham, Craig W. Cornelius |
Toward Clinically Relevant Standardization of Image Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 17(4), pp. 271-278, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Display quality, display performance, display calibration, AAPM, luminance response, image quality, DICOM |
16 | Manu De Backer |
On the Verification of Web Services Compatibility: A Petri Net Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, pp. 810-821, 2004, Springer, 3-540-23664-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, Pierluigi Pierini |
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE Workshops ![In: Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004, pp. 351-365, 2004, Springer, 3-540-23169-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Natalia López, Manuel Núñez 0001, Ismael Rodríguez |
Formal Specification of Symbolic-Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE Workshops ![In: Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004, pp. 114-127, 2004, Springer, 3-540-23169-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Mukund Raghavachari, Oded Shmueli |
Efficient Schema-Based Revalidation of XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT 2004, 9th International Conference on Extending Database Technology, Heraklion, Crete, Greece, March 14-18, 2004, Proceedings, pp. 639-657, 2004, Springer, 3-540-21200-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Omar Rafiq, Leo Cacciari |
Coordination Algorithm for Distributed Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 24(2), pp. 203-211, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
test coordination procedures, controllability, observability, distributed testing, testing architecture |
16 | Sarolta Dibuz, Péter Krémer |
Framework and Model for Automated Interoperability Test and Its Application to ROHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings, pp. 243-257, 2003, Springer, 3-540-40123-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Tuomo Pyhälä, Keijo Heljanko |
Specification Coverage Aided Test Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal, pp. 187-195, 2003, IEEE Computer Society, 0-7695-1887-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Machiel van der Bijl, Arend Rensink, Jan Tretmans |
Compositional Testing with ioco. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003, pp. 86-100, 2003, Springer, 3-540-20894-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Antonia Bertolino, Paola Inverardi, Henry Muccini |
Formal Methods in Testing Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures, pp. 122-147, 2003, Springer, 3-540-20083-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Ramaswamy Chandramouli |
A Policy Validation Framework for Enterprise Authorization Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 19th Annual Computer Security Applications Conference (ACSAC 2003), 8-12 December 2003, Las Vegas, NV, USA, pp. 319-328, 2003, IEEE Computer Society, 0-7695-2041-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Vrizlynn L. L. Thing, Henry C. J. Lee, Yi Xu |
Designs and analysis of local mobility agents discovery, selection and failure detection for Mobile IPv6. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWCN ![In: Proceedings of The Fourth IEEE Conference on Mobile and Wireless Communications Networks, MWCN 2002, September 9-11, 2002, Stockholm, Sweden, pp. 465-469, 2002, IEEE. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Tim Moors, Malathi Veeraraghavan, Zhifeng Tao, Xuan Zheng, Ramesh Badri |
Experiences in automating the testing of SS7 signalling transfer points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 154-158, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
STP, signaling system 7, signalling system 7, automation, SS7 |
16 | Kenneth J. Turner, Ji He |
Formally-Based Design Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings, pp. 104-109, 2001, Springer, 3-540-42541-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright |
Class Refinement as Semantics of Correct Object Substitutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(1), pp. 18-40, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Class refinement, Code inheritance, Behavioural compatibility, Object substitutability, Semantics of object-oriented constructs, Implicit and explicit invariants, New methods, Correctness, Subtyping, Subclassing |
16 | Makoto Imamura, Osamu Moriguchi, Katsushi Suzuki, Hidekazu Tsuji |
Sharing SGML/XML Document Information Conformable to Business Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: Proceedings of the 1999 International Conference on Parallel Processing Workshops, ICPPW 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 381-386, 1999, IEEE Computer Society, 0-7695-0353-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | J. William Atwood, Morteza Ghodrat, Dariusz Tasak |
Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 26th Conference on Local Computer Networks, Lowell, Massachusetts, USA, 17-20 October, 1999, pp. 117-120, 1999, IEEE Computer Society, 0-7695-0309-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Higher Layer Signaling, SSCOP, Simulation, Formal Specification, Asynchronous Transfer Mode, Validation, Observers |
16 | Luiz A. Paula Lima Jr., Ana R. Cavalli |
Application of Embedded Testing Methods to Service Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 212-221, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Tomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff |
Verification of Bounded Delay Asynchronous Circuits with Timed Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 59-73, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Satish R. Thatte |
Object Imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'95 - Object-Oriented Programming, 9th European Conference, Århus, Denmark, August 7-11, 1995, Proceedings, pp. 52-76, 1995, Springer, 3-540-60160-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Hasan Ural, R. Short |
An interactive test sequence generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, SIGCOMM 1986, Stowe, Vermont, United States, August 5-7, 1986, pp. 541-550, 1986, ACM, 0-89791-201-2. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Marc W. A. Hornbeek |
An integrated test center for SL-10 packet networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the Ninth Symposium on Data Communications, SIGCOMM 1985, Whistler Moutain, British Columbia, Canada, September 10-12, 1985, pp. 108-114, 1985, ACM, 0-89791-164-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
14 | Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz 0001 |
DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011, pp. 187-194, 2011, IEEE Computer Society, 978-1-4577-0842-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Web services composition, Conformance, FSM, WS-BPEL, WS-CDL |
14 | Teduh Dirgahayu, Dick A. C. Quartel, Marten van Sinderen |
Interaction refinement in the design of business collaborations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 86-93, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
collaboration, interaction, refinement, abstraction, conformance |
14 | Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada |
Online Testing Framework for Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, pp. 363-372, 2010, IEEE Computer Society, 978-0-7695-3990-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Composite of Web Services, Timed Extended Finite State Machine, Test Generation, BPEL, Conformance Testing, Online Testing |
14 | Guido de Caso |
Behavioural validation of software engineering artefacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 505-506, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
code understanding, contract conformance, behaviour models |
14 | Guido de Caso |
Behavioural validation of software engineering artefacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 335-336, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
code understanding, contract conformance, behaviour models |
14 | Michael Elliott, Ray Dawson, Janet Edwards |
An evolutionary cultural-change approach to successful software process improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 17(2), pp. 189-202, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Standards, Training, Culture, Conformance, Return-on-investment, Quality improvement |
14 | Amir Reza Yazdanshenas, Ramtin Khosravi |
Using Domain-Specific Languages to Describe the Development Viewpoint of Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, USA, 27-29 April 2009, pp. 1595-1596, 2009, IEEE Computer Society, 978-0-7695-3596-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
architecture conformance, architecture description, architectural views |
14 | Martin Weiglhofer, Franz Wotawa |
Improving Coverage Based Test Purposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009, pp. 219-228, 2009, IEEE Computer Society, 978-0-7695-3828-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
coverage based testing, tgv, model-based testing, conformance testing, LOTOS, test purposes |
14 | M. Ümit Uyar, Samrat S. Batth, Yu Wang 0012, Mariusz A. Fecko |
Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(2), pp. 274-288, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Finite State Machine (FSM), Extended Finite State Machine (EFSM), Timed EFSM, Fault Modeling, Conformance Testing, Timers |
14 | Lihua Duan, Jessica Chen |
An Approach to Testing with Embedded Context Using Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 66-85, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
context-based testing, finite state machines, conformance testing, test sequences, distinguishing sequences |
14 | Johann Eder, Amirreza Tahamtan |
Temporal Consistency of View Based Interorganizational Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNISCON ![In: Information Systems and e-Business Technologies, 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008, Proceedings, pp. 96-107, 2008, Springer, 978-3-540-78941-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Interorganizational Workflow, Workflow View, Consistency, Temporal Constraints, Conformance |
14 | Henrik C. Bohnenkamp, Mariëlle Stoelinga |
Quantitative testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 227-236, 2008, ACM, 978-1-60558-468-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
conformance relations, robustness, test case generation, specification-based testing, test execution |
14 | Gordon Fraser 0001, Martin Weiglhofer, Franz Wotawa |
Coverage Based Testing with Test Purposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK, pp. 199-208, 2008, IEEE Computer Society, 978-0-7695-3312-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
input-output conformance, Session Initiation Protocol, model-based testing, LOTOS, coverage criteria, test purposes |
14 | Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa |
Test purpose generation in an industrial application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A-MOST ![In: Proceedings of the 3rd Workshop on Advances in Model Based Testing, A-MOST 2007, co-located with the ISSTA 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, July 9-12, pp. 115-125, 2007, ACM, 978-1-59593-850-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fault-based test purposes, test purpose design, model-based testing, protocol conformance testing |
14 | Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh |
A Bounded Incremental Test Generation Algorithm for Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings, pp. 244-259, 2007, Springer, 978-3-540-73065-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
finite state machine, conformance testing, incremental algorithms, test generation algorithms |
14 | Alain Faivre, Christophe Gaston, Pascale Le Gall |
Symbolic Model Based Testing for Component Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings, pp. 90-106, 2007, Springer, 978-3-540-73065-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ioco-based conformance testing, input/output symbolic transition system, symbolic execution, component based system |
14 | Eda Marchetti, Antonia Bertolino |
Profiling and testing within domains to facilitate document exchangeability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOSTA ![In: Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, DOSTA 2007, Dubrovnik, Croatia, September 4, 2007, pp. 34-40, 2007, ACM, 978-1-59593-726-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automatic conformance testing, clinical document, XML schema |
14 | Christopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer |
Achieving communication coverage in testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(6), pp. 1-10, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
timed state-based specifications, distributed systems, conformance testing, coverage criteria |
14 | Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, Keith Wansbrough |
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 55-66, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL |
14 | Harry Gros-Desormeaux, Hacène Fouchal, Philippe Hunel |
A Distributed Approach for Testing Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICT/ICIW ![In: Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 19-25 February 2006, Guadeloupe, French Caribbean, pp. 94, 2006, IEEE Computer Society, 0-7695-2522-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Timed Automata, Conformance Testing, Distributed Environment, P2P Computing, Protocol Engineering |
14 | Alexandre Petrenko, Nina Yevtushenko 0001 |
Testing from Partial Deterministic FSM Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(9), pp. 1154-1165, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
partially specified FSM, weak conformance testing, test generation, Finite State Machine, fault detection, checking experiment, state identification |
14 | Shadi Abou-Zahra |
SemanticWeb enabled web accessibility evaluation tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W4A ![In: Proceedings of the International Cross-Disciplinary Workshop on Web Accessibility, Chiba, Japan, May 10-14, 2005, pp. 99-101, 2005, ACM, 1-59593-219-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
automated evaluation, semantic web, accessibility, validation, conformance testing, quality assurance |
14 | Kim Mens, Andy Kellens |
Towards a Framework for Testing Structural Source-Code Regularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 21st IEEE International Conference on Software Maintenance (ICSM 2005), 25-30 September 2005, Budapest, Hungary, pp. 679-682, 2005, IEEE Computer Society, 0-7695-2368-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
structural source-code regularities, intensional views and relations, automated conformance checking, tool support, maintenance and evolution, design documentation |
14 | Alexandre Petrenko, Sergiy Boroday, Roland Groz |
Confirming Configurations in EFSM Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(1), pp. 29-42, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
test derivation, model checking, Formal methods, model-based testing, conformance testing, functional testing, test design, extended finite state machine, state identification |
14 | Geoff T. Smith |
Measuring the effectiveness of ACATS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004, pp. 9-12, 2004, ACM, 1-58113-906-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ACATS, conformity assessment, validation, conformance, runtime |
14 | Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale, Paul D. Amer |
A technique to generate feasible tests for communications systems with multiple timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 11(5), pp. 796-809, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
testing timers, conformance testing, timing constraints, test-case generation |
14 | Susanne Graf |
Preface by the section editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(2), pp. 139-141, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Goals: Conformance testing, Formal verification Techniques: Static analysis, Tool integration Application domains: Asynchronous systems, Performance evaluation, Model-checking, Markov chains, Theorem proving, Security protocols, Slicing, Partial-order reductions, Probabilistic systems, Component-based approaches |
14 | Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale |
Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings, pp. 273-288, 2003, Springer, 3-540-20175-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
timed EFSM, timed extensions, conformance testing, SDL |
14 | Ahmed Khoumsi |
A Temporal Approach for Testing Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(11), pp. 1085-1103, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
distributed systems, controllability, observability, Conformance testing, waiting time, reaction time |
14 | John Horst, Thomas R. Kramer, Keith Stouffer, Joseph Falco, Hui-Min Huang, Frederick M. Proctor, Albert Wavering |
Distributed Testing of an Equipment-Level Interface Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Object-Oriented Real-Time Distributed Computing ![In: 5th International Symposiun on Object Oriented Real-Time Distributed Computing, ISORC 2002, Washington, DC, USA, April 29 - May 1, 2002, pp. 330-340, 2002, IEEE Computer Society, 0-7695-1558-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
coordinate measuring machine, real-time systems, object-oriented, conformance test, test suite, distributed testing, interface specifications, metrology, validation test |
14 | Hubert Garavel, César Viho, Massimo Zendri |
System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 3(3), pp. 314-331, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Verification, Formal specification, Testing, Formal methods, Validation, Code generation, Computer architecture, Test generation, Rapid prototyping, Process algebra, Conformance testing, Cache coherency, System level design, Co-design, lotos, Hardware design, Co-simulation, numa, cc-numa |
14 | Daniel Jackson 0001, Allison Waingold |
Lightweight Extraction of Object Models from Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(2), pp. 156-169, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
design conformance, lightweight analysis, reverse engineering, program understanding, type inference, Object model, class diagram |
14 | Ahmed Khoumsi |
Testing Distributed Real Time Systems Using a Distributed Test Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 3-5 July 2001, Hammamet, Tunisia, pp. 648-654, 2001, IEEE Computer Society, 0-7695-1177-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Test distribution, Timed automata, Conformance testing, Distributed real-time system, Test architecture |
14 | Mang Li, Ina Schieferdecker, Arno Puder |
A Test Framework for CORBA Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), 4-7 September 2001, Seattle, WA, USA, Proceedings, pp. 152-, 2001, IEEE Computer Society, 0-7695-1345-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
ODMG-ODL, interoperability, CORBA, conformance testing, TTCN-3 |
14 | Hacène Fouchal, Eric Petitjean, Sébastien Salva |
Testing timed systems with timed purposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 166-171, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
timed systems testing, timed purposes, timed counterpart, timed input/output automaton, canonical tester, protocols, conformance testing, time constraints, labeled transition system, automata theory |
14 | Andreas Heberle, Welf Löwe, Rainer Neumann, Wolf Zimmermann |
Weak Subtyping and Genericity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (34) ![In: TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA, pp. 149-158, 2000, IEEE Computer Society, 0-7695-0774-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Genericity, Inheritance, Subtype, Conformance |
14 | Ousmane Koné |
Experiment with the Validation of WAP Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 405-406, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
WAP systems validation, French project, WAP session layer, WAP transaction service, interoperability test sequences, specification validation, reference tests, WAP products, interoperation, program verification, specification languages, open systems, conformance testing, sequences, SDL, Wireless Application Protocols, industry, access protocols, formal description technique, mobile terminals, Internet services, Internet telephony, mobile telephony |
14 | Cédric Besse, Ana R. Cavalli, David Lee 0001 |
An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 73-80, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
SDL language, fault coverage, conformance testing, optimization techniques, TCP/IP protocol |
14 | B. Neelakantan, S. V. Raghavan |
Scientific foundations to the multilevel method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 6(3), pp. 337-346, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
finite state machines, black box testing, test sequence, test methods, protocol conformance testing |
14 | V. V. Ostapenko |
Test Selection Based on Implementation Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 24th EUROMICRO '98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden, pp. 20845-, 1998, IEEE Computer Society, 0-8186-8646-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Conformance testing, Test selection, PICS, TTCN |
14 | Mohlalefi Sefika, Aamod Sane, Roy H. Campbell |
Monitoring Compliance of a Software System with Its High-Level Design Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 387-396, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
/spl mu/Choices, coding guidelines, complex software system evolution, concrete rules, design-implementation congruence, documented design models, high cohesion, high-level design models, hybrid computer-assisted approach, implementation divergence, logic-based static analysis, low coupling, multimedia operating system, multiple code view, software system compliance monitoring, subjective design principles, software engineering, design patterns, monitoring, conformance testing, operating systems (computers), multimedia computing, connectors, architectural models, abstraction levels, dynamic visualization |
14 | Piyu Tripathy, Behçet Sarikaya |
Test Generation from LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(4), pp. 543-552, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
LOTOS specifications, formal specification, protocols, finite state machine, specification languages, program testing, program testing, transformation rules, chart, protocol conformance testing |
14 | Pankaj Jalote |
Testing the Completeness of Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 526-531, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
completeness testing, VAX system, data structures, Unix, program testing, conformance testing, abstract data types, test cases, axiomatic specifications |
14 | Taha Hossein Hejazi |
Optimization of degree of conformance for multi-response systems considering model imprecision: A data-driven metaheuristic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 40(2), pp. 783-802, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir |
Logical characterisations, rule formats and compositionality for input-output conformance simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.00973, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Daniel San Martín, Guisella Angulo, Valter Vieira de Camargo |
A KDM-Based Approach for Architecture Conformance Checking in Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.16382, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Clinton Cao, Simon Schneider, Nicolás E. Díaz Ferreyra, Sicco Verwer, Annibale Panichella, Riccardo Scandariato |
CATMA: Conformance Analysis Tool For Microservice Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.09838, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Sergey Prokopev |
Cryptographic protocol conformance testing based on domain-specific state machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. Hacking Tech. ![In: J. Comput. Virol. Hacking Tech. 20(2), pp. 249-259, June 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Faeze Momeni Rad, Christoph Sydora, Karim El-Basyouny |
Leveraging Generative Design and Point Cloud Data to Improve Conformance to Passing Lane Layout. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(2), pp. 318, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Sicui Zhang, Laura Genga, Lukas R. C. Dekker, Hongchao Nie, Xudong Lu, Huilong Duan, Uzay Kaymak |
Re-ordered fuzzy conformance checking for uncertain clinical records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 149, pp. 104566, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Chenxing Zhong, He Zhang, Huang Huang, Zhikun Chen, Chao Li, Xiaodong Liu, Shanshan Li |
DOMICO: Checking conformance between domain models and implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 54(4), pp. 595-616, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Monica Buitrago, Isabelle Borne, Jérémy Buisson |
Model-Based Assessment of Conformance to Acknowledged Security-Related Software Architecture Good Practices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2024, Rome, Italy, February 21-23, 2024., pp. 117-124, 2024, SCITEPRESS, 978-989-758-682-8. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
14 | Kristo Raun, Riccardo Tommasini 0001, Ahmed Awad 0001 |
Adaptive Handling of Out-of-order Streams in Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOLAP ![In: Proceedings of the 26th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data (DOLAP 2024) co-located with the 27th International Conference on Extending Database Technology and the 27th International Conference on Database Theory (EDBT/ICDT 2024), Paestum, Italy, March 25, 2024., pp. 9-17, 2024, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
14 | Peter Thoman, Fabian Knorr, Luigi Crisci |
SimSYCL: A SYCL Implementation Targeting Development, Debugging, Simulation and Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOCL ![In: Proceedings of the 12th International Workshop on OpenCL and SYCL, IWOCL 2024, Chicago, IL, USA, April 8-11, 2024, pp. 3:1-3:12, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot |
Alignment-based conformance checking over probabilistic events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, pp. 5982-5991, 2024, ScholarSpace, 978-0-9981331-7-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
14 | Jihyeok Park, Dongjun Youn, Kanguk Lee, Sukyoung Ryu |
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(PLDI), pp. 493-515, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Adilson Luiz Bonifácio, Arnaldo Vieira Moura |
Conformance Checking and Pushdown Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI Electron. J. ![In: CLEI Electron. J. 25(3), March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ahmed Suliman, Maha Kadadha, Rabeb Mizouni, Hadi Otrok, Ernesto Damiani, Mahmoud Al-Qutayri |
Blockcheck: A consortium blockchain-based conformance checking framework for business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Things ![In: Internet Things 21, pp. 100652, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Víctor Gallego-Fontenla, Juan Carlos Vidal, Manuel Lama |
A Conformance Checking-Based Approach for Sudden Drift Detection in Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 16(1), pp. 13-26, January - February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Baoxin Xiu, Guangming Li |
Diagnosing Conformance Between Object-Centric Event Logs and Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 110837-110849, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 2040 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|