Filtrer vos résultats
- 64
- 22
- 56
- 10
- 8
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 8
- 85
- 1
- 3
- 1
- 3
- 3
- 8
- 4
- 1
- 6
- 10
- 8
- 6
- 9
- 7
- 6
- 3
- 1
- 1
- 2
- 4
- 83
- 3
- 84
- 82
- 54
- 21
- 21
- 8
- 6
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 86
- 33
- 19
- 14
- 8
- 7
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
86 résultats
|
|
VCU: The Three Dimensions of Reuse15th International Conference on Software Reuse (ICSR-15), May 2016, Limassol, Cyprus
Communication dans un congrès
hal-01287720v1
|
||
|
|
Debugging and Verification Tools for LINGUA FRANCA in GEMOC StudioFDL 2021 - Forum on specification & Design Languages, Sep 2021, Antibes, France. ⟨10.1109/FDL53530.2021.9568383⟩
Communication dans un congrès
hal-03374955v1
|
||
|
|
Early timing analysis based on scenario requirements and platform modelsSoftware and Systems Modeling, 2022, 21, ⟨10.1007/s10270-022-01002-3⟩
Article dans une revue
hal-03375049v1
|
||
|
|
Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquareICECCS'2013 - 18th International Conference on Engineering of Complex Computer Systems, Jul 2013, Singapore, Singapore
Communication dans un congrès
hal-00850673v1
|
||
|
|
Logical time at work: capturing data dependencies and platform constraintsForum for Design Languages (FDL), Electronic Chips & Systems design Initiative (ECSI), Sep 2010, Southampton, United Kingdom. pp.240-246
Communication dans un congrès
inria-00545866v1
|
||
|
|
GEMOC 2014 2nd International Workshop on The Globalization of Modeling LanguagesBenoit Combemale; Julien Deantoni; Robert France. GEMOC 2014 co-located with MODELS 2014, Sep 2014, Valencia, France. 1236, , pp.82, 2014, CEUR-WS, 1613-0073
Proceedings/Recueil des communications
hal-01074602v1
|
||
|
|
Toward a TLM to RTL refinement : a formal approach3rd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2009), Oct 2009, Paris, France
Communication dans un congrès
inria-00494224v1
|
||
A timing model for specifying multi clock automotive systems. The Timing Augmented Description Language V2ICECCS 2012 - 17th International Conference on Engineering of Complex Computer Systems, Jul 2012, Paris, France. pp.230-239
Communication dans un congrès
hal-00687562v1
|
|||
|
|
Reifying Concurrency for Executable MetamodelingSLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.365-384, ⟨10.1007/978-3-319-02654-1_20⟩
Communication dans un congrès
hal-00850770v2
|
||
|
|
Multi-View Power Modeling based on UML MARTE and SysML[Research Report] RR-7934, INRIA. 2012, pp.19
Rapport
hal-00688853v1
|
||
|
|
Scheduling Multi Clock Real Time Systems: From Requirements to ImplementationInternational Symposium on Object/Component/Service-oriented Real-time Distributed Computing, Mar 2011, Newport Beach, United States. pp.50; 57, ⟨10.1109/ISORC.2011.16⟩
Communication dans un congrès
inria-00586851v1
|
||
Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013Combemale, Benoit and Deantoni, Julien and France, Robert B. and Barn, Balbir and Clark, Tony and Frank, Ulrich and Kulkarni, Vinay and Turk, Dan. CEUR-WS, 1102, pp.88, 2013
Ouvrages
hal-00916282v1
|
|||
|
|
Semantic Multi-View model for Low-PowerJournées nationales IDM, CAL, et du GDR GPL, Jun 2011, Lille, France. pp.19
Communication dans un congrès
hal-00596239v1
|
||
Power consumption analysis using multi-view modelingPATMOS - 23th International Workshop on Power and Timing Modeling, Optimization and Simulation, Sep 2013, Karlsruhe, Germany. pp.235-238, ⟨10.1109/PATMOS.2013.6662180⟩
Communication dans un congrès
hal-00906733v1
|
|||
|
|
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
Communication dans un congrès
hal-01258358v1
|
||
Co-simulation: The Past, Future, and Open ChallengesLeveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018, Limassol, Cyprus. pp.504--520
Communication dans un congrès
hal-01913822v1
|
|||
|
|
A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPSCoSim-CPS 2020 - Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, Sep 2020, Amsterdam / Online, Netherlands. ⟨10.1007/978-3-030-67220-1_21⟩
Communication dans un congrès
hal-03038527v1
|
||
|
|
ECL: the Event Constraint Language, an Extension of OCL with Events[Research Report] RR-8031, INRIA. 2012, pp.24
Rapport
hal-00721169v2
|
||
|
|
Towards a Meta-Language for the Concurrency Concern in DSLsDesign, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Communication dans un congrès
hal-01087442v1
|
||
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. pp.3-13
Communication dans un congrès
hal-00926244v1
|
|||
A MDA-based approach for real time embedded systems simulationProceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications, Oct 2005, Washington, DC, USA, United States. pp.257--264, ⟨10.1109/DISTRA.2005.2⟩
Communication dans un congrès
inria-00587338v1
|
|||
|
|
Operational Semantics of the Model of Concurrency and Communication Language[Research Report] RR-8584, INRIA. 2014, pp.23
Rapport
hal-01060601v2
|
||
|
|
Combining SystemC, IP-XACT and UML/MARTE in model-based SoC designWorkshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Mar 2011, Grenoble, France
Communication dans un congrès
inria-00601840v1
|
||
|
|
Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL[Research Report] RR-7459, INRIA. 2011
Rapport
inria-00540738v2
|
||
|
|
Logical time @ work: the RT-Simex projectSophia Antipolis Formal Approach, Apr 2011, Sophia, France
Communication dans un congrès
inria-00587151v1
|
||
|
|
Early Timing Analysis based on Scenario Requirements and Platform Models (Extended Abstract)Software Engineering 2023, Feb 2023, Paderborn, Germany. pp.69-70
Communication dans un congrès
hal-04259779v1
|
||
|
|
Modeling the Behavioral Semantics of Heterogeneous Languages and their CoordinationArchitecture Centric Virtual Integration (ACVI), Julien Delange; Jerome Hugues; Peter Feiler, Apr 2016, Venise, Italy
Communication dans un congrès
hal-01291299v1
|
||
|
|
Modeling the Variability Space of Self-Adaptive Applications2nd Dynamic Software Product Lines Workshop (SPLC 2008, Volume 2), 2008, Limerick, Ireland, Ireland. pp.15--22
Communication dans un congrès
inria-00456531v1
|
||
|
|
Early validation of satellite COTS-on-board computing systemsERTS 2020 - 10th European Congress on Embedded Real-Time Software and Systems, Jan 2020, Toulouse, France
Communication dans un congrès
hal-02413867v1
|
||
|
|
SAIA : Sensors/Actuators Independent Architecture -- A showcase through the Martian Task Specifications2005
Autre publication scientifique
inria-00587210v1
|