Filtrer vos résultats
- 50
- 9
- 44
- 12
- 2
- 1
- 2
- 57
- 1
- 1
- 1
- 5
- 1
- 3
- 3
- 3
- 5
- 2
- 6
- 7
- 7
- 1
- 4
- 2
- 5
- 3
- 1
- 1
- 57
- 2
- 56
- 9
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 59
- 51
- 11
- 9
- 6
- 6
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
59 résultats
|
|
triés par
|
|
A Refinement-based compiler development for synchronous languages15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017), Sep 2017, Vienna, Austria. pp.165-174, ⟨10.1145/3127041.3127056⟩
Communication dans un congrès
hal-03624681v1
|
||
|
Automatic Refinement for Event-B through Annotated Patterns25th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2017), Mar 2017, Saint Petersburg, Russia. pp.287-290, ⟨10.1109/PDP.2017.72⟩
Communication dans un congrès
hal-01887899v1
|
||
Synoptic: a domain-specific modeling language for space on-board application softwareSynthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, pp.79 - 119, 2010, Engineering, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_3⟩
Chapitre d'ouvrage
istex
hal-02061818v1
|
|||
|
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
|
||
|
Towards a formal semantics for AADL execution model4th European Congress on Embedded Real Time Software and Systems (ERTS 2008), 3AF : Association Aéronautique et Astronautique de France; SEE : Société de l'électricité, de l'électronique et des technologies de l'information et de la communication, Jan 2008, Toulouse, France
Communication dans un congrès
hal-02269846v1
|
||
|
Event-B formalization of a variability-aware component model patterns frameworkScience of Computer Programming, 2020, 199, ⟨10.1016/j.scico.2020.102511⟩
Article dans une revue
hal-03097697v1
|
||
|
L3 (sponge) phase in the very dilute regime : spontaneous tearing of the membrane ?Journal de Physique II, 1994, 4 (2), pp.349-365. ⟨10.1051/jp2:1994133⟩
Article dans une revue
jpa-00247966v1
|
||
|
SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software5th European Congress on Embedded Real Time Software and Systems (ERTS2 2010), AAAF : Association Aéronautique et Astronautique de France; SEE : French Electrical, Electronics, and Information & Communication Technologies Society; SIA: Société des Ingénieurs de l'Automobile, May 2010, Toulouse, France
Communication dans un congrès
hal-02267838v1
|
||
|
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol23rd International Symposium on Formal Methods (FM 2019), FME: Formal Methods Europe, Oct 2019, Porto, Portugal. pp.45-63, ⟨10.1007/978-3-030-30942-8_5⟩
Communication dans un congrès
hal-02332531v1
|
||
|
Towards the verification of model transformations3rd Conference on Embedded Real Time Software and Systems (ERTS 2006), Jan 2006, Toulouse, France
Communication dans un congrès
hal-02270435v1
|
||
|
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNALFrontiers of Computer Science, 2019, 13 (4), pp.715-734. ⟨10.1007/s11704-017-6485-y⟩
Article dans une revue
hal-02419464v1
|
||
|
Un processus de développement Event-B pour des applications distribuées15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, Jun 2016, Besançon, France. pp.94-100
Communication dans un congrès
hal-01500510v1
|
||
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based ProtocolsThird International Workshop Formal Techniques for Safety-Critical Systems (FTSCS 2014), Nov 2014, Luxembourg, Luxembourg. pp.1--17, ⟨10.1007/978-3-319-17581-2_6⟩
Communication dans un congrès
hal-03263726v1
|
|||
|
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
|
||
The AADL behaviour annex -- experiments and roadmapInternational Conference on Engineering Complex Computer Systems, 2007, Auckland, New Zealand. pp.377-382, ⟨10.1109/ICECCS.2007.41⟩
Communication dans un congrès
hal-00784976v1
|
|||
|
Modes in Asynchronous Systems13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Mar 2008, Belfast, Ireland. pp.282 - 287, ⟨10.1109/ICECCS.2008.28⟩
Communication dans un congrès
hal-00784986v1
|
||
|
A Mechanized Semantic Framework for Real-Time Systems11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Aug 2013, Buenos Aires, Argentina. pp.106-120, ⟨10.1007/978-3-642-40229-6_8⟩
Communication dans un congrès
hal-01231769v1
|
||
|
Event algebra for transition systems composition Application to timed automataActa Informatica, 2018, 55, pp.363-400. ⟨10.1007/s00236-017-0302-9⟩
Article dans une revue
hal-02538359v1
|
||
|
C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical softwareJournal of Systems Architecture, 2021, 118, pp.102202. ⟨10.1016/j.sysarc.2021.102202⟩
Article dans une revue
hal-03411219v1
|
||
A mapping from AADL to Java-RTSJ5th international workshop on Java technologies for real-time and embedded systems, 2007, Vienne, Austria. pp.165-174, ⟨10.1145/1288940.1288965⟩
Communication dans un congrès
hal-00784968v1
|
|||
|
Towards a verified transformation from AADL to the formal component-based language FIACREScience of Computer Programming, 2015, vol. 106, pp. 30-53. ⟨10.1016/j.scico.2015.03.003⟩
Article dans une revue
hal-01278902v1
|
||
|
Towards a verified compiler prototype for the synchronous language SIGNALFrontiers of Computer Science, 2016, 10 (1), pp.37-53. ⟨10.1007/s11704-015-4364-y⟩
Article dans une revue
hal-01298793v1
|
||
|
Formal Architecture Specification for Time AnalysisInternational Conference on Architecture of Computing Systems (ARCS 2014), Feb 2014, Lubeck, Germany. pp.98-110, ⟨10.1007/978-3-319-04891-8_9⟩
Communication dans un congrès
hal-01141443v1
|
||
An Event-B development process for the distributed BIP framework (Journées FAC Toulouse 2016)Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, Toulouse, France
Communication dans un congrès
hal-03176420v1
|
|||
|
An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL ModelsIEEE Transactions on Reliability, 2019, 1 (1), pp.1-20. ⟨10.1109/TR.2019.2936072⟩
Article dans une revue
hal-02382714v1
|
||
|
Vérification automatique de propriétés d'ordonnanceurs BossaAFADL 2006 - Conférence Francophone sur les Approches formelles pour le développement de logiciels, Groupe sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2006, Paris, France. pp.95-109
Communication dans un congrès
hal-00457181v1
|
||
|
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
|
- 1
- 2