Search Results - OBER, Iulian

  • Showing 1 - 18 results of 18
Refine Results
  1. 1
    On Patterns of Multi-domain Interaction for Scientific Software Development focused on Separation of Concerns

    On Patterns of Multi-domain Interaction for Scientific Software Development focused on Separation of Concerns by Ober, Ileana, Ober, Iulian

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Formal Verification of Emergent Properties

    Formal Verification of Emergent Properties by Boumaza, Kamal, Tolba, Cherif, Ober, Iulian

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Certification of avionic software based on machine learning: the case for formal monotony analysis

    Certification of avionic software based on machine learning: the case for formal monotony analysis by Ducoffe, Mélanie, Gabreau, Christophe, Ober, Ileana, Ober, Iulian, Vidot, Eric Guillaume

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Certification of avionic software based on machine learning: the case for formal monotony analysis

    Certification of avionic software based on machine learning: the case for formal monotony analysis by Ducoffe, Mélanie, Gabreau, Christophe, Ober, Ileana, Ober, Iulian, Vidot, Eric Guillaume

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Contract-based modeling and verification of timed safety requirements within SysML

    Contract-based modeling and verification of timed safety requirements within SysML by Dragomir, Iulia, Ober, Iulian, Percebois, Christian

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Preface to the special issue on model-driven engineering and system analysis and modelling

    Preface to the special issue on model-driven engineering and system analysis and modelling by Ober, Iulian, de Saqui-Sannes, Pierre, Herrmann, Peter, Erik Ellevseth, Stein

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Validating timed UML models by simulation and verification

    Validating timed UML models by simulation and verification by OBER, Iulian, GRAF, Susanne, OBER, Ileana

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    UML/SysML semantic tunings

    UML/SysML semantic tunings by Ober, Ileana, Ober, Iulian, Dragomir, Iulia, Aboussoror, El Arbi

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    A real-time profile for UML

    A real-time profile for UML by GRAF, Susanne, OBER, Ileana, OBER, Iulian

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    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:
  11. 11
    A real-time profile for UML

    A real-time profile for UML by Graf, Susanne, Ober, Ileana, Ober, Iulian

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 12
    Timing analysis and validation with UML: the case of the embedded MARS bus manager

    Timing analysis and validation with UML: the case of the embedded MARS bus manager by Ober, Iulian, Graf, Susanne, Yushtein, Yuri, Ober, Ileana

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Certification of embedded systems based on Machine Learning: A survey

    Certification of embedded systems based on Machine Learning: A survey by Vidot, Guillaume, Gabreau, Christophe, Ober, Ileana, Ober, Iulian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Modeling and verification method for an early validation of a train system

    Modeling and verification method for an early validation of a train system by Baduel, Ronan, Ober, Iulian, Bruel, Jean-Michel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Formal verification of space systems designed with TASTE

    Formal verification of space systems designed with TASTE by Dragomir, I, Bozga, M, Ober, Iulian, Silveira, D, Jorge, T, Alaña, E, Perrotin, M

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    A Case Study in Formal System Engineering with SysML

    A Case Study in Formal System Engineering with SysML by Dragomir, Iulia, Ober, Iulian, Lesens, David

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Well-formedness and typing rules for UML Composite Structures

    Well-formedness and typing rules for UML Composite Structures by Dragomir, Iulia, Ober, Iulian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    OMEGA2: A New Version of the Profile and the Tools

    OMEGA2: A New Version of the Profile and the Tools by Ober, I, Dragomir, I

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: