Beijng / San Francisco / Huntsville / El Segundo / Portland / Toronto / Washington / Hamburg / Long Beach / Florence / Irvine / Seattle / Lake Arrowhead / Palo Alto / Meeting / Berne / Venice / Workshop / Zurich / Newcastle upon Tyne / Berlin / Saarbrucken / Aarhus / Los Angeles / Copenhagen / Graz / Snowbird / Limerick / Passau / Anaheim / Washington DC / Montreal / Taipei / Stockholm / Marktoberdorf / Philadelphia / Vancouver / Amsterdam / Hoboken / Naples / Grenoble / San Jose / Facility / Orlando / Holmdel / Barcelona / Pasadena / New York / Morristown / Enschede / Critical Computer / London / NECSIS / San Diego / /
Company
NASA Software / IEEE Computer Society Press / Spacecraft Flight Software / Hospira Inc. / CNN / Lucent Technologies / Developing Safety Critical Software / Bell Laboratories / Ames / Microsoft / CONCUR / Toyota / Computer Science Press / ESPRIT / Aquila / IBM / CS Press / Northrop Grumman Corp. / AT&T / NASA Software Working Group / Bell Labs / IFIP Working Group / Google / Multiprocessing Systems / Testing Distributed Systems Software / Annual NASA Software / Call Processing Software / /
Continent
Europe / /
Country
United Kingdom / China / Denmark / Italy / Columbia / Spain / Switzerland / Netherlands / France / Canada / Taiwan / Germany / Sweden / Austria / United States / South Korea / Ireland / /
Currency
USD / / /
Event
FDA Phase / /
Facility
Stanford University / Louisiana State University / Twente University / Binghamton University / Carolina State University / Microsoft Summer Institute / University of Michigan / University of California / Princeton University / Sweden University of New Mexico / Sweden FDTH University / Keck Institute / Prentice Hall / Validation Facility / Royal Institute of Techn / University of Utah / Imperial College / Watson Research Center / Columbia University / Annual Lee Center / Delft University / Science Museum / Telematics Research Center / University of Virginia / Building Systems / Delft University of Technology / Stevens Institute of Technology / Menlo College / Shelter Island / Marshall Space Flight Center / University of Toronto / Kansas State University / University of Pennsylvania / /
IndustryTerm
possible software causes / software engineering / software safety / model checking systems / event-driven software / biological and embedded systems / event driven software / software development / een net van betrouwbare processors / concurrent systems / Software architectures / model checking algorithms / times more software defects / model-checking software system / resolution theorem proving systems / message passing systems / event-driven systems / software systems / model checking tools / web-based system / formal-verification tools / data communications / pre-processor / verification tools / software analysis / Software model checking / software quality / logic verification systems / software verification / communications protocols / software reliability / safety critical software / verification tool / /
Organization
University of California / R&D Council / Marshall Space Flight Center / NIST IT Lab. / US Nuclear Regulatory Committee / University of Michigan / School of Inf / NASA Engineering and Safety Center / National Space Society / University of Virginia / University of Utah / American Mathematical Society / Review Board / NASA Kennedy Space Center / 4th Summer School on Formal Techniques / NASA Engineering Safety Center / Delft University / DIMACS / Binghamton University / New York / NASA office of Exploration Systems / Science and Technology Advisory Committee / National Science Foundation / University of Pennsylvania / National Academy / Twente University / State Univ. of New York / Software Reliability Leadership Council / Selection Board / Research and Development Council of New Jersey / Scientific Advisory Board / Engineering and Safety Center / Kansas State University / University of New Mexico / Royal Institute of Techn / Telematics Research Center / University of Toronto / Univ. of Montreal / Fulbright-Hayes Scholarship General Service / UC Berkeley / Univ. of Surrey / NATO Summer School / Princeton University / Delft University of Technology / Columbia University / New York / Fellow Promotion Advisory Board / Menlo College / Microsoft Summer Institute on Trends / DOT / Keck Institute / U.K. UC / UCLA / Concordia Summer School / Sweden FDTH University / Lausanne / Stevens Institute of Technology / Univ. of NY / Caltech IST Advisory Council / Imperial College / Year Selection Committee for JPL / Icy Moons Orbiter Mission / Congress / National Academy of Engineering / Elected / Stanford University / Louisiana State University / National Aeronautics and Space Administration / Steering committee / Princeton Univ. / /
Person
Pierre Wolper / Murray Hill / Konrad Zuse / Simon Peyton Jones / Ba / Laborator / Tom Melham / J.L. de Kroes / Patrick Cousot / Joseph Sifakis / Charles Simonyi / Harlan D. Mills / Theo Ruys / Dexter Kozen / Bjorn Pehrson / Lorcan Coyle / Allen Emerson / Nancy Lynch / David Basin / Joachim Parrow / Pamela Zave / Caltech Wkshp / Carl Seger / Spin Symposium / W.L. van der Poel / Ken Thompson / Amir Pnueli / Leslie Lamport / Gerard J. Holzmann / Howard Oringer / Ed Clarke / Formal Methods / Morgan Hill / Mike Hinchey / Jan Oringer / Caltech Wkshp Formal Methods / / /
Position
Consultant / software reliability / Chair advisory board / Plenary/unifying speaker / Model Checker / Software Model / Editor / Speaker / Director Computing Principles Research / Representative for Software / Chief Scientist / Model / Plenary speaker / Member of Technical Staff Award / Principal Computer Scientist / Keynote speaker / Lecturer / Software Model Checking / picture editor / Member of Technical Staff / Automata Based Model / Senior Research Scientist / Editor / w / Invited speaker / Assistant / Lead strategist / Co-Chair / chair / /
Product
PSTV99 / PSTV87 / /
ProgrammingLanguage
Java / L / DC / C / /
ProvinceOrState
Louisiana / New Mexico / Utah / California / New Jersey / Pennsylvania / West Virginia / Virginia / New York / Washington / Michigan / Kansas / Oregon / Florida / /
PublishedMedium
Elsevier / Bell Labs Technical Journal / IEEE Transactions on Computers / the Science / Theoretical Computer Science / /
Region
North Holland / West Virginia / /
SportsLeague
Stanford University / /
Technology
Design Verification / 5ESS ISUP protocol / Software Technology / Computer Protocols / Java / ISDN / Simulation / communications protocols / Information Technology / Process Technology / model checking algorithms / digital photography / SS7 / een net van betrouwbare processors / Operating Systems / Network Protocols / /
Gerard J. Holzmann Work: Laboratory for Reliable Software NASA/JPL, 4800 Oak Grove Drive