67 results  save search

hal-01374899v2  Conference papers
Andrew SogokonKhalil GhorbalTaylor Johnson. Decoupling Abstractions of Non-linear Ordinary Differential Equations
FM 2016 - 21st International Symposium of Formal Methods, Nov 2016, Limassol, Cyprus. pp.628-644, ⟨10.1007/978-3-319-48989-6_38⟩
hal-01401706v1  Conference papers
Aymen GammoudiAdel BenzinaMohamed KhalguiDaniel ChilletAicha Goubaa. Reconf-Pack: A Simulator for Reconfigurable Battery-Powered Real-Time Systems
30th European Simulation and Modelling Conference, Oct 2016, Las Palmas, Spain
tel-01256702v1  Theses
Tanguy Ropitault. Routage et performances dans les réseaux CPL pour le Smart Grid
Modeling and Simulation. Télécom Bretagne; Université de Rennes 1, 2015. English
hal-00869538v1  Conference papers
Iyas AlloushYvon KermarrecSiegfried Rouvrais. An Automated Tool Selection Method based on Model Transformation: OPNET and NS-3 Case Study
SPECTS 2013 : the 16th International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Jul 2013, Toronto, Canada. pp.10 - 17
hal-00739604v1  Conference papers
Iyas AlloushVanea ChiprianovYvon KermarrecSiegfried Rouvrais. Linking Telecom Service High-level Abstract Models to Simulators based on Model Transformations: The IMS Case Study
18th European Conference on Information and Communications Technologies (EUNICE), Aug 2012, Budapest, Hungary. pp.100-111, ⟨10.1007/978-3-642-32808-4_10⟩
hal-01224846v1  Conference papers
Matthieu DorierMatthieu DreherTom PeterkaGabriel AntoniuBruno Raffin et al.  Lessons Learned from Building In Situ Coupling Frameworks
ISAV 2015 - First Workshop on In Situ Infrastructures for Enabling Extreme-Scale Analysis and Visualization (held in conjunction with SC15), Nov 2015, Austin, United States. ⟨10.1145/2828612.2828622⟩
inria-00135239v1  Conference papers
Yann BusnelMarin BertierÉric FleuryAnne-Marie Kermarrec. GCP: Gossip-based Code Propagation for Large-scale Mobile Wireless Sensor Network
EuroSys 2007, Second conference of the European Chapter of ACM SIGOPS, European Chapter of ACM SIGOPS, Mar 2007, Lisboa/Portugal
inria-00475603v1  Conference papers
Xavier LarrodéBenoît ChanclouLaurent AguerrecheBruno Arnaldi. OpenMASK: an Open-Source platform for Virtual Reality
IEEE VR workshop on Software Engineering and Architectures for Realtime Interactive Systems (SEARIS), Mar 2008, Reno, United States
hal-01098747v1  Journal articles
Laura BozzelliAxel LegaySophie Pinchinat. On timed alternating simulation for concurrent timed games
Acta Informatica, Springer Verlag, 2012, Acta Informatica, 49 (4), pp.31. ⟨10.1007/s00236-012-0158-y⟩
hal-01415484v2  Journal articles
Augustin DegommeArnaud LegrandGeorges MarkomanolisMartin QuinsonMark Stillwell et al.  Simulating MPI applications: the SMPI approach
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2017, 28 (8), pp.14. ⟨10.1109/TPDS.2017.2669305⟩
hal-02402957v1  Journal articles
Daian YueVania JoloboffFrédéric Mallet. TRAP: trace runtime analysis of properties
Frontiers of Computer Science, Springer Verlag, 2020, 14 (3), pp.1-15. ⟨10.1007/s11704-018-7217-7⟩
hal-01960915v1  Book sections
Thomas Given-WilsonNisrine JafriAxel Legay. The State of Fault Injection Vulnerability Detection
Verification and Evaluation of Computer and Communication Systems, pp.3-21, 2018, 978-3-030-00358-6. ⟨10.1007/978-3-030-00359-3_1⟩
hal-02149584v1  Book sections
Fahad Rafique GolraJoël ChampeauCiprian Teodorov. Early Validation Framework for Critical and Complex Process-Centric Systems
Enterprise, Business-Process and Information Systems Modeling - 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Proceedings, Springer, pp.35-50, 2019, 2019-05-10, 978-3-030-20617-8. ⟨10.1007/978-3-030-20618-5_3⟩
inria-00567546v1  Reports
Adlen KsentiniYassine Hadjadj-Aoul. DVB-T2 Simulation Model for OPNET
[Research Report] PI 1967, 2011, pp.17
hal-01308339v1  Conference papers
William David Diego MazaIsabelle HamchaouiXavier Lagrange. Cross-layer Design and Performance Evaluation for IP-Centric QoS Model in LTE-EPC Networks
WMNC 2015 : 8th IFIP Wireless and Mobile Networking Conference, Oct 2015, Munich, Germany. pp.88 - 95, ⟨10.1109/WMNC.2015.43⟩
hal-01308340v1  Conference papers
William David Diego MazaIsabelle HamchaouiXavier Lagrange. Cost Factor Analysis of QoS in LTE/EPC Mobile Networks
CCNC 2016 : 13th IEEE Annual Consumer Communications & Networking Conference, Jan 2016, Las Vegas, United States. pp.614 - 619, ⟨10.1109/CCNC.2016.7444849⟩
hal-01164806v1  Conference papers
Bogdan UscumlicYvan PointurierAnnie GraveyPhilippe GraveyMichel Morvan. Optical Receivers with Multiple Front-Ends for Low Latency Optical Slot Switching Rings
OMDM 2015 - 19th Optical Networks Design and Modelling conference, May 2015, Pisa, Italy. pp.110 - 115, ⟨10.1109/ONDM.2015.7127283⟩
tel-01310944v1  Theses
Samantha Gamboa. Delay Tolerant Users: A solution to end-to-end network energy efficiency
Networking and Internet Architecture [cs.NI]. Télécom Bretagne; Université de Rennes 1, 2015. English
hal-01243146v1  Conference papers
Edouard OutinJean-Emile DartoisOlivier BaraisJean-Louis Pazat. Enhancing Cloud Energy Models for Optimizing Datacenters Efficiency
IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Sep 2015, Cambridge, MA, United States. pp.8, ⟨10.1109/ICCAC.2015.10⟩
tel-00441143v1  Habilitation à diriger des recherches
Franck Multon. Analyse, Modélisation et Simulation du Mouvement Humain
Interface homme-machine [cs.HC]. Université Rennes 1, 2006