Holzmann - PDFSEARCH.IO - Document Search Engine

Holzmann
Results: 83

#	Item
1	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:27:55 Theoretical computer science Information retrieval Information science Model checkers Hashing Model checking Ith SPIN model checker Bitstate hashing Cryptographic hash function Correctness Applied mathematics
2	Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Model checkers Software engineering Theoretical computer science Formal methods C C++ Sizeof Model checking Promela Abstraction Computing Abstract interpretation
3	Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:43 Software testing Software engineering Computing Quality Fault injection Software verification Reliability engineering Formal verification Flash memory Software quality Stress testing Exception handling
4	New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA/JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:32:09 Formal methods Theoretical computer science Software engineering Computing Logic in computer science Software testing Model checking Formal verification Software verification Flash memory Verification Software quality
5	Tempas: Temporal Archive Search Based on Tags ∗ Helge Holzmann Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:28:44 Information science World Wide Web Information retrieval Collective intelligence Knowledge representation Social information processing Collaboration Social bookmarking Tag Google Search Search engine indexing Web search engine
6	Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:29:11 Model checkers Theoretical computer science Formal methods Software engineering Logic in computer science Model checking Search algorithms Formal verification SPIN model checker Verification Swarm behaviour Promela
7	Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:15 Model checkers Promela Computing Model checking SPIN model checker Gerard J. Holzmann Modeling language Mars Exploration Rover Economic model Theoretical computer science Notation
8	Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:33:49 Computing Software quality Engineering Reliability engineering Software engineering Design for X Materials science Survival analysis Fault tolerance Redundancy Software design Modular programming
9	Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum Add to Reading List Source URL: www.applied.math.tugraz.at Language: German - Date: 2018-06-06 11:26:14
10	Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum Add to Reading List Source URL: www.applied.math.tugraz.at Language: German - Date: 2018-05-17 10:25:51