The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Iulian Ober: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Iulian Ober, Ileana Stan
    On the Concurrent Object Model of UML. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1999, pp:1377-1384 [Conf]
  2. Iulian Ober, Susanne Graf, David Lesens
    Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:48-62 [Conf]
  3. Iulian Ober, Alain Kerbrat
    Specification and execution of tests using tMsc. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:453-468 [Conf]
  4. Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic
    Modelling and Analysis of Real Time and Embedded Systems - Using UML. [Citation Graph (0, 0)][DBLP]
    MoDELS Workshops, 2006, pp:126-130 [Conf]
  5. Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent
    SDL for Real-Time: What is Missing? [Citation Graph (0, 0)][DBLP]
    SAM, 2000, pp:108-0 [Conf]
  6. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent
    Timed Extensions for SDL. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2001, pp:223-240 [Conf]
  7. Iulian Ober, Alain Kerbrat
    Verification of Quantitative Temporal Properties of SDL Specifications. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2001, pp:182-202 [Conf]
  8. Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis
    The IF Toolset. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:237-267 [Conf]
  9. Iulian Ober, Susanne Graf, Ileana Ober
    Validation of UML Models via a Mapping to Communicating Extended Timed Automata. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:127-145 [Conf]
  10. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
    IF Validation Environment Tutorial. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:306-307 [Conf]
  11. Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic
    Modeling and Analysis of Real-Time and Embedded Systems. [Citation Graph (0, 0)][DBLP]
    MoDELS Satellite Events, 2005, pp:58-66 [Conf]
  12. Iulian Ober, Susanne Graf, Ileana Ober
    Validating timed UML models by simulation and verification. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:2, pp:128-145 [Journal]
  13. Susanne Graf, Ileana Ober, Iulian Ober
    A real-time profile for UML. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:2, pp:113-127 [Journal]

  14. On the Timed Automata-Based Verification of Ravenscar Systems. [Citation Graph (, )][DBLP]


  15. MODELS Research Projects Symposium. [Citation Graph (, )][DBLP]


  16. Behavioral Modelling and Composition of Object Slices Using Event Observation. [Citation Graph (, )][DBLP]


  17. Model Based Architecting and Construction of Embedded Systems. [Citation Graph (, )][DBLP]


  18. Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009). [Citation Graph (, )][DBLP]


  19. Using an UML profile for timing analysis with the IF validation tool-set. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002