Treffer 1 - 20 von 187 für Suche 'DAMS, Dennis', Suchdauer: 1,69s Treffer weiter einschränken
  1. 1
    Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings

    Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedin... von Carbonell, Jaime G, Siekmann, Jörg, Goos, G, Massinek, Mieke


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Symbolic Predictive Analysis for Concurrent Programs

    Symbolic Predictive Analysis for Concurrent Programs von Wang, Chao, Kundu, Sudipta, Ganai, Malay, Gupta, Aarti


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever

    Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever von Dams, Dennis, Hannemann, Ulrich, Steffen, Martin


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Language and Tool Support for Class and State Machine Refinement in UML-B

    Language and Tool Support for Class and State Machine Refinement in UML-B von Said, Mar Yah, Butler, Michael, Snook, Colin


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Telco meets the web: Programming shared-experience services

    Telco meets the web: Programming shared-experience services von Arlein, Robert M., Dams, Dennis R., Hull, Richard B., Letourneau, John, Namjoshi, Kedar S.

    Veröffentlicht in Bell Labs technical journal

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Inferring Mealy Machines

    Inferring Mealy Machines von Shahbaz, Muzammil, Groz, Roland


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A Python Library for Trace Analysis

    A Python Library for Trace Analysis von Dams, Dennis, Havelund, Klaus, Kauffman, Sean


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Runtime Verification as Documentation

    Runtime Verification as Documentation von Dams, Dennis, Havelund, Klaus, Kauffman, Sean


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study

    Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study von Platzer, André, Clarke, Edmund M.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Verifying the Microsoft Hyper-V Hypervisor with VCC

    Verifying the Microsoft Hyper-V Hypervisor with VCC von Leinenbach, Dirk, Santen, Thomas


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Special issue: 2nd World Congress on Formal Methods

    Special issue: 2nd World Congress on Formal Methods von Cavalcanti, Ana, Dams, Dennis

    Veröffentlicht in Formal methods in system design

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Formal Verification of Avionics Software Products

    Formal Verification of Avionics Software Products von Souyris, Jean, Wiels, Virginie, Delmas, David, Delseny, Hervé


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  13. 13
    FM 2009: formal methods

    FM 2009: formal methods von Cavalcanti, Ana, Dams, Dennis

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    FM 2009: Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings

    FM 2009: Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings von Cavalcanti, Ana, Dams, Dennis

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    StackSnuffer: Curing Orion’s Unsoundness

    StackSnuffer: Curing Orion’s Unsoundness von Dams, Dennis


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Model Checking Linearizability via Refinement

    Model Checking Linearizability via Refinement von Liu, Yang, Chen, Wei, Liu, Yanhong A., Sun, Jun


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Formal Methods for Privacy

    Formal Methods for Privacy von Tschantz, Michael Carl, Wing, Jeannette M.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Abstraction in software model checking: Principles and practice

    Abstraction in software model checking: Principles and practice von DAMS, Dennis


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Editorial

    Editorial von Cavalcanti, Ana, Dams, Dennis, Gaudel, Marie-Claude

    Veröffentlicht in Formal aspects of computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Editorial

    Editorial von Cavalcanti, Ana, Dams, Dennis, Gaudel, Marie-claude

    Veröffentlicht in Formal aspects of computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: