Search Results - Hooman, Jozef*

Refine Results
  1. 1
    Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts

    Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts by Keshishzadeh, Sarmen, Mooij, Arjan J., Hooman, Jozef

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Model based component development and analysis with ComMA

    Model based component development and analysis with ComMA by Kurtev, Ivan, Hooman, Jozef, Schuts, Mathijs, van der Munnik, Daan

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Evaluating the effect of a lightweight formal technique in industry

    Evaluating the effect of a lightweight formal technique in industry by Osaiweran, Ammar, Schuts, Mathijs, Hooman, Jozef, Groote, Jan Friso, van Rijnsoever, Bart

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Experiences with incorporating formal techniques into industrial practice

    Experiences with incorporating formal techniques into industrial practice by Osaiweran, Ammar, Schuts, Mathijs, Hooman, Jozef

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Compositional verification of a distributed real-time arbitration protocol

    Compositional verification of a distributed real-time arbitration protocol by Hooman, Jozef

    Published in Real-time systems
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Supporting UML-based development of embedded systems by formal techniques

    Supporting UML-based development of embedded systems by formal techniques by Hooman, Jozef, Kugler, Hillel, Ober, Iulian, Votintseva, Anjelika, Yushtein, Yuri

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Semantic models of a timed distributed dataspace architecture

    Semantic models of a timed distributed dataspace architecture by Hooman, Jozef, van de Pol, Jaco

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Metric temporal logic with durations

    Metric temporal logic with durations by Lakhneche, Yassine, Hooman, Jozef

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    A semantics of communicating reactive objects with timing

    A semantics of communicating reactive objects with timing by HOOMAN, Jozef, VAN DER ZWAAG, Mark B

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Incorporating Formal Techniques into Industrial Practice: an Experience Report

    Incorporating Formal Techniques into Industrial Practice: an Experience Report by Osaiweran, Ammar, Schuts, Mathijs, Hooman, Jozef, Wesselius, Jacco

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Formal specification and compositional verification of an atomic broadcast protocol

    Formal specification and compositional verification of an atomic broadcast protocol by Zhou, Ping, Hooman, Jozef

    Published in Real-time systems
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts

    Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts by Keshishzadeh, Sarmen, Mooij, Arjan J, Hooman, Jozef

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Compositional verification of real-time systems with explicit clock temporal logic

    Compositional verification of real-time systems with explicit clock temporal logic by ZHOU, P, HOOMAN, J, KUIPER, R

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    An Approach to Platform Independent Real-Time Programming: (1) Formal Description

    An Approach to Platform Independent Real-Time Programming: (1) Formal Description by Hooman, Jozef, Onno van Roosmalen

    Published in Real-time systems
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Formalizing UML Models and OCL Constraints in PVS

    Formalizing UML Models and OCL Constraints in PVS by Kyas, Marcel, Fecher, Harald, de Boer, Frank S., Jacob, Joost, Hooman, Jozef, van der Zwaag, Mark, Arons, Tamarah, Kugler, Hillel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Extending hoare logic to real-time

    Extending hoare logic to real-time by Hooman, Jozef

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Dependability for high-tech systems: an industry-as-laboratory approach

    Dependability for high-tech systems: an industry-as-laboratory approach by Brinksma, E., Hooman, J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    An Approach to Platform Independent Real-Time Programming: (2) Practical Application

    An Approach to Platform Independent Real-Time Programming: (2) Practical Application by Hooman, Jozef, Onno van Roosmalen

    Published in Real-time systems
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Gaining Industrial Confidence for the Introduction of Domain-Specific Languages

    Gaining Industrial Confidence for the Introduction of Domain-Specific Languages by Mooij, Arjan J., Hooman, Jozef, Albers, Rob

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Dependability for high-tech systems: an industry-as-laboratory approach

    Dependability for high-tech systems: an industry-as-laboratory approach by Brinksma, Ed, Hooman, Jozef

    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: