Autor: "DeAntoni, Julien" - OpacWWW

Skocz do pozycji: 1.

Tytuł:: A generic framework for representing and analyzing model concurrency
Autorzy:: Zschaler, SteffenAff1, IDs10270022010732_cor1
Bousse, Erwan
Deantoni, Julien
Combemale, Benoit; Pokaż więcej
Źródło:: Software and Systems Modeling. 22(4):1319-1340

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 2.

Tytuł:: Early timing analysis based on scenario requirements and platform models
Autorzy:: Holtmann, JörgAff1, IDs10270022010023_cor1
Deantoni, Julien
Fockel, Markus; Pokaż więcej
Źródło:: Software and Systems Modeling. 21(6):2171-2211

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 3.

Tytuł:: Towards the Verification of Hybrid Co-simulation Algorithms
Autorzy:: Thule, Casper
Gomes, CláudioAff17, Aff21
Deantoni, Julien
Larsen, Peter Gorm
Brauer, Jörg
Vangheluwe, HansAff17, Aff20, Aff21; Pokaż więcej
Źródło:: Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. 11176:5-20

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Co-simulation: The Past, Future, and Open Challenges
Autorzy:: Gomes, CláudioAff22, Aff25
Thule, Casper
Deantoni, JulienAff26, Aff27
Larsen, Peter Gorm
Vangheluwe, HansAff22, Aff24, Aff25; Pokaż więcej
Źródło:: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. 11246:504-520

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A unifying framework for homogeneous model composition
Autorzy:: Kienzle, Jörg
Mussbacher, Gunter
Combemale, Benoit
Deantoni, Julien; Pokaż więcej
Źródło:: Software & Systems Modeling. 18(5):3005-3023

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 6.

Tytuł:: Instant-Based and State-Based Analysis of Infinite Logical Clock
Autorzy:: Xu, QingguoAff17, Aff18
Miao, HuaikouAff17, Aff18
de Simone, Robert
DeAntoni, Julien; Pokaż więcej
Źródło:: Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers. 10189:32-51

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: VCU: The Three Dimensions of Reuse
Autorzy:: Kienzle, Jörg
Mussbacher, Gunter
Alam, Omar
Schöttle, Matthias
Belloir, Nicolas
Collet, Philippe
Combemale, Benoit
DeAntoni, Julien
Klein, Jacques
Rumpe, Bernhard; Pokaż więcej
Źródło:: Software Reuse: Bridging with Social-Awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings. 9679:122-137

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Divergence Detection for CCSL Specification via Clock Causality Chain
Autorzy:: Xu, QingguoAff16, Aff17
de Simone, Robert
DeAntoni, Julien; Pokaż więcej
Źródło:: Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. 9984:18-37

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Domain Globalization: Using Languages to Support Technical and Social Coordination
Autorzy:: Deantoni, Julien
Brun, Cédric
Caillaud, Benoit
France, Robert B.
Karsai, Gabor
Nierstrasz, Oscar
Syriani, Eugene; Pokaż więcej
Źródło:: Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers. 9400:70-87

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications
Autorzy:: Koch, Thorsten
Holtmann, Jörg
DeAntoni, Julien; Pokaż więcej
Źródło:: Software Architecture : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings. 8627:146-153

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Logical Time @ Work: Capturing Data Dependencies and Platform Constraints
Autorzy:: Glitia, Calin
DeAntoni, Julien
Mallet, Frédéric; Pokaż więcej
Źródło:: System Specification and Design Languages : Selected Contributions from FDL 2010. 106:223-238

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: TimeSquare: Treat Your Models with Logical Time
Autorzy:: DeAntoni, Julien
Mallet, Frédéric; Pokaż więcej
Źródło:: Objects, Models, Components, Patterns : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings. 7304:34-41

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: The Time Model of Logical Clocks Available in the OMG MARTE Profile
Autorzy:: André, Charles
DeAntoni, Julien
Mallet, Frédéric
de Simone, Robert; Pokaż więcej
Źródło:: Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction. :201-227

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE
Autorzy:: Glitia, Calin
DeAntoni, Julien
Mallet, Frédéric
Millo, Jean-Vivien
Boulet, Pierre
Gamatié, Abdoulaye; Pokaż więcej
Źródło:: Design Automation for Embedded Systems: An International Journal. March 2015 19(1-2):1-33

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte
Autorzy:: Glitia, Calin
DeAntoni, Julien
Mallet, Frédéric
Millo, Jean-Vivien
Boulet, Pierre
Gamatié, Abdoulaye; Pokaż więcej
Źródło:: Design Automation for Embedded Systems: An International Journal. June 2012 16(2):137-169

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: The clock constraint specification language for building timed causality models: Application to synchronous data flow graphs
Autorzy:: Mallet, Frédéric
DeAntoni, Julien
André, Charles
de Simone, Robert; Pokaż więcej
Źródło:: Innovations in Systems and Software Engineering: A NASA Journal. March 2010 6(1-2):99-106

Czasopismo naukowe

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""DeAntoni, Julien"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji