Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009022740/catalog> ?p ?o. }

Showing items 1 to 32 of 32 with 100 items per page.

catalog contributor b12686081.
catalog contributor b12686082.
catalog contributor b12686083.
catalog contributor b12686084.
catalog created "2002.".
catalog date "2002".
catalog date "2002.".
catalog dateCopyrighted "2002.".
catalog description "A Distributed Partial Order Reduction Algorithm / Robert Palmer and Ganesh Gopalakrishan.".
catalog description "A Formal Venture into Reliable Multicast Territory / Carolos Livadas and Nancy A. Lynch -- Modelling SIP Services Using CRESS / Kenneth J. Turner -- Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets / Teemu Tynjala, Sari Leppanen and Vesa Luukkala -- Verifying Randomized Byzantine Agreement / Marta Kwiatkowska and Gethin Norman -- Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning / Alessandro Armando and Luca Compagna -- Visual Specifications for Modular Reasoning about Asynchronous Systems / Nina Amla, E. Allen Emerson, Kedar S. Namjoshi and Richard J. Trefler -- Bounded Model Checking for Timed Systems / G. Audemard, A. Cimatti, A. Kornilowicz and R. Sebastiani -- C Wolf -- A Toolset for Extracting Models from C Programs / Daniel C. Du Varney and S. Purushothaman Iyer -- NTIF: A General Symbolic Model for Communicating Sequential Processes with Data / Hubert Garavel and Frederic Lang -- ".
catalog description "Building Tools for LOTOS Symbolic Semantics in Maude / Alberto Verdejo -- From States to Transitions: Improving Translation of LTL Fourmulae to Buchi Automata / Dimitra Giannakopoulou and Flavio Lerda -- A Compositional Sweep-Line State Space Exploration Method / Lars Michael Kristensen and Thomas Mailund -- On Combining the Persistent Sets Method with the Covering Steps Graph Method / Pierre-Olivier Ribet, Francois Vernadat and Bernard Berthomieu -- Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor / Victor Melamed, Harry Stuimer, David Wilkins, Lawrence Chang, Kevin Normoyle and Sutikshan Bhutani -- Mechanical Translation of I/O Automation Specifications into First-Order Logic / Andrej Bogdanov, Stephen J. Garland and Nancy A. Lynch -- Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams / Thanyapat Sakunkonchak and Masahiro Fujita -- ".
catalog description "Encoding PAMR into (Timed) EFSMs / Manuel Nunez and Ismael Rodriguez -- Submodule Construction for Specifications with Input Assumptions and Output Guarantees / Gregor v. Bochmann -- Congruent Weak Conformance, a Partial Order among Processes / Ronald W. Brower and Kenneth S. Stevens -- Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures / Farn Wang and Karsten Schmidt -- A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction / Dragan Bosnacki -- Protocol Techniques for Testing Radiotherapy Accelerators / Kenneth J. Turner and Qian Bing -- System Test Synthesis from UML Models of Distributed Software / Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jeron, Jean-Marc Jezequel and Alain Le Guennec -- Formal Test Purposes and the Validity of Test Cases / Peter H. Deussen and Stephan Tobies -- Use of Logic to Describe Enhanced Communications Services / Stephan Reiff-Marganiec and Kenneth J. Turner -- ".
catalog description "Includes bibliographical references and index.".
catalog extent "xi, 368 p. :".
catalog identifier "3540001417 (alk. paper)".
catalog isPartOf "Lecture notes in computer science ; 2529".
catalog issued "2002".
catalog issued "2002.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "004.01/51 21".
catalog subject "Computer network protocols Congresses.".
catalog subject "Electronic data processing Distributed processing Congresses.".
catalog subject "Formal methods (Computer science) Congresses.".
catalog subject "QA76.9.F67 F67 2002".
catalog tableOfContents "A Distributed Partial Order Reduction Algorithm / Robert Palmer and Ganesh Gopalakrishan.".
catalog tableOfContents "A Formal Venture into Reliable Multicast Territory / Carolos Livadas and Nancy A. Lynch -- Modelling SIP Services Using CRESS / Kenneth J. Turner -- Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets / Teemu Tynjala, Sari Leppanen and Vesa Luukkala -- Verifying Randomized Byzantine Agreement / Marta Kwiatkowska and Gethin Norman -- Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning / Alessandro Armando and Luca Compagna -- Visual Specifications for Modular Reasoning about Asynchronous Systems / Nina Amla, E. Allen Emerson, Kedar S. Namjoshi and Richard J. Trefler -- Bounded Model Checking for Timed Systems / G. Audemard, A. Cimatti, A. Kornilowicz and R. Sebastiani -- C Wolf -- A Toolset for Extracting Models from C Programs / Daniel C. Du Varney and S. Purushothaman Iyer -- NTIF: A General Symbolic Model for Communicating Sequential Processes with Data / Hubert Garavel and Frederic Lang -- ".
catalog tableOfContents "Building Tools for LOTOS Symbolic Semantics in Maude / Alberto Verdejo -- From States to Transitions: Improving Translation of LTL Fourmulae to Buchi Automata / Dimitra Giannakopoulou and Flavio Lerda -- A Compositional Sweep-Line State Space Exploration Method / Lars Michael Kristensen and Thomas Mailund -- On Combining the Persistent Sets Method with the Covering Steps Graph Method / Pierre-Olivier Ribet, Francois Vernadat and Bernard Berthomieu -- Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor / Victor Melamed, Harry Stuimer, David Wilkins, Lawrence Chang, Kevin Normoyle and Sutikshan Bhutani -- Mechanical Translation of I/O Automation Specifications into First-Order Logic / Andrej Bogdanov, Stephen J. Garland and Nancy A. Lynch -- Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams / Thanyapat Sakunkonchak and Masahiro Fujita -- ".
catalog tableOfContents "Encoding PAMR into (Timed) EFSMs / Manuel Nunez and Ismael Rodriguez -- Submodule Construction for Specifications with Input Assumptions and Output Guarantees / Gregor v. Bochmann -- Congruent Weak Conformance, a Partial Order among Processes / Ronald W. Brower and Kenneth S. Stevens -- Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures / Farn Wang and Karsten Schmidt -- A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction / Dragan Bosnacki -- Protocol Techniques for Testing Radiotherapy Accelerators / Kenneth J. Turner and Qian Bing -- System Test Synthesis from UML Models of Distributed Software / Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jeron, Jean-Marc Jezequel and Alain Le Guennec -- Formal Test Purposes and the Validity of Test Cases / Peter H. Deussen and Stephan Tobies -- Use of Logic to Describe Enhanced Communications Services / Stephan Reiff-Marganiec and Kenneth J. Turner -- ".
catalog title "Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings / Doron A. Peled, Moshe Y. Vardi (eds.).".
catalog type "Conference proceedings. fast".
catalog type "text".