The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Haifa Verification Conference"( http://dblp.L3S.de/Venues/Haifa_Verification_Conference )

URL (DBLP): http://dblp.uni-trier.de/db/conf/hvc

Publication years (Num. hits)
2005 (17) 2006 (18) 2007 (21) 2008 (23) 2009 (16) 2010 (17) 2011 (28) 2012 (29) 2013 (26) 2014 (22) 2015 (18) 2016-2017 (37)
Publication types (Num. hits)
inproceedings(259) proceedings(13)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 32 occurrences of 29 keywords

Results
Found 272 publication records. Showing 272 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ariel Rosenfeld, Odaya Kardashov, Orel Zang ACAT: A Novel Machine-Learning-Based Tool for Automating Android Application Testing. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Sulzmann, Kai Stadtmüller Trace-Based Run-Time Analysis of Message-Passing Go Programs. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson A Supervisory Control Algorithm Based on Property-Directed Reachability. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard Beckert, Sarah Grebing, Mattias Ulbrich An Interaction Concept for Program Verification Systems with Explicit Proof Object. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky RATCOP: Relational Analysis Tool for Concurrent Programs. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergey Frenkel Probabilistic Model of Control-Flow Altering Based Malicious Attacks - (Poster Submission). Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johannes Kloos, Rupak Majumdar, Frank McCabe Deferrability Analysis for JavaScript. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ryo Watanabe, Kozo Okano, Toshifusa Sekizawa Towards Verification of Robot Design for Self-localization. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cuong K. Chau, Warren A. Hunt Jr., Marly Roncken, Ivan E. Sutherland A Framework for Asynchronous Circuit Modeling and Verification in ACL2. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ofer 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 Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Thomas Lemberger 0002 Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhixing Xu, Aarti Gupta, Sharad Malik Trace-based Analysis of Memory Corruption Malware Attacks. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere PRuning Through Satisfaction. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov MicroTESK: Specification-Based Tool for Constructing Test Program Generators. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tom Tervoort, I. S. W. B. Prasetya APSL: A Light Weight Testing Tool for Protocols with Complex Messages. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina LRA Interpolants from No Man's Land. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tatsuya Abe 0001 A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1George B. Sherwood Embedded Functions for Test Design Automation. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard Garn, Fabian Würfl, Dimitris E. Simos KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi A Symbolic Approach to Safety ltl Synthesis. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Pulina, Armando Tacchella More Adaptive Does not Imply Less Safe (with Formal Verification). Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manjeet Dahiya, Sorav Bansal Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Landsberg, Hana Chockler, Daniel Kroening Probabilistic Fault Localisation. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu Synthesis of Admissible Shields. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese ddNF: An Efficient Data Structure for Header Spaces. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Egor George Karpenkov, David Monniaux Formula Slicing: Inductive Invariants from Preconditions. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker 0001, Giovanni De Micheli, Matthias Sauer 0002 SAT-Based Combinational and Sequential Dependency Computation. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vincent Bloemen, Jaco van de Pol Multi-core SCC-Based LTL Model Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wei Jin 0001, Alessandro Orso Improving Efficiency and Accuracy of Formula-Based Debugging. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eli Arbel, Erez Barak, Bodo Hoppe, Shlomit Koyfman, Udo Krautz, Shiri Moran Gating Aware Error Injection. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fedor Shmarov, Paolo Zuliani Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xiangyu Li, Marcelo d'Amorim, Alessandro Orso Iterative User-Driven Fault Localization. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar Predator Shape Analysis Tool Suite. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero Improving Priority Promotion for Parity Games. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roderick 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 Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker 0001 Advancing Software Model Checking Beyond Linear Arithmetic Theories. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ping Yeung, Eugene Mandel Multi-Domain Verification of Power, Clock and Reset Domains. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrew 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 Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen Resource-Parameterized Timing Analysis of Real-Time Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Heike Wehrheim, Oleg Travkin TSO to SC via Symbolic Execution. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rajarshi Ray 0001, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu XSpeed: Accelerating Reachability Analysis on Multi-core Processors. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nir 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 Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Balázs Kiss, Nikolai Kosmatov, Dillon Pariente, Armand Puccetti Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dejanira Araiza-Illan, David Western, Anthony G. Pipe, Kerstin Eder Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Leucker, Grigory Markin, Martin R. Neuhäußer A New Refinement Strategy for CEGAR-Based Industrial Model Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi SAT-Based Explicit LTL Reasoning. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jan Láník, Oded Maler On Switching Aware Synthesis for Combinational Circuits. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christian Herrera, Bernd Westphal Quasi-equal Clock Reduction: Eliminating Assumptions on Networks. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lenore D. Zuck, Sanjiva Prasad Limited Mobility, Eventual Stability. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Nowack, Katja Tietze, Christof Fetzer Parallel Symbolic Execution: Merging In-Flight Requests. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jakub Daniel, Pavel Parízek PANDA: Simultaneous Predicate Abstraction and Concrete Execution. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, Radu Grosu Abstraction-Based Parameter Synthesis for Multiaffine Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Moab Arar, Michael L. Behm, Odellia Boni, Raviv Gal, Alex Goldin, Maxim Ilyaev, Einat Kermany, John R. Reysa, Bilal Saleh, Klaus-Dieter Schubert, Gil Shurek, Avi Ziv The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz Generating JML Specifications from Alloy Expressions. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Georg Hofferek, Ashutosh Gupta Suraq - A Controller Synthesis Tool Using Uninterpreted Functions. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher Reduction of Resolution Refutations and Interpolants via Subsumption. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Angelo Gargantini, Paolo Vavassori Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker 0001 Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alfons Laarman, Anton Wijs Partial-Order Reduction for Multi-core LTL Model Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Oleg Travkin, Heike Wehrheim Handling TSO in Mechanized Linearizability Proofs. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yoav Katz, Eitan Marcus, Avi Ziv Enhancing Scenario Quality Using Quasi-Events. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Juan Pablo Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin Generating Modulo-2 Linear Invariants for Hardware Model Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mikhail Lukin, Maxim Buzdalov, Anatoly Shalyto Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rajeev 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 Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Eugene Goldberg, Panagiotis Manolios Partial Quantifier Elimination. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Duc-Hiep Chu, Joxan Jaffar A Framework to Synergize Partial Order Reduction with State Interpolation. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Oliver Schwarz, Mads Dam Formal Verification of Secure User Mode Device Execution with DMA. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mohammad Reza Shoaei, Laura Kovács, Bengt Lennartson Supervisory Control of Discrete-Event Systems via IC3. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Eran 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 Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, Mana Taghdiri A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol Read, Write and Copy Dependencies for Symbolic Model Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Robert Könighofer, Ronald Toegl, Roderick Bloem Automatic Error Localization for Software Using Deductive Verification. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emmanuel Sifakis, Laurent Mounier Predictive Taint Analysis for Extended Testing of Parallel Executions. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Anand Yeolekar, Divyesh Unadkat Assertion Checking Using Dynamic Inference. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shoham Ben-David, Hana Chockler, Orna Kupferman Attention-Based Coverage Metrics. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sven Apel, Dirk Beyer 0001, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein Domain Types: Abstract-Domain Selection Based on Variable Usage. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tao Su, John Lyle, Andrea S. Atzeni, Shamal Faily, Habib Virji, Christos Ntanos, Christos Botsikas Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos Project. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tim Lange 0001, Martin R. Neuhäußer, Thomas Noll Speeding Up the Safety Verification of Programmable Logic Controller Code. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Wisam Kadry, Anatoly Koyfman, Dmitry Krestyashyn, Shimon Landa, Amir Nahir, Vitali Sokhin Improving Post-silicon Validation Efficiency by Using Pre-generated Data. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gal Katz, Doron A. Peled Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tuomas Kuismin, Keijo Heljanko Increasing Confidence in Liveness Model Checking Results with Proofs. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene Online Testing of LTL Properties for Java Code. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Codish, Yoav Fekete, Amit Metodi Backbones for Equality. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Maciej J. Ciesielski, Walter Brown, André Rossi Arithmetic Bit-Level Verification Using Network Flow Model. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto Modbat: A Model-Based API Tester for Event-Driven Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Valeria Bertacco, Axel Legay (eds.) Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Dmitry Pidan, Sitvanit Ruah Improving Representative Computation in ExpliSAT. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andreas Abel 0004, Allon Adir, Torsten Blochwitz, Lev Greenberg, Tamer Salman Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Guodong Li, Indradeep Ghosh Lazy Symbolic Execution through Abstraction and Sub-space Search. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Oleg Travkin, Annika Mütze, Heike Wehrheim SPIN as a Linearizability Checker under Weak Memory Models. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sabrina von Styp, Liyong Yu Symbolic Model-Based Testing for Industrial Automation Software. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Armin Biere, Amir Nahir, Tanja E. J. Vos (eds.) Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Cristian Mattarei Efficient Analysis of Reliability Architectures via Predicate Abstraction. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif Formal Specification of an Erase Block Management Layer for Flash Memory. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 272 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license