|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19541 occurrences of 5230 keywords
|
|
|
Results
Found 53773 publication records. Showing 53773 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Yonit Kesten, Zohar Manna, Amir Pnueli |
Verification of Clocked and Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 36(11), pp. 837-912, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Lori A. Clarke |
Finite state verification: An emerging technology for validating software systems (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000, pp. 146, 2000, ACM, 1-58113-266-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell |
An efficient filter-based approach for combinational verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(11), pp. 1542-1557, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Joachim Posegga, Harald Vogt |
Byte Code Verification for Java Smart Card Based on Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 98, 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998, Proceedings, pp. 175-190, 1998, Springer, 3-540-65004-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell, John Moondanos |
Automatic verification of implementations of large circuits against HDL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(3), pp. 217-228, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Robbie Vogt, Sridha Sridharan |
Minimising Speaker Verification Utterance Length through Confidence Based Early Verification Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: Advances in Biometrics, Third International Conference, ICB 2009, Alghero, Italy, June 2-5, 2009. Proceedings, pp. 454-463, 2009, Springer, 978-3-642-01792-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin |
Memory Usage Verification Using Hip/Sleek. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings, pp. 166-181, 2009, Springer, 978-3-642-04760-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Manuel Fähndrich |
Language-agnostic specification and verification: invited talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009, pp. 1-2, 2009, ACM, 978-1-60558-330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
specifications, static analysis, abstract interpretation, contracts, net |
24 | Subir K. Roy |
Top Level SOC Interconnectivity Verification Using Formal Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), Common Challenges and Solutions, 5-6 December 2007, Austin, Texas, USA, pp. 63-70, 2007, IEEE Computer Society, 978-0-7695-3241-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Sanggyu Park, Soo-Ik Chae |
A C/C++-Based Functional Verification Framework Using the SystemC Verification Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 8-10 June 2005, Montreal, Canada, pp. 237-239, 2005, IEEE Computer Society, 0-7695-2361-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan |
Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings, pp. 317-331, 2005, Springer, 3-540-29105-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Hari Mony, Jason Baumgartner, Adnan Aziz |
Exploiting Constraints in Transformation-Based Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings, pp. 269-284, 2005, Springer, 3-540-29105-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Jean-Pierre Jouannaud |
Theorem Proving Languages for Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings, pp. 11-14, 2004, Springer, 3-540-23610-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Chun-Yao Wang, Shing-Wu Tung, Jing-Yang Jou |
An automorphic approach to verification pattern generation for SoC design verification using port-order fault model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21(10), pp. 1225-1232, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Iskander Kort, Sofiène Tahar, Paul Curzon |
Hierarchical Verification Using an MDG-HOL Hybrid Tool. ![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. 244-258, 2001, Springer, 3-540-42541-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Amir Pnueli, Elad Shahar |
A Platform for Combining Deductive with Algorithmic Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, pp. 184-195, 1996, Springer, 3-540-61474-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Hans Eveking |
Automatic Verification of Extensions of Hardware Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings, pp. 2-12, 1990, Springer, 3-540-54477-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Elsa L. Gunter, Doron A. Peled |
Unit Checking: Symbolic Model Checking for a Unit of Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification: Theory and Practice ![In: Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, pp. 548-567, 2003, Springer, 3-540-21002-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Edmund M. Clarke, Helmut Veith |
Counterexamples Revisited: Principles, Algorithms, Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification: Theory and Practice ![In: Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, pp. 208-224, 2003, Springer, 3-540-21002-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Luca de Alfaro |
Game Models for Open Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification: Theory and Practice ![In: Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, pp. 269-289, 2003, Springer, 3-540-21002-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
Fair Equivalence Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification: Theory and Practice ![In: Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, pp. 702-732, 2003, Springer, 3-540-21002-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Aarti Gupta, Malay K. Ganai, Chao Wang 0001 |
SAT-Based Verification Methods and Applications in Hardware Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures, pp. 108-143, 2006, Springer, 978-3-540-34304-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Werner Damm, Bengt Jonsson 0001 |
Eliminating Queues from RT UML Model Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 375-394, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
RT UML, verification of infinite state systems, protocol verification, Real-time distributed systems |
24 | Pasquale Noce |
Formal Verification of Cryptographic Protocols with Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handb. Formal Anal. Verification Cryptogr. ![In: Handbook of Formal Analysis and Verification in Cryptography, pp. 153-212, 2023, CRC Press, 978-1-003-09005-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Denis Teyssou |
Applying Design Thinking Methodology: The InVID Verification Plugin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Video Verification in the Fake News Era ![In: Video Verification in the Fake News Era., pp. 263-279, 2019, Springer, 978-3-030-26751-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Olga Papadopoulou, Markos Zampoglou, Symeon Papadopoulos, Ioannis Kompatsiaris |
Verification of Web Videos Through Analysis of Their Online Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Video Verification in the Fake News Era ![In: Video Verification in the Fake News Era., pp. 191-221, 2019, Springer, 978-3-030-26751-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Denis Teyssou, Jochen Spangenberg |
Video Verification: Motivation and Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Video Verification in the Fake News Era ![In: Video Verification in the Fake News Era., pp. 3-14, 2019, Springer, 978-3-030-26751-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Rolf Fricke, Jan Thomsen |
Video Verification in the Newsroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Video Verification in the Fake News Era ![In: Video Verification in the Fake News Era., pp. 301-335, 2019, Springer, 978-3-030-26751-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Christian Colombo 0001, Gordon J. Pace |
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 211-232, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Adrian Francalanza, Jorge A. Pérez 0001, César Sánchez 0001 |
Runtime Verification for Decentralised and Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 176-210, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger |
Introduction to Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 1-33, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Ofer Strichman, Rachel Tzoref-Brill (eds.) |
Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![Springer, 978-3-319-70388-6 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Ariel Rosenfeld, Odaya Kardashov, Orel Zang |
ACAT: A Novel Machine-Learning-Based Tool for Automating Android Application Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 213-216, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Martin Sulzmann, Kai Stadtmüller |
Trace-Based Run-Time Analysis of Message-Passing Go Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 83-98, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson |
A Supervisory Control Algorithm Based on Property-Directed Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 115-130, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky |
RATCOP: Relational Analysis Tool for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 229-233, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Sergey Frenkel |
Probabilistic Model of Control-Flow Altering Based Malicious Attacks - (Poster Submission). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 249-252, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Johannes Kloos, Rupak Majumdar, Frank McCabe |
Deferrability Analysis for JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 35-50, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Zhixing Xu, Aarti Gupta, Sharad Malik |
Trace-based Analysis of Memory Corruption Malware Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 67-82, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Marijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere |
PRuning Through Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 179-194, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov |
MicroTESK: Specification-Based Tool for Constructing Test Program Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 217-220, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Tom Tervoort, I. S. W. B. Prasetya |
APSL: A Light Weight Testing Tool for Protocols with Complex Messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 241-244, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina |
LRA Interpolants from No Man's Land. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 195-210, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin 0001, Scott A. Smolka, Paolo Zuliani |
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 131-146, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Tatsuya Abe 0001 |
A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 51-66, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | George B. Sherwood |
Embedded Functions for Test Design Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 221-224, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Bernhard Garn, Fabian Würfl, Dimitris E. Simos |
KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 225-228, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Shufang Zhu 0001, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi |
A Symbolic Approach to Safety ltl Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 147-162, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Manjeet Dahiya, Sorav Bansal |
Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, pp. 19-34, 2017, Springer, 978-3-319-70388-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Roderick Bloem, Eli Arbel (eds.) |
Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![, 978-3-319-49051-9 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Grahl, Christoph Scheben |
Functional Verification and Information Flow Analysis of an Electronic Voting System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Software Verification ![In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 593-607, 2016, Springer, 978-3-319-49811-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß 0001 |
Modular Specification and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Software Verification ![In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 289-351, 2016, Springer, 978-3-319-49811-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Reiner Hähnle |
Quo Vadis Formal Verification? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Software Verification ![In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 1-19, 2016, Springer, 978-3-319-49811-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Stijn de Gouw, Frank S. de Boer, Jurriaan Rot |
Verification of Counting Sort and Radix Sort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Software Verification ![In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 609-618, 2016, Springer, 978-3-319-49811-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Bernhard Beckert, Reiner Hähnle, Martin Hentschel 0002, Peter H. Schmitt |
Formal Verification with KeY: A Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Software Verification ![In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 541-570, 2016, Springer, 978-3-319-49811-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | David Landsberg, Hana Chockler, Daniel Kroening |
Probabilistic Fault Localisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, pp. 65-81, 2016, 978-3-319-49051-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu |
Synthesis of Admissible Shields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, pp. 134-151, 2016, 978-3-319-49051-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Nikolaj S. Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese |
ddNF: An Efficient Data Structure for Header Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, pp. 49-64, 2016, 978-3-319-49051-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Egor George Karpenkov, David Monniaux |
Formula Slicing: Inductive Invariants from Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, pp. 169-185, 2016, 978-3-319-49051-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker 0001, Giovanni De Micheli, Matthias Sauer 0002 |
SAT-Based Combinational and Sequential Dependency Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, pp. 1-17, 2016, 978-3-319-49051-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Vincent Bloemen, Jaco van de Pol |
Multi-core SCC-Based LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, pp. 18-33, 2016, 978-3-319-49051-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Wei Jin 0001, Alessandro Orso |
Improving Efficiency and Accuracy of Formula-Based Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, pp. 99-116, 2016, 978-3-319-49051-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Eli Arbel, Erez Barak, Bodo Hoppe, Shlomit Koyfman, Udo Krautz, Shiri Moran |
Gating Aware Error Injection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, pp. 34-48, 2016, 978-3-319-49051-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Xiangyu Li 0001, Marcelo d'Amorim, Alessandro Orso |
Iterative User-Driven Fault Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, pp. 82-98, 2016, 978-3-319-49051-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar |
Predator Shape Analysis Tool Suite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, pp. 202-209, 2016, 978-3-319-49051-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero |
Improving Priority Promotion for Parity Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, pp. 117-133, 2016, 978-3-319-49051-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker 0001 |
Advancing Software Model Checking Beyond Linear Arithmetic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, pp. 186-201, 2016, 978-3-319-49051-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Nir Piterman (eds.) |
Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![Springer, 978-3-319-26286-4 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Andrew Becker, Djordje Maksimovic, David Novo, Mohsen Ewaida, Andreas G. Veneris, Barbara Jobstmann, Paolo Ienne |
FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 259-275, 2015, Springer, 978-3-319-26286-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen |
Resource-Parameterized Timing Analysis of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 190-205, 2015, Springer, 978-3-319-26286-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki 0001 |
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 225-241, 2015, Springer, 978-3-319-26286-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Heike Wehrheim, Oleg Travkin |
TSO to SC via Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 104-119, 2015, Springer, 978-3-319-26286-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Rajarshi Ray 0001, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu |
XSpeed: Accelerating Reachability Analysis on Multi-core Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 3-18, 2015, Springer, 978-3-319-26286-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Balázs Kiss, Nikolai Kosmatov, Dillon Pariente, Armand Puccetti |
Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 39-50, 2015, Springer, 978-3-319-26286-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Martin Leucker, Grigory Markin, Martin R. Neuhäußer |
A New Refinement Strategy for CEGAR-Based Industrial Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 155-170, 2015, Springer, 978-3-319-26286-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Jianwen Li, Shufang Zhu 0001, Geguang Pu, Moshe Y. Vardi |
SAT-Based Explicit LTL Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 209-224, 2015, Springer, 978-3-319-26286-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Jan Láník, Oded Maler |
On Switching Aware Synthesis for Combinational Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 276-291, 2015, Springer, 978-3-319-26286-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Christian Herrera, Bernd Westphal |
Quasi-equal Clock Reduction: Eliminating Assumptions on Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 173-189, 2015, Springer, 978-3-319-26286-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Lenore D. Zuck, Sanjiva Prasad |
Limited Mobility, Eventual Stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 139-154, 2015, Springer, 978-3-319-26286-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Martin Nowack, Katja Tietze, Christof Fetzer |
Parallel Symbolic Execution: Merging In-Flight Requests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 120-135, 2015, Springer, 978-3-319-26286-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Jakub Daniel, Pavel Parízek |
PANDA: Simultaneous Predicate Abstraction and Concrete Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 87-103, 2015, Springer, 978-3-319-26286-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Sergiy Bogomolov, Christian Schilling 0001, Ezio Bartocci, Grégory Batt, Hui Kong 0004, Radu Grosu |
Abstraction-Based Parameter Synthesis for Multiaffine Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 19-35, 2015, Springer, 978-3-319-26286-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Eran Yahav (eds.) |
Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![Springer, 978-3-319-13337-9 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz |
Generating JML Specifications from Alloy Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 99-115, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Georg Hofferek, Ashutosh Gupta |
Suraq - A Controller Synthesis Tool Using Uninterpreted Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 68-74, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher |
Reduction of Resolution Refutations and Interpolants via Subsumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 188-203, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Angelo Gargantini, Paolo Vavassori |
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 220-235, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Georges Morbé, Christian Miller, Christoph Scholl 0001, Bernd Becker 0001 |
Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 30-47, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Alfons Laarman, Anton Wijs |
Partial-Order Reduction for Multi-core LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 267-283, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Oleg Travkin, Heike Wehrheim |
Handling TSO in Mechanized Linearizability Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 132-147, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Yoav Katz, Eitan Marcus, Avi Ziv |
Enhancing Scenario Quality Using Quasi-Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 17-29, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin |
Generating Modulo-2 Linear Invariants for Hardware Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 54-67, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | John Derrick, Graeme Smith 0001, Lindsay Groves, Brijesh Dongol |
Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 1-16, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou 0001, Stavros Tripakis, Abhishek Udupa |
Synthesizing Finite-State Protocols from Scenarios and Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 75-91, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Eugene Goldberg, Panagiotis Manolios |
Partial Quantifier Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 148-164, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Duc-Hiep Chu, Joxan Jaffar |
A Framework to Synergize Partial Order Reduction with State Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 171-187, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump |
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 116-131, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Mohammad Reza Shoaei, Laura Kovács, Bengt Lennartson |
Supervisory Control of Discrete-Event Systems via IC3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 252-266, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, Mana Taghdiri |
A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 284-299, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol |
Read, Write and Copy Dependencies for Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 204-219, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 53773 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|