Search Results - Zolotas, Athanasios

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries

    Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries by Sanchez, Beatriz A., Zolotas, Athanasios, Hoyos Rodriguez, Horacio, Kolovos, Dimitris, Paige, Richard F., Cooper, Justin C., Hampson, Jason

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Automatic generation of UML profile graphical editors for Papyrus

    Automatic generation of UML profile graphical editors for Papyrus by Wei, Ran, Zolotas, Athanasios, Hoyos Rodriguez, Horacio, Gerasimou, Simos, Kolovos, Dimitrios S., Paige, Richard F.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon

    Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon by Zolotas, Athanasios, Hoyos Rodriguez, Horacio, Hutchesson, Stuart, Sanchez Pina, Beatriz, Grigg, Alan, Li, Mole, Kolovos, Dimitrios S., Paige, Richard F.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis

    DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis by Wei, Ran, Jiang, Zhe, Guo, Xiaoran, Yang, Ruizhe, Mei, Haitao, Zolotas, Athanasios, Kelly, Tim

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Type inference in flexible model-driven engineering using classification algorithms

    Type inference in flexible model-driven engineering using classification algorithms by Zolotas, Athanasios, Matragkas, Nicholas, Devlin, Sam, Kolovos, Dimitrios S., Paige, Richard F.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Constraint programming for type inference in flexible model-driven engineering

    Constraint programming for type inference in flexible model-driven engineering by Zolotas, Athanasios, Clarisó, Robert, Matragkas, Nicholas, Kolovos, Dimitrios S., Paige, Richard F.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: