Filtrer vos résultats
- 25
- 8
- 20
- 8
- 4
- 1
- 4
- 28
- 3
- 1
- 1
- 1
- 2
- 1
- 4
- 5
- 4
- 2
- 4
- 3
- 1
- 2
- 2
- 1
- 27
- 6
- 23
- 12
- 4
- 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
- 33
- 17
- 9
- 9
- 9
- 3
- 3
- 3
- 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
- 1
33 résultats
|
|
triés par
|
|
Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle FiacreIDM 2010 : journées sur l'Ingénierie Dirigée par les Modèles, Mar 2010, Pau, France
Communication dans un congrès
hal-00492327v1
|
||
|
Présentation des résultats du projet OpenEmbeDDNeptune, May 2009, Paris, France
Communication dans un congrès
inria-00381639v1
|
||
|
Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. pp.80-89
Communication dans un congrès
hal-00160807v1
|
||
|
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications12th International Conference, FORMATS 2014, Sep 2014, Florence, Italy. pp 85-99, ⟨10.1007/978-3-319-10512-3_7⟩
Communication dans un congrès
hal-00984354v1
|
||
|
Composer les réseaux de Petri temporelsJournal Européen des Systèmes Automatisés (JESA), 2009, 43 (7-9), pp.1001-1015
Article dans une revue
hal-00438377v1
|
||
|
Real-Time Model Checking Support for AADL[Research Report] LAAS-CNRS. 2015
Rapport
hal-01121605v1
|
||
|
Formal Verification of AADL models with Fiacre and TinaERTSS 2010 - Embedded Real-Time Software and Systems, 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies; SIA: the French Society of Automobive Engineers, May 2010, Toulouse, France. pp.1-9, ⟨10.5281/zenodo.32930⟩
Communication dans un congrès
hal-00494348v1
|
||
|
Verification Based Development Process for Embedded SystemsEuropean conference on Embedded Real Time Software & Systems (ERTS2 2010), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies; SIA: the French Society of Automobive Engineers, May 2010, Toulouse, France. pp.1-10
Communication dans un congrès
hal-02267842v1
|
||
Architectures for Enterprise Integration and Interoperability: Past, Present and FutureComputers in Industry, 2008, 59 (7), pp.647-659
Article dans une revue
hal-00357637v1
|
|||
Pilotage de l'entreprise distribuée : diagnostic du système de compétences et de connaissances5ème Congrès International de Génie Industriel (CIGI 2003), Oct 2003, Québec, Canada
Communication dans un congrès
emse-00854843v1
|
|||
|
Vérification de propriétés invariantes par surapproximationFormalisation des activités concurrentes (2005), Mar 2005, Toulouse, France
Communication dans un congrès
hal-00422404v1
|
||
|
Fiacre: an Intermediate Language for Model Verification in the Topcased Environment4th European Congress ERTS Embedded Real Time Software (ERTS 2008), SEE : Société de l'électricité, de l'électronique et des technologies de l'information et de la communication; 3AF : Association Aéronautique et Astronautique de France, Jan 2008, Toulouse, France. pp.1-8
Communication dans un congrès
inria-00262442v1
|
||
|
FRAMEWORK OF PERFORMANCE MEASUREMENT AND MANAGEMENT FOR INDUSTRY 4.0 ERA13ème CONFERENCE INTERNATIONALE DE MODELISATION, OPTIMISATION ET SIMULATION (MOSIM2020), 12-14 Nov 2020, AGADIR, Maroc, Nov 2020, AGADIR( virtual), Morocco
Communication dans un congrès
hal-03192893v1
|
||
Enumerative Parallel and Distributed State Space ConstructionETR09 - École d'été Temps Réel, Aug 2009, Paris, France
Communication dans un congrès
hal-00494622v1
|
|||
|
The COTRE Project: How to model and verify Real Time Architecture?2nd Embedded Real Time Software Congress (ERT 2004), SIA; SEE; AAAF, Jan 2004, Toulouse, France
Communication dans un congrès
hal-02271255v1
|
||
|
Formal Verification of AADL Specifications in the Topcased EnvironmentReliable Software Technologies - Ada Europe 2009, Jun 2009, Brest, France. 15p., ⟨10.1007/978-3-642-01924-1_15⟩
Communication dans un congrès
hal-01790208v1
|
||
|
Observation Graph implementation for TINA toolbox12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Communication dans un congrès
hal-00380671v1
|
||
|
The M*-object methodology for information system design in CIM environments : the organisation analysis phase[Research Report] RR-1918, INRIA. 1993, pp.17
Rapport
inria-00074756v1
|
||
|
Symmetry reduced state classes for Time Petri nets30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1751-1758, ⟨10.1145/2695664.2695803⟩
Communication dans un congrès
hal-01275316v1
|
||
|
Behavioural descriptions in architecture description languages Application to AADL3rd European Congress on Embedded Real Time Software (ERTS 2006), Jan 2006, Toulouse, France
Communication dans un congrès
hal-02270356v1
|
||
Structuration des lignes de transfert à l'étape de leur conception préliminaire5th International Industrial Engineering Conference "Industrial Engineering and the New Global Challenges", Oct 2003, Quebec, Canada. 10 p
Communication dans un congrès
emse-00710309v1
|
|||
Modelling and Analysis of individual competencies to improve industrial performancesIEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 2006, 36 (1), pp.187-207
Article dans une revue
hal-00486640v1
|
|||
Knowledge capitalisation based on textual and graphical semi-structured and non-structured information. Case study in an industrial research centre at EADSComputers in Industry, 2005, 56 (1), pp.55-69
Article dans une revue
hal-00359851v1
|
|||
|
The M*-object methodology for information system design in CIM environments : the conceptual design phase[Research Report] RR-1919, INRIA. 1993, pp.31
Rapport
inria-00074755v1
|
||
|
A Property-Driven Approach to Formal Verification of Process ModelsEnterprise Information Systems, 2008, 12, pp.286-300. ⟨10.1007/978-3-540-88710-2⟩
Article dans une revue
hal-00369884v1
|
||
|
Ladder Metamodeling & PLC Program Validation through Time Petri NetsModel Driven Architecture - Foundations and Applications (ECMDA 2008), Jun 2008, Berlin, Germany. pp.121-136, ⟨10.1007/978-3-540-69100-6_9⟩
Communication dans un congrès
hal-00369887v1
|
||
|
Vérification des applications temps réelJacky Akoka, Isabelle Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2005
Chapitre d'ouvrage
inria-00000560v1
|
||
Enterprise Model For Integrating Process Control Into CAM SystemINCOM 2006, May 2006, Saint-Etienne, France. pp.ISBN 978-0-08-044654-7
Communication dans un congrès
hal-00360919v1
|
|||
|
The Intra-cell layout problem in automated manufacturing systems[Research Report] RR-1603, INRIA. 1992, pp.20
Rapport
inria-00074957v1
|
||
|
Supporting the Design of Safety Critical Systems Using AADL15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), IEEE, Mar 2010, Oxford, United Kingdom. pp.331-336, ⟨10.1109/ICECCS.2010.56⟩
Communication dans un congrès
hal-03900243v1
|
- 1
- 2