Filtrer vos résultats
- 25
- 6
- 1
- 13
- 8
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 32
- 1
- 2
- 3
- 2
- 3
- 2
- 7
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 32
- 18
- 18
- 11
- 5
- 4
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 32
- 7
- 4
- 4
- 3
- 3
- 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
32 résultats
|
|
triés par
|
|
On optimal hybrid ARQ control schemes for HSDPA with 16QAMInternational Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2005), Aug 2005, Montreal, Canada. pp.121- 127, ⟨10.1109/WIMOB.2005.1512826⟩
Communication dans un congrès
hal-00283000v1
|
||
|
TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigmInnovations in Systems and Software Engineering, 2018, 14 (2), pp.117 - 142. ⟨10.1007/s11334-018-0312-y⟩
Article dans une revue
hal-01823749v1
|
||
|
Expressiveness of component-based frameworks: A study of the expressiveness of BIPActa Informatica, 2020, 57, pp.761--800. ⟨10.1007/s00236-019-00337-7⟩
Article dans une revue
hal-02149934v2
|
||
|
Coordination Models and LanguagesSimon Bliudze; Laura Bocchi. 12134, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-50029-0⟩
Ouvrages
hal-03168525v1
|
||
|
VECoS: International Conference on Verification and Evaluation of Computer and Communication SystemsMohamed Faouzi Atig; Saddek Bensalem; Simon Bliudze; Bruno Monsuez. 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings, Sep 2018, Grenoble, France. 11181, Springer, Cham, 2018, Lecture Notes in Computer Science, 978-3-030-00359-3. ⟨10.1007/978-3-030-00359-3⟩
Proceedings/Recueil des communications
hal-03322041v1
|
||
|
Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.197-216, ⟨10.1007/978-3-319-59746-1_11⟩
Communication dans un congrès
hal-01657340v1
|
||
|
Using SMT engine to generate Symbolic Automata -Extended version[Research Report] RR-9177, Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France; inria. 2018
Rapport
hal-01823507v1
|
||
|
Run-time Coordination of Reconfiguration Requests in Cloud Computing SystemsRR-9504, Inria. 2023
Rapport
hal-04085278v2
|
||
|
Towards Correct Transformation: From High-Level Models to Time-Triggered ImplementationsRTAS, Apr 2016, Vienna, Austria. pp.13
Communication dans un congrès
hal-01306466v1
|
||
Special Issue: 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018)Mohamed Faouzi Atig; Simon Bliudze. Innovations in Systems and Software Engineering, 16 (2), 2020, Innovations in Systems and Software Engineering
N°spécial de revue/special issue
hal-03197446v1
|
|||
|
SAT-Based Extraction of Behavioural Models for Java Libraries with Collections2022
Pré-publication, Document de travail
hal-03720403v1
|
||
|
Towards a Functional Formalism for Modelling Complex Industrial Systems2006
Pré-publication, Document de travail
hal-00018555v1
|
||
|
A Theory Agenda for Component-Based DesignSoftware, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, 2015
Chapitre d'ouvrage
hal-01864823v1
|
||
|
Towards Time-triggered Component-based System ModelsICSEA15, The Tenth International Conference on Software Engineering Advances, Nov 2015, Barcelone, Spain. pp.157-169
Communication dans un congrès
hal-01242605v1
|
||
Selected Papers of the 22nd International Conference on Coordination Models and Languages (COORDINATION 2020)2022
Ouvrages
hal-03720404v1
|
|||
|
On methods and tools for rigorous system designInternational Journal on Software Tools for Technology Transfer, 2021, 23 (5), pp.679-684. ⟨10.1007/s10009-021-00632-0⟩
Article dans une revue
hal-03720402v1
|
||
|
Externalisation of Time-Triggered communication system in BIP high level models8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014), Oct 2014, Versailles, France. pp.47-50
Communication dans un congrès
hal-01242608v1
|
||
|
Using SMT engine to generate Symbolic Automata18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), Jul 2018, Oxford, United Kingdom. Electronic Communications of the EASST Open Access Journal, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-01962971v1
|
||
|
Ordering Events Based on Intentionality in Cyber-Physical SystemsICCPS 2018 - 9th ACM/IEEE International Conference on Cyber-Physical Systems, Apr 2018, Porto, Portugal. ⟨10.1109/ICCPS.2018.00019⟩
Communication dans un congrès
hal-01889067v1
|
||
|
Towards a Functional Formalism for Modelling Complex Industrial SystemsEuropean Conference on Complex Systems, Nov 2005, Paris, France. pp.163-176, ⟨10.1159/000093688⟩
Communication dans un congrès
hal-00282877v1
|
||
|
A combinatorial approach to evaluation of reliability of the receiver output for BPSK modulation with spatial diversityThe Electronic Journal of Combinatorics, 2006, 13, (1), article #R2, 31 p
Article dans une revue
hal-00017311v1
|
||
|
Rigorous Design of Cyber-Physical SystemsSoftware and Systems Modeling, 2019, Software and System Modeling, 18 (3), pp.1613--1636. ⟨10.1007/s10270-017-0642-5⟩
Article dans une revue
hal-01636392v1
|
||
|
The Algebra of Connectors — Structuring Interaction in BIPInternational Conference On Embedded Software (EMSOFT), Oct 2007, Salzbourg, Austria. pp.11-20, ⟨10.1145/1289927.1289935⟩
Communication dans un congrès
hal-00282866v1
|
||
|
From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling SCADE with OASISEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Communication dans un congrès
hal-02191848v1
|
||
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021)Simon Bliudze; Laura Semini. 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE), May 2021, Madrid, IEEE, 2021, ⟨10.1109/FormaliSE52586.2021⟩
Proceedings/Recueil des communications
hal-03321958v1
|
|||
|
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in JavaFASE 2023 - 26th International Conference on Fundamental Approaches to Software Engineering, Apr 2023, Paris, France. pp.143-150, ⟨10.1007/978-3-031-30826-0_8⟩
Communication dans un congrès
hal-03911393v1
|
||
|
Safe Dynamic Reconfiguration of Concurrent Component-based ApplicationsICSA 2022 - 19th IEEE International Conference on Software Architecture, Mar 2022, Honolulu, United States
Poster de conférence
hal-03585767v1
|
||
|
Architecture internalisation in BIP17th International ACM SIGSOFT Symposium on Component-Based Software Engineering, Jun 2014, Lille, France. pp.169-178, ⟨10.1145/2602458.2602477⟩
Communication dans un congrès
hal-01213681v1
|
||
|
Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control SystemsIEEE Transactions on Industrial Informatics, 2018, 14 (7), pp.3065 - 3075. ⟨10.1109/TII.2017.2772219⟩
Article dans une revue
hal-01846124v1
|
||
|
Verification of concurrent design patterns with dataCOORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Communication dans un congrès
hal-02143782v1
|
- 1
- 2