Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
87 | Cecilia Sik-Lányi, Sándor Forrai, Nóra Czank, Ágnes Hajgató |
On Developing Validator Software XValid for Testing Home Pages of Universal Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (5) ![In: Universal Access in Human Computer Interaction. Coping with Diversity, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 284-293, 2007, Springer, 978-3-540-73278-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
accessibility, WEB, validator, checkpoint, usability test, web design, website, W3C |
51 | Sven Hartrumpf, Ingo Glöckner, Johannes Leveling |
Efficient Question Answering with Question Decomposition and Multiple Answer Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF ![In: Evaluating Systems for Multilingual and Multimodal Information Access, 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers, pp. 421-428, 2008, Springer, 978-3-642-04446-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Rainer Knauf, Setsuo Tsuruta, Hirokazu Ihara, Avelino J. Gonzalez, Torsten Kurbad |
Improving AI Systems? Dependability by Utilizing Historical Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 3-5 March 2004, Papeete, Tahiti, pp. 343-352, 2004, IEEE Computer Society, 0-7695-2076-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
51 | L. Ol'khovich, Dmitrij V. Koznov |
OCL-Based Automated Validation Method for UML Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 29(6), pp. 323-327, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
46 | P. Blysa |
SDT a tool for complex real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 21-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
SDT, complex real-time systems tool, object-oriented design tool, object-oriented formal specification technique SDL, C++ environments, simulator, real-time systems, real-time system, formal specification, object-oriented programming, validator, C, programming environments, editor |
41 | Fernando Pech-May, Ivan López-Arévalo, Víctor Jesús Sosa Sosa |
Validator for Clinical Practice Guidelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II, pp. 539-546, 2009, Springer, 978-3-642-02480-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
computerizing clinical practice guidelines, Clinical practice guidelines |
41 | Ingo Glöckner |
RAVE: A Fast Logic-Based Answer Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF ![In: Evaluating Systems for Multilingual and Multimodal Information Access, 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers, pp. 468-471, 2008, Springer, 978-3-642-04446-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Yi Chen 0001, Susan B. Davidson, Yifeng Zheng |
XKvalidator: a constraint validator for XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, McLean, VA, USA, November 4-9, 2002, pp. 446-452, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
key validation, XML, constraints, finite state machine |
34 | Jean-Baptiste Tristan, Xavier Leroy |
Verified validation of lazy code motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 316-326, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
lazy code motion, the coq proof assistant, redundancy elimination, translation validation, verified compilers |
34 | Richard Atterer |
Model-based automatic usability validation: a tool concept for improving web-based UIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordiCHI ![In: Proceedings of the 5th Nordic Conference on Human-Computer Interaction 2008, Lund, Sweden, October 20-22, 2008, pp. 13-22, 2008, ACM, 978-1-59593-704-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automated validation, usability model, accessibility, web engineering, web usability |
34 | Geguang Pu, Jianqi Shi, Zheng Wang 0005, Lu Jin, Jing Liu 0012, Jifeng He 0001 |
The Validation and Verification of WSCDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 81-88, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
WSCDL, Verification, Validation |
34 | Jirka Kosek, Petr Nálevka |
Relaxed: on the way towards true validation of compound documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 15th international conference on World Wide Web, WWW 2006, Edinburgh, Scotland, UK, May 23-26, 2006, pp. 427-436, 2006, ACM, 1-59593-323-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
RELAX NG, Schematron, XML, validation, XHTML, compound documents |
34 | Maria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent 0001, Martin A. Musicante |
Incremental Constraint Checking for XML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XSym ![In: Database and XML Technologies, Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004, Proceedings, pp. 112-127, 2004, Springer, 3-540-22969-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Musa Jafar, A. Terry Bahill |
Interactive Verification of Knowledge-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 8(1), pp. 25-32, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
29 | Lingbo Kong, Rémi Gilleron, Aurélien Lemay |
Retrieving valid matches for XML keyword search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1536-1540, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
MaxMatch, SLCA, XML keyword search, validator |
29 | Mark Grechanik |
Finding errors in components that exchange xml data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 264-273, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
schema validator, interoperability, program analysis, bisimulation, XML schema, symbolic execution |
24 | Sora Sawai, Kazuaki Tanaka, Katsuhisa Ozaki, Shin'ichi Oishi |
Polygonal Sequence-driven Triangulation Validator: An Incremental Approach to 2D Triangulation Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.08242, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Steven D. Fraser, Peter P. Silvester |
A Graphics Function Standard Specification Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.17599, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Simmo Saan, Julian Erhard, Michael Schwarz 0007, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl |
Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (3) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, pp. 335-340, 2024, Springer, 978-3-031-57255-5. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Corinna Krebs, Jan Fabian Ehmke |
Solution validator and visualizer for (combined) vehicle routing and container loading problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 326(1), pp. 561-579, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Hengsheng Zhang, Jingchen Li, Ziming He, Jinhui Zhu, Haobin Shi |
Dyna-Validator: A Model-based Reinforcement Learning Method with Validated Simulated Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Commun. Control ![In: Int. J. Comput. Commun. Control 18(5), August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Scott Seidenberger, Alec Sokol, Anindya Maiti |
Stake Your Claim: Zero-Trust Validator Deployment Leveraging NFTs and Smart Contracts in Proof-of-Stake Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.01158, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Xiang Lisa Li, Vaishnavi Shrivastava, Siyan Li, Tatsunori Hashimoto, Percy Liang |
Benchmarking and Improving Generator-Validator Consistency of Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.01846, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Matteo Cimini |
A Declarative Validator for GSOS Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES@ETAPS ![In: Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2023, Paris, France, 22 April 2023., pp. 14-25, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Haowen Zhang, Jing Li 0047, He Zhao 0011, Tong Zhou 0003, Nianzu Sheng, Hengyu Pan |
BlockPilot: A Proposer-Validator Parallel Execution Framework for Blockchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the 52nd International Conference on Parallel Processing, ICPP 2023, Salt Lake City, UT, USA, August 7-10, 2023, pp. 193-202, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Liang Liu, Qiao Wang, Stephen John Turnbull, Kazumasa Omote |
The Validator's Dilemma in PoW Blockchain: An Evolutionary Game Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Blockchain ![In: IEEE International Conference on Blockchain, Blockchain 2023, Danzhou, China, December 17-21, 2023, pp. 17-24, 2023, IEEE, 979-8-3503-1929-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Roberto Saltini |
BigFooT: A robust optimal-latency BFT blockchain consensus protocol with dynamic validator membership. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 204, pp. 108632, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Takeaki Matsunaga, Yuanyu Zhang, Masahiro Sasabe, Shoji Kasahara |
An Incentivization Mechanism with Validator Voting Profile in Proof-of-Stake-Based Blockchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 105-B(2), pp. 228-239, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Haoyu Fang, Yi Fang, Xiaofeng Yang 0005 |
Multi-organ Segmentation Network with Adversarial Performance Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.07850, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Ferhat Özgür Çatak, Tao Yue 0002, Shaukat Ali 0001 |
Uncertainty-aware Prediction Validator in Deep Learning Models for Cyber-physical System Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 31(4), pp. 79:1-79:31, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Xu Yuan 0002, Chengchuan Xu, Peng Li 0027, Zhikui Chen |
Relational learning with hierarchical attention encoder and recoding validator for few-shot knowledge graph completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, pp. 786-794, 2022, ACM, 978-1-4503-8713-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Bhanuka Mahanama, Lyudmila Balakireva, Sampath Jayarathna, Michael L. Nelson, Martin Klein 0001 |
Memento validator: a toolset for memento compliance testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: JCDL '22: The ACM/IEEE Joint Conference on Digital Libraries in 2022, Cologne, Germany, June 20 - 24, 2022, pp. 43, 2022, ACM, 978-1-4503-9345-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Paul Henry Friedemann, Nils Rodday, Gabi Dreo Rodosek |
Assessing the RPKI Validator Ecosystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUFN ![In: Thirteenth International Conference on Ubiquitous and Future Networks, ICUFN 2022, Barcelona, Spain, July 5-8, 2022, pp. 295-300, 2022, IEEE, 978-1-6654-8550-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Santonu Sarkar, Katharina Stark, Mario Hoernicke |
Design of a Validator for Module Type Packages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2022 - 48th Annual Conference of the IEEE Industrial Electronics Society, Brussels, Belgium, October 17-20, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8025-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Tong Wu, Peter Schrammel, Lucas C. Cordeiro |
Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, pp. 484-489, 2022, Springer, 978-3-030-99526-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Falk Howar, Malte Mues |
GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, pp. 446-450, 2022, Springer, 978-3-030-99526-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Jing Li 0006, Dusit Niyato, Choong Seon Hong, Kyung-Joon Park, Li Wang 0039, Zhu Han 0001 |
Cyber Insurance Design for Validator Rotation in Sharded Blockchain Networks: A Hierarchical Game-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Netw. Serv. Manag. ![In: IEEE Trans. Netw. Serv. Manag. 18(3), pp. 3092-3106, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Leonid B. Sokolinsky, Irina M. Sokolinskaya |
VaLiPro: Linear Programming Validator for Cluster Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Supercomput. Front. Innov. ![In: Supercomput. Front. Innov. 8(3), pp. 51-61, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Leonid B. Sokolinsky, Irina M. Sokolinskaya |
VaLiPro: Linear Programming Validator for Cluster Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.05485, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Abhay Kumar, Sandeep K. Shukla |
Topology Validator - Defense Against Topology Poisoning Attack in SDN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSHINE ![In: Quality, Reliability, Security and Robustness in Heterogeneous Systems - 17th EAI International Conference, QShine 2021, Virtual Event, November 29-30, 2021, Proceedings, pp. 241-260, 2021, Springer, 978-3-030-91423-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Anish Paranjpe, Gang Tan |
Bohemia - A Validator for Parser Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP (Workshops) ![In: IEEE Security and Privacy Workshops, SP Workshops 2021, San Francisco, CA, USA, May 27, 2021, pp. 162-170, 2021, IEEE, 978-1-6654-3732-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Guillaume Bury |
Dolmen: A Validator for SMT-LIB and Much More. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021., pp. 32-39, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Vladimir Perovic, Jeremy Y. Leclercq, Neven Sumonja, François D. Richard, Nevena Veljkovic, Andrey V. Kajava |
Tally-2.0: upgraded validator of tandem repeat detection in protein sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 36(10), pp. 3260-3262, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Alfonso Cevallos, Alistair Stewart |
Validator election in nominated proof-of-stake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.12990, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | António A. C. Vieira, Luís M. S. Dias, Maribel Yasmina Santos, Guilherme A. B. Pereira, José António Oliveira 0001 |
On the use of simulation as a Big Data semantic validator for supply chain management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 98, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Mohammed B. M. Kamel, Kevin Wallis, Péter Ligeti, Christoph Reich |
Distributed data validation network in IoT: a decentralized validator selection model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOT ![In: IoT '20: 10th International Conference on the Internet of Things, Malmö, Sweden, October 6-9, 2020, pp. 12:1-12:8, 2020, ACM, 978-1-4503-8758-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Crystal Andrea Roma, M. Anwar Hasan |
Energy Consumption Analysis of XRP Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICBC ![In: IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2020, Toronto, ON, Canada, May 2-6, 2020, pp. 1-3, 2020, IEEE, 978-1-7281-6680-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Bangjun He, Jie Zuo, Qiaoyan Feng, Guicai Xie, Ruiqi Qin 0001, Zihao Chen, Lei Duan |
EvsJSON: An Efficient Validator for Split JSON Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA (3) ![In: Database Systems for Advanced Applications - 25th International Conference, DASFAA 2020, Jeju, South Korea, September 24-27, 2020, Proceedings, Part III, pp. 775-779, 2020, Springer, 978-3-030-59418-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Anita E. Bandrowski, Tom Gillespie, Monique Surles-Zeigler, Gabrielle Pine, Jeffrey S. Grethe, Maryann E. Martone |
How BIDs and BIDs validator has informed the data aggregation needs of the Stimulating Peripheral Activity to Relieve Conditions, SPARC, consortium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RO ![In: Proceedings of Workshop on Research Objects (RO2019), San Diego, CA, USA, September 24, 2019., 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Mohammad Abdulaziz, Peter Lammich |
A Formally Verified Validator for Classical Planning Problems and Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018, 5-7 November 2018, Volos, Greece., pp. 474-479, 2018, IEEE. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Wheyming Tina Song |
The Song Rule as a Validator of Analytical Results - A Note Correcting System Reliability Results in a Review of the Literature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 66(4), pp. 1012-1024, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Carl Wilson, Rebecca McGuinness, Joachim Jung |
veraPDF: building an open source, industry supported PDF/A validator for cultural heritage institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Libr. Perspect. ![In: Digit. Libr. Perspect. 33(2), pp. 156-165, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Lukasz Krawiec |
An analysis of the use of the web-accessibility validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS (Communication Papers) ![In: Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017., pp. 255-263, 2017, 978-83-922646-2-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Alper Sen 0001, Etem Deniz, Brian Kahne |
MINIME-validator: Validating hardware with synthetic parallel testcases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017, pp. 386-391, 2017, IEEE, 978-3-9815370-8-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Mária Csernoch, Erzsebet Dani |
Data-structure validator: An application of the HY-DE model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogInfoCom ![In: 8th IEEE International Conference on Cognitive Infocommunications, CogInfoCom 2017, Debrecen, Hungary, September 11-14, 2017, pp. 197-202, 2017, IEEE, 978-1-5386-1264-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Moses Symeonidis, Dimitris Giouroukis, Dimitris Vrakas |
A planning problem validator based on reachability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Proceedings of the 9th Hellenic Conference on Artificial Intelligence, SETN 2016, Thessaloniki, Greece, May 18-20, 2016, pp. 6:1-6:7, 2016, ACM, 978-1-4503-3734-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Jesús Sánchez Cuadrado |
Recursion and Iteration Support in USE Validator with AnATLyzer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OCL@MoDELS ![In: Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015., pp. 73-80, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
24 | Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek |
Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2, pp. 209-218, 2015, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Daejin Park, Meng Di Yin, Jeonghun Cho |
Secure Microcontroller with On-Chip Hierarchical Code Validator for Firmware Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITCS ![In: 2014 International Conference on IT Convergence and Security, 10.1109/ICITCS.2014, Beijing, China, October 28-30, 2014, pp. 1-3, 2014, IEEE Computer Society, 978-1-4799-6541-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Martin Gogolla, Lars Hamann, Frank Hilken |
Checking Transformation Model Properties with a UML and OCL Model Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014., pp. 16-25, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Jindrich Mynarz |
Validator and Preview for the JobPosting Data Model of Schema.org. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies - 15th International Conference, EC-Web 2014, Munich, Germany, September 1-4, 2014. Proceedings, pp. 58-63, 2014, Springer, 978-3-319-10490-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Luc Moreau 0001, Trung Dong Huynh, Danius T. Michaelides |
An Online Validator for Provenance: Algorithmic Design, Testing, and API. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 291-305, 2014, Springer, 978-3-642-54803-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Igor V. Rodchenkov, Emek Demir, Chris Sander, Gary D. Bader |
The BioPAX Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 29(20), pp. 2659-2660, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Jason Vallet, Aouatef Mrad, Sylvain Hallé, Éric Beaudet |
The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC Workshops ![In: 17th IEEE International Enterprise Distributed Object Computing Conference Workshops, EDOC Workshops, Vancouver, BC, Canada, September 9-13, 2013, pp. 275-284, 2013, IEEE Computer Society, 978-1-4799-3048-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Kumar Chandan, Martijn P. van Iersel, Mirit I. Aladjem, Kurt W. Kohn, Augustin Luna |
PathVisio-Validator: a rule-based validation plugin for graphical pathway notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 28(6), pp. 889-890, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Saguna, Arkady B. Zaslavsky, Cécile Paris |
Context-Aware Twitter Validator (CATVal): A System to Validate Credibility and Authenticity of Twitter Content for use in Decision Support Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSS ![In: Fusing Decision Support Systems into the Fabric of the Context, 16th IFIP Working Group 8.3 International Conference on Decision Support Systems (DSS), Anávissos, Greece, June 27-30, 2012, pp. 323-334, 2012, IOS Press, 978-1-61499-072-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Rudi van Drunen |
Building a Protocol Validator for Business to Business Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISA ![In: Strategies, Tools , and Techniques: Proceedings of the 26th Large Installation System Administration Conference, LISA 2012, San Diego, CA, USA, December 9-14, 2012, pp. 215-222, 2012, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
24 | Euna Jeong, Masao Nagasaki, Emi Ikeda, Yayoi Sekiya, Ayumu Saito, Satoru Miyano |
CSO validator: improving manual curation workflow for biological pathways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 27(17), pp. 2471-2472, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Michael Stepp, Ross Tate, Sorin Lerner |
Equality-Based Translation Validator for LLVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings, pp. 737-742, 2011, Springer, 978-3-642-22109-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Michael Mehlich |
CheckPointer - A C Memory Access Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 11th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM 2011, Williamsburg, VA, USA, September 25-26, 2011, pp. 165-172, 2011, IEEE Computer Society, 978-1-4577-0932-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Jean-Baptiste Tristan, Xavier Leroy |
A simple, verified validator for software pipelining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 83-92, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
software pipelining, translation validation, verified compilers, symbolic evaluation |
24 | Lei Wang 0001, Tianbing Xia, Jennifer Seberry |
Inter-Domain Routing Validator Based Spoofing Defence System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI ![In: IEEE International Conference on Intelligence and Security Informatics, ISI 2010, Vancouver, BC, Canada, May 23-26, 2010, Proceedings, pp. 153-155, 2010, IEEE, 978-1-4244-6460-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Hiroaki Nishikawa, Kazuhiro Aoki, Hiroshi Ishii 0002, Makoto Iwata |
A Power Simulator/Validator for Ultra-Low-Power Data-Driven Networking System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2010, Las Vegas, Nevada, USA, July 12-15, 2010, 2 Volumes, pp. 575-581, 2010, CSREA Press, 1-60132-158-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | Carrie Heeter, Brian Magerko, Ben Medler, Joe Fitzgerald |
Game Design and the Challenge-Avoiding, Self-Validator Player Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(3), pp. 53-67, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Wouter C. A. Wijngaards, Benno J. Overeinder |
Securing DNS: Extending DNS Servers with a DNSSEC Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 7(5), pp. 36-43, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Kamaruddin Malik Mohamad, Mustafa Mat Deris |
Fragmentation Point Detection of JPEG Images at DHT Using Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT ![In: Future Generation Information Technology, First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings, pp. 173-180, 2009, Springer, 978-3-642-10508-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
File Carving, Digital Forensics, Digital Evidence, Data Recovery |
24 | Carlos Noguera, Renaud Pawlak |
AVal: an extensible attribute-oriented programming validator for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Maintenance Res. Pract. ![In: J. Softw. Maintenance Res. Pract. 19(4), pp. 253-275, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Robson da Luz, Mirian Halfeld Ferrari Alves, Martin A. Musicante |
Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Algorithms ![In: J. Algorithms 62(3-4), pp. 148-167, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Massimo Bertozzi, Alberto Broggi, Michael S. Del Rose, Mirko Felisa |
A Symmetry-based Validator and Refinement System for Pedestrian Detection in Far Infrared Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: IEEE Intelligent Transportation Systems Conference, ITSC 2007, Seattle, WA, USA, 30 September-3 October 2007, pp. 155-160, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Carlos Noguera, Renaud Pawlak |
AVal: an Extensible Attribute-Oriented Programming Validator for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 27-29 September 2006, Philadelphia, Pennsylvania, USA, pp. 175-183, 2006, IEEE Computer Society, 0-7695-2353-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Clark W. Barrett, Yi Fang 0001, Benjamin Goldberg, Ying Hu 0003, Amir Pnueli, Lenore D. Zuck |
TVOC: A Translation Validator for Optimizing Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 291-295, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Mircea M. Ionescu, Anca L. Ralescu |
Fuzzy Hamming Distance Based Banknote Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2005, Reno, Nevada, USA, May 22-25, 2005., pp. 300-305, 2005, IEEE, 0-7803-9159-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Yu-Liang Chi, Ming-Hung Tsai, Chih-Wei Lee |
A Petri-Net based Validator in Reliability of a Composite Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EEE ![In: 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March - 1 April 2005, Hong Kong, China, pp. 450-453, 2005, IEEE Computer Society, 0-7695-2274-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Lenore D. Zuck, Amir Pnueli, Yi Fang 0001, Benjamin Goldberg |
VOC: A Translation Validator for Optimizing Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 2-18, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Marta Prim, Carles Olle |
How accessible are Web pages? A comparison between Bobby and HTML Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebNet ![In: Proceedings of WebNet 2001 - World Conference on the WWW and Internet, Orlando, Florida, USA, October 23-27, 2001, pp. 1026-1030, 2001, AACE, 1-880094-46-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
24 | Peter Braun 0003, Oscar Slotosch |
Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OMER ![In: OMER - Object-Oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2 May 28/29, 1999 & May 10-12, 2001, Herrsching am Amersee, Germany, pp. 51-66, 2001, GI. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
24 | Richard J. Orli |
Meta-data Standards, Who Cares? The Launch of KisMeta Validator - A Meta-data Standards Setting and Enforcement Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MD ![In: Proceedings of the 3rd IEEE Metadata Conference 1999, MD 1999, Bethesda, MD, USA, April 6-7, 1999, 1999, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
24 | Tim Kohler |
Design and Implementation of an ICC Profile Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIC ![In: 4th Color and Imaging Conference, CIC 1996, Scottsdale, Arizona, USA, November 19-22, 1996, pp. 139-140, 1996, Society for Imaging Science and Technology, 0-89208-196-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Omar Rafiq, Jean-Pierre Ansart |
VADILOC - A Protocol Validator and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 189-197, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
17 | Paul E. McKenney, Maged M. Michael, Josh Triplett, Jonathan Walpole |
Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 44(3), pp. 93-101, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Wei Zhang 0022, Chong Sun, Shan Lu 0001 |
ConMem: detecting severe concurrency bugs through an effect-oriented approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010, pp. 179-192, 2010, ACM, 978-1-60558-839-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
software testing, concurrency bugs |
17 | Waraporn Viyanon, Sanjay Kumar Madria |
A system for detecting xml similarity in content and structure using relational database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009, pp. 1197-1206, 2009, ACM, 978-1-60558-512-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
taxonomy analyzer, clustering, similarity measures, xml, keys |
17 | Oshani Seneviratne, Lalana Kagal, Tim Berners-Lee |
Policy-Aware Content Reuse on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings, pp. 553-568, 2009, Springer, 978-3-642-04929-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Silvia Mirri, Ludovico Antonio Muratori, Marco Roccetti, Paola Salomoni |
Metrics for accessibility on the Vamolà project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W4A ![In: Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, W4A 2009, Madrid, Spain, April 20-21, 2009, pp. 142-145, 2009, ACM, 978-1-60558-561-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
evaluating accessibility, monitoring accessibility, accessibility, metrics |
17 | Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A Scenario-Based Validation Language for ASMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 71-84, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Christine Jacquin, Laura Monceaux, Emmanuel Desmontils |
The Answer Validation System ProdicosAV Dedicated to French. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF ![In: Evaluating Systems for Multilingual and Multimodal Information Access, 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers, pp. 452-459, 2008, Springer, 978-3-642-04446-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Ole-Christoffer Granmo, B. John Oommen, Svein Arild Myrer, Morten Goodwin Olsen |
Learning Automata-Based Solutions to the Nonlinear Fractional Knapsack Problem With Applications to Optimal Resource Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 37(1), pp. 166-175, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Xi Chen, Juejing Feng, Martin Hiller, Vera Lauer |
Application of Software Watchdog as a Dependability Software Service for Automotive Safety Relevant Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, pp. 618-624, 2007, IEEE Computer Society, 0-7695-2855-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Software Watchdog, heartbeat monitoring, program flow checking, automotive dependable software platform and software services |
17 | Annalisa Bossi, Ombretta Gaggi |
Enriching SMIL with assertions for temporal validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 15th International Conference on Multimedia 2007, Augsburg, Germany, September 24-29, 2007, pp. 107-116, 2007, ACM, 978-1-59593-702-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
authoring, SMIL, consistency checking |
17 | Massimo Franceschet, Angelo Montanari, Donatella Gubiani |
Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 3-7 September 2007, Regensburg, Germany, pp. 25-29, 2007, IEEE Computer Society, 0-7695-2932-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|