, MATLAB
Mise en oeuvre d'une approche formelle en ingénierie des modèles, 17eme édition d'AFADL, Approches formelles dans l'assistance au développement de logiciels, 2018. ,
A formal basis for architectural connection, ACM Trans. Softw. Eng. Methodol, vol.6, issue.3, pp.213-249, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-00444067
A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints, Digital Society, 2009. ICDS '09. Third International Conference on, pp.266-271, 2009. ,
A multiform time approach to real-time system modeling: Application to an automotive system, Int. Symp. on Industrial Embedded Systems, pp.234-241, 2007. ,
Syntax and Semantics of the Clock Constraint Specification Language (CCSL), 2009. ,
Clock constraint specification language in UML/MARTE CCSL, Research Report, vol.6540, 2008. ,
The Time Model of Logical Clocks available in the OMG MARTE profile, pp.201-227, 2010. ,
An overview of manifold and its implementation, Concurrency: Pract. Exper, vol.5, issue.1, pp.23-70, 1993. ,
What do you mean, coordination?, Bulletin of the Dutch Association for Theoretical Computer Science (NVTI, pp.11-22, 1998. ,
A channel-based coordination model for component composition, Mathematical Structures in Computer Science, pp.329-366, 2002. ,
Transition systems and concurrent processes, 1987. ,
Polyglot: Modeling and analysis for multiple statechart formalisms, Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA '11, pp.45-55 ,
, , 2011.
Problem frames: A case for coordination, Coordination, 2004. ,
Modeling heterogeneous real-time systems in BIP, 4th IEEE SEFM, pp.3-12, 2006. ,
URL : https://hal.archives-ouvertes.fr/tel-00527491
Modeling heterogeneous real-time components in bip, SEFM, pp.3-12, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00375298
Combining aspect and model-driven engineering approaches for software process modeling and execution, Trustworthy Software Development Processes, pp.148-160, 2009. ,
The synchronous approach to reactive and real-time systems, Proceeding of the IEEE, vol.79, issue.9, pp.1270-1282, 1991. ,
URL : https://hal.archives-ouvertes.fr/inria-00075115
Synchronous programming with events and relations: the SIGNAL language and its semantics, Sci. Comput. Program, vol.16, issue.2, pp.103-149, 1991. ,
Tag machines, ACM Emsoft, 2005. ,
Structural analysis of multi-mode DAE systems. In Goran Frehse and Sayan Mitra, editors, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, pp.253-263, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01521918
Early timing analysis of scenario-based software requirements, 2017. ,
The foundations of Esterel. Proof, Language and Interaction: Essays in Honour of Robin Milner, pp.425-454, 2000. ,
The Esterel Language Primer, version v5_91, 2000. ,
Modeling of mixed control and dataflow systems in MASCOT. VLSI Systems, IEEE Transactions on, 2001. ,
Centaur: the system, 3rd ACM software engineering symposium on Practical software development environments, pp.14-24, 1988. ,
URL : https://hal.archives-ouvertes.fr/inria-00075774
Simulation of multi-formalism models with modhelx, ICST, pp.318-327, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00289188
Semantic Adaptation Using CCSL Clock Constraints, Workshops and Symposia at MODELS 2011, pp.104-118, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00641413
Zelus: A Synchronous Language with ODEs, 16th International Conference on Hybrid Systems: Computation and Control (HSCC'13), pp.113-118, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909029
A generative approach to define rich domain-specific trace metamodels, Modelling Foundations and Applications, pp.45-61, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01154225
Execution Framework of the GEMOC Studio (Tool Demo), Proceedings of the, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01355391
, ACM SIGPLAN International Conference on Software Language Engineering, 2016.
The ESTEREL language, Proceedings of the IEEE, vol.79, issue.9, pp.1293-1304, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00075075
A manifesto for model merging, Proceedings of the 2006 International Workshop on Global Integrated Model Management, GaMMa '06, pp.5-12, 2006. ,
Readings in hardware/-software co-design. chapter Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, pp.527-543, 2002. ,
Automata construction for PSL, 2005. ,
Introduction to Discrete Event Systems, 2006. ,
Domain-specific languages in few steps -the neverlang approach, Software Composition -11th International Conference, pp.162-177, 2012. ,
Using SystemC Cyber Models in an FMI Co-Simulation Environment, 19th Euromicro Conference on Digital System Design, vol.19, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01358702
Opus: A coordination language for multidisciplinary applications, 1997. ,
Toward a semantic anchoring infrastructure for domain-specific modeling languages, Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT '05, pp.35-43, 2005. ,
Compositional specification of behavioral semantics, Design, Automation Test in Europe Conference Exhibition, 2007. DATE '07, pp.1-6, 2007. ,
Multijava: Modular open classes and symmetric multiple dispatch for java, OOPSLA, pp.130-145, 2000. ,
A Design Pattern to Build Executable DSMLs and associated V&V tools, APSEC. IEEE, 2012. ,
Reifying concurrency for executable metamodeling, the 6th International Conference on Software Language Engineering (SLE 2013), 2013. ,
, Globalizing Modeling Languages. Computer, 2014.
Globalizing modeling languages, Computer, vol.47, issue.6, pp.68-71, 2014. ,
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio, 8th Transformation Tool Contest, 2015. ,
Domain-Specific Development with Visual Studio DSL Tools, 2007. ,
TXL: a rapid prototyping system for programming language dialects, Conf. Int Computer Languages, pp.280-285, 1988. ,
AToM3: A Tool for Multi-formalism and Meta-modelling, Fundamental Approaches to Software Engineering, vol.2306, pp.174-188, 2002. ,
Timesquare: Treat your models with logical time, Objects, Models, Components, Patterns -50th International Conference, vol.7304, pp.34-41, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00688590
ECL: the Event Constraint Language, an Extension of OCL with Events, INRIA, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00721169
On the Formal Execution of UML and DSL Models. WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00587100
RT-simex: retro-analysis of execution traces, SIGSOFT FSE, pp.377-378, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00587116
Logical time @ work: the RT-Simex project, Sophia Antipolis Formal Approach, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00587151
CCSL denotational semantics. Research Report RR-8628, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01082274
Operational Semantics of the Model of Concurrency and Communication Language, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01060601
Towards a Meta-Language for the Concurrency Concern in DSLs, Design, Automation and Test in Europe Conference and Exhibition (DATE), 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01087442
Melange: a meta-language for modular and reusable development of dsls, Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, pp.25-36, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01197038
An MDA approach for the generation of communication adapters integrating SW and FW components from Simulink, ACM/IEEE Models, 2014. ,
, , 2014.
Description et vérification d'architectures d'application temps réel : CLARA et les réseaux de Petri temporels, 1998. ,
Design of embedded systems: formal models, validation, and synthesis, Proc. of the IEEE, vol.85, issue.3, pp.366-390, 1997. ,
Taming heterogeneity -the Ptolemy approach, Proc. of the IEEE, vol.91, pp.127-144, 2003. ,
The JastAdd system -modular extensible compiler construction, Sci. Comput. Program, pp.14-26, 2007. ,
SDL : formal object-oriented language for communicating systems, 1997. ,
Techniques for metamodel composition, The 6th OOPSLA Workshop on Domain-Specific Modeling, OOPSLA 2006, pp.123-139, 2006. ,
, , 2009.
Marte: Also an UML profile for modeling AADL applications, ICECCS -UML&AADL, pp.359-364, 2007. ,
Flow latency analysis with the architecture analysis and design language, 2007. ,
Logical time in distributed computing systems, Computer, vol.24, issue.8, pp.28-33, 2002. ,
A generic approach for automatic model composition, AOM Workshop at Models, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00477568
An implementation of a translational semantics for an imperative language, CONCUR, pp.246-262, 1990. ,
A model-driven design framework for massively parallel embedded systems, ACM Trans. Embedded Comput. Syst, vol.10, issue.4, p.39, 2011. ,
A Model-Based Approach for Reconciliation of Polychronous Execution Traces, SEAA 2011 -37th EUROMICRO Conference on Software Engineering and Advanced Applications, 2011. ,
An introduction to software architecture, 1994. ,
Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL, Eighteenth International Symposium on Temporal Representation and Reasoning, pp.141-148, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00597086
, IEEE
Coordination languages and their significance, Commun. ACM, 1992. ,
Hierarchical finite state machines with multiple concurrency models, IEEE TCAD, 1999. ,
Hierarchical finite state machines with multiple concurrency models, IEEE Transactions on, vol.18, issue.6, pp.742-760, 1999. ,
Logical time at work: Capturing data dependencies and platform constraints, Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, p.241, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00545866
Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing, Multidimensional Systems and Signal Processing, vol.21, issue.2, pp.105-131, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00522751
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE, Design Autom. for Emb. Sys, vol.19, issue.1-2, pp.1-33, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-00727239
Multi-view Power Modeling Based on UML, MARTE and SysML. Software Engineering and Advanced Applications (SEAA), pp.17-20, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00688853
Power Consumption Analysis Using Multi-View Modeling. Power and Timing Modeling, Optimization and Simulation (PATMOS), pp.235-238, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00906733
The science of programming, vol.198, 1981. ,
Multi-Formalism Modelling and Model Execution, International Journal of Computers and their Applications, vol.31, issue.3, pp.193-203, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00421169
The theory of hybrid automata, Verification of Digital and Hybrid Systems, vol.170, pp.265-292 ,
, , 2000.
An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969. ,
Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978. ,
Hotspot: a compact thermal modeling methodology for early-stage vlsi design. Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, vol.14, issue.5, pp.501-513, 2006. ,
, IEEE recommended practice for architectural description of software-intensive systems, IEEE Std, pp.1-23, 1471.
, IEEE. Systems and software engineering -architecture description. ISO/IEC/IEEE 42010:2011(E) (Revision of ISO/IEC 42010:2007 and IEEE Std 1471-2000), pp.1-46, 2011.
Modeling embedded systems and SoC's: concurrency and time in models of computation, 2004. ,
Models of computation and languages for embedded system design. Computers and Digital Techniques, IEE Proceedings, vol.152, issue.2, pp.114-129, 2005. ,
Generating multi-threaded code from polychronous specifications, Electronic Notes in Theoretical Computer Science, vol.238, issue.1, pp.57-69, 2009. ,
The semantics of a simple language for parallel programming. Information Processing, pp.471-475, 1974. ,
Properties of a model for parallel computations: Determinacy, termination, queueing, SIAM Journal on Applied Mathematics, vol.14, issue.6, pp.1390-1411, 1966. ,
On the use of graph transformations for the formal specification of model interpreters, Journal of Universal Computer Science, vol.9, 2003. ,
The spoofax language workbench: rules for declarative specification of languages and IDEs, OOPSLA '10, pp.444-463, 2010. ,
Execution of Heterogeneous Models for Thermal Analysis with a Multi-view Approach, FDL 2014 : Forum on specification and Design Languages, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01060309
A Unifying Framework for Homogeneous Model Composition. Software & Systems Modeling, pp.1-19, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01949050
Problems of the semantic-based weaving of scenarios, Aspects and Software Product Lines: An Early Aspects Workshop at SPLC-Europe 05, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00795065
Reusable aspect models, IN: Proceedings. Of The 11th International Workshop On Aspect Oriented Modeling, 2007. ,
Semantic-based weaving of scenarios, Proceedings of the 5th International Conference on Aspect-Oriented Software Development, pp.27-38, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00921480
Weaving Multiple Aspects in Sequence Diagrams, Transactions on Aspect-Oriented Software Development (TAOSD), vol.4620, pp.167-199, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00505223
A meta-environment for generating programming environments, ACM TOSEM, vol.2, pp.176-201, 1993. ,
Introducing the open trace format (otf), International Conference on Computational Science, pp.526-533, 2006. ,
Semantics of context-free languages, Theory of Computing Systems, vol.2, pp.127-145, 1968. ,
Merging models with the epsilon merging language (EML), ACM/IEEE Models/UML, 2006. ,
MontiCore: Modular Development of Textual Domain Specific Languages, Objects, Components, Models and Patterns, 2008. ,
Monticore: a framework for compositional development of domain specific languages, International Journal on Software Tools for Technology Transfer, vol.12, issue.5, pp.353-372, 2010. ,
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages, 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01185911
, Synchronous Data Flow. Proc. of the IEEE, vol.75, pp.1235-1245, 1987.
A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998. ,
Multidimensional streams rooted in dataflow, Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, pp.295-306, 1993. ,
Static scheduling of synchronous data flow programs for digital signal processing, IEEE Trans. Computers, vol.36, issue.1, pp.24-35, 1987. ,
A framework for comparing models of computation, IEEE TCAD, 1998. ,
Dealing with AADL end-to-end flow latency with UML Marte, ICECCS -UML&AADL, pp.228-233, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00371400
Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements, 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01675396
Specification and analysis of system architecture using rapide, IEEE Trans. Softw. Eng, vol.21, issue.4, pp.336-355, 1995. ,
On the semantics of UML/MARTE clock constraints, ISORC, pp.305-312, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00383279
AADL for Discrete-Event and Discrete-Time Domains, LNEE, chapter, vol.36, pp.27-41, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00416656
Executing AADL models with UML/MARTE, 14th IEEE International Conference on Engineering of Complex Computer Systems, pp.371-376, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00416592
The clock constraint specification language for building timed causality models -application to synchronous data flow graphs, ISSE, vol.6, issue.1-2, pp.99-106, 2010. ,
The Clock Constraint Specification Language for building timed causality models, Innovations in Systems and Software Engineering, vol.6, pp.99-106, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00464894
A multi-paradigm modelling approach to the foundations of domain-specific modelling, 2012. ,
A model checking language for concurrent value-passing systems, FM 2008: Formal Methods, 15th International Symposium on Formal Methods, vol.5014, pp.148-164, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00315312
Towards a mathematical science of computation. Information processing, vol.62, pp.21-28, 1962. ,
A framework for classifying and comparing architecture description languages, Proceedings of the 6th European SOFTWARE ENGINEERING Conference Held Jointly with the 5th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC '97/FSE-5, pp.60-76, 1997. ,
A calculus of communicating systems, 1982. ,
Computer automated multi-paradigm modeling: An introduction, Simulation, vol.80, issue.9, pp.433-450, 2004. ,
Weaving Executability into Object-Oriented Meta-Languages, In MoDELS, pp.264-278, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00795095
, Semantics of a Foundational Subset for Executable UML Models (fUML), V 1.2.1, 2015.
, UML Object Constraint Language (OCL) 2.0. Object Management Group, 2003.
, Meta Object Facility (MOF) 2.0 Core. Object Management Group, 2006.
, Semantics of a Foundational Subset for Executable UML Models (fUML), v1.0. Object Management Group, 2011.
Superstructure, v2.2. Object Management Group, 2009. ,
Profile for MARTE, v1.0. Object Management Group, 2009. ,
Profile for MARTE. Object Management Group, v1, 2010. ,
systems modeling language (sysml), 2010. ,
Unified Modeling Language, 2011. ,
Papadopoulos and Farhad Arbab. Coordination models and languages, 1998. ,
Scheduling multi clock real time systems: From requirements to implementation, 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.50-57, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00586851
,
A timing model for specifying multi clock automotive systems: The timing augmented description language V2, ICECCS 2012, pp.230-239, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00687562
Introduction to general net theory, Advanced Course: Net Theory and Applications, pp.1-19, 1975. ,
Concurrency theory, Petri Nets: Central Models and their properties, vol.254, pp.4-24, 1987. ,
A structural approach to operational semantics, 1981. ,
, PSL. IEEE standard for Property Specification Language (PSL), IEEE std, pp.1850-2005
Model composition -a signature-based approach, Proceedings of the AOM Workshop at MODELS'05, 2005. ,
Comparison of jpeg and jpeg 2000 in low-power confidential image transmission, SPC, 2004. ,
System Modeling and Transformational Design Refinement in ForSyDe, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.23, issue.1, pp.17-32, 2004. ,
, Scilab. Scilab Consortium. Scilab, 2013.
Toward a mathematical semantics for computer languages, 1971. ,
Abstractions for software architecture and tools to support them. Software Engineering, IEEE Transactions on, vol.21, issue.4, pp.314-335, 1995. ,
Cheddar: a flexible real time scheduling framework, SIGAda, vol.1, pp.58113-906, 2004. ,
, Eclipse Modeling Framework, 2008.
Model-Integrated Computing, IEEE Computer, vol.30, issue.4, 1997. ,
, OMAP35x Applications Processor Technical Reference Manual, 2010.
, Object Management Group, The ProMARTE Consortium. UML Profile for MARTE, vol.3, 2009.
MetaEdit+: defining and using domain-specific modeling languages and code generators, Companion of the 18th annual ACM SIGPLAN conference OOPSLA, pp.92-93, 2003. ,
BCOol : the Behavioral Coordination Operator Language. Theses, 2016. ,
URL : https://hal.archives-ouvertes.fr/tel-01302875
Railroad Crossing Heterogeneous Model, GEMOC workshop, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00867316
A Behavioral Coordination Operator Language (BCOoL), International Conference on Model Driven Engineering Languages and Systems (MODELS), number 18, p.462, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01182773
A Model-Driven Based Environment for Automatic Model Coordination, CEUR, editor, Models 2015 demo and posters, Models 2015 demo and posters, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01198744
Thermal and power management of integrated circuits, chapter Thermal and Electrothermal Modeling, 2006. ,
Language Modularization and Composition with Projectional Language Workbenches illustrated with MPS, SLE, 2010. ,
From Programming to Modeling-and Back Again. Software, vol.28, 2011. ,
Event structures, Petri Nets: Applications and Relationships to Other Models of Concurrency, 1987. ,
URL : https://hal.archives-ouvertes.fr/hal-00148921
The formal semantics of programming languages: an introduction, 1993. ,
Forwarding in attribute grammars for modular language design, CC'02, pp.128-142, 2002. ,
Polychronous analysis of timing constraints in UML MARTE, IEEE Int. W. on Model-Based Engineering for Real-Time Embedded Systems Design, pp.145-151, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00497249