Search - IMT - Institut Mines-Télécom Access content directly

Filter your results

51 Results
Structure: Internal structure identifier : 1662

Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings

Rena Bakshi , Paolo Ballarini , Benoit Barbot , Hind Castel-Taleb , Anne Remke
Springer, pp.265, 2018, Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), 978-3-030-02226-6. ⟨10.1007/978-3-030-02227-3⟩
Books hal-02014749v1

Bounding techniques for transient analysis of G-networks with catastrophes

Hind Castel-Taleb , Idriss Ismael Aouled , Nihal Pekergin
VALUETOOLS 2011 : 5th International ICST Conference on Performance Evaluation Methodologies and Tools, May 2011, Paris France. pp.197 - 206
Conference papers hal-01301868v1

Weak stochastic comparisons for performability verification

Hind Castel-Taleb , Nihal Pekergin
ASMTA 2009 : 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications , Jun 2009, Madrid, Spain. pp.294 - 308, ⟨10.1007/978-3-642-02205-0_21⟩
Conference papers istex hal-01369734v1

Implémentation JAVA d'une spécification B: Application aux bases de données

Amel Mammar , Régine Laleau
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2008, 27 (5), pp.537--570
Journal articles hal-01224657v1

Combined CAC and forced handoff for mobile network performability

Idriss Ismael Aouled , Hind Castel-Taleb
ASMTA '12 : 19th International Conference on Analytic and Stochastic Modelling Techniques and Applications, Jun 2012, Grenoble, France. pp.76-90, ⟨10.1007/978-3-642-30782-9_6⟩
Conference papers hal-00807469v1

Bulk Synchronous Parallel ML with Exceptions

Louis Gesbert , Frédéric Gava , Frédéric Loulergue , Frédéric Dabrowski
Distributed and Parallel Systems (DAPSYS 2006), Sep 2006, Innsbruck, Austria. pp.33-42, ⟨10.1007/978-0-387-69858-8_4⟩
Conference papers inria-00452559v1

Validating the RBAC ANSI 2012 standard using B

Nghi Huynh , Marc Frappier , Amel Mammar , Régine Laleau , Jules Desharnais
ABZ 2014 : 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2014, Toulouse, France. pp.255 - 270, ⟨10.1007/978-3-662-43652-3_22⟩
Conference papers hal-01264810v1

A bounding histogram approach for network performance analysis

Farah Ait Salaht , Hind Castel-Taleb , Jean-Michel Fourneau , Nihal Pekergin
HPCC 2013 : 15th IEEE International Conference on High Performance Computing and Communications, Nov 2013, Zhangjiajie, China. pp.458 - 465, ⟨10.1109/HPCC.and.EUC.2013.72⟩
Conference papers hal-01269777v1

Smoothing the input process in a batch queue

Farah Ait Salaht , Hind Castel-Taleb , Thierry Mautor , Jean-Michel Fourneau , Nihal Pekergin
ISCIS 2015 : 30th International Symposium on Computer and Information Sciences , Sep 2015, London, United Kingdom. pp.223 - 232, ⟨10.1007/978-3-319-22635-4_20⟩
Conference papers hal-01255053v1
Image document

Modelling molecular networks: relationships between different formalisms and levels of details

Sylvain Soliman , Claudine Chaouiya , Grégory Batt , Francois Fages , Élisabeth Remy , et al.
[Research Report] RR-7221, INRIA. 2010
Reports inria-00461084v1

Bounding aggregations for transient and stationary performance analysis of subnetworks

Hind Castel-Taleb , Idriss Ismael Aouled , Nihal Pekergin
The Computer Journal, 2012, 55 (5), pp.564-576. ⟨10.1093/comjnl/bxr036⟩
Journal articles hal-00752799v1

UB2SQL : a tool for building database applications using UML and B formal method

Amel Mammar , Régine Laleau
Database technologies : concepts, methodologies, tools, and applications, IGI Global, pp.1168-1188, 2009, ⟨10.4018/978-1-60566-058-5.ch067⟩
Book sections hal-00597321v1

A Data-Scheduling Mechanism for Multi-Homed Mobile Terminals with Disparate Link Latencies

Farhan Hyder Mirani , Tran Minh Anh , Nadia Boukhatem
72nd IEEE Vehicular Technology Conference Fall (VTC 2010-Fall), Sep 2010, Ottawa, Canada. pp.1-5
Conference papers hal-00626814v1

Adopting a situational requirements engineering approach for the analysis of civil aviation security standards

Régine Laleau , Sylvie Vignes , Yves Ledru , Michel Lemoine , Didier Bert , et al.
Software Process: Improvement and Practice, 2006, 11 (5), pp.487-503
Journal articles hal-00147053v1

Formal development of a secure access control filter

Amel Mammar , Thi Mai Nguyen , Régine Laleau
HASE 2016 : 17th International Symposium on High-Assurance Systems Engineering, Jan 2016, Orlando, Florida, United States. pp.173 - 180, ⟨10.1109/HASE.2016.10⟩
Conference papers hal-01298113v1

Stochastic bounds and histograms for active queues management and networks analysis

Farah Ait Salaht , Hind Castel-Taleb , Jean-Michel Fourneau , Nihal Pekergin
ASMTA 2016 : 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, Aug 2016, Cardiff United Kingdom. pp.1 - 16, ⟨10.1007/978-3-319-43904-4_1⟩
Conference papers hal-01449260v1

Stochastic comparisons for performability of telecommunication systems

Hind Castel-Taleb , Idriss Ismael-Aouled , Nihal Pekergin
ASMTA2010, Jun 2010, Cardiff, United Kingdom. www.springerlink.com, ⟨10.1007/978-3-642-13568-2_14⟩
Conference papers istex hal-00545739v1

Intelligent data-striping: a predictive scheduling mechanism

Farhan Hyder Mirani , Tran Minh Anh , Nadia Boukhatem
6th International Wireless Communications and Mobile Computing Conference, Jun 2010, Caen, France. pp.949-953
Conference papers hal-00626812v1

Modeling networks and active queues management with stochastic bounds and histograms

Farah Ait Salaht , Hind Castel-Taleb , Jean-Michel Fourneau , Nihal Pekergin
VECoS 2013 : 7th International Workshop on Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy
Conference papers hal-01335668v1

Modeling a landing gear system in Event-B

Amel Mammar , Régine Laleau
International Journal on Software Tools for Technology Transfer, 2017, 19 (2), pp.167 - 186. ⟨10.1007/s10009-015-0391-0⟩
Journal articles hal-01254980v1

Accuracy of strong and weak comparisons for network of queues

Hind Castel-Taleb , Nihal Pekergin
15th International GI/ITG Conference, MMB&DFT 2010, Mar 2010, Essen, Germany. www.springerlink.com, ⟨10.1007/978-3-642-12104-3_17⟩
Conference papers istex hal-00545740v1

An algorithm approach to bounding aggregations of multidimensional Markov chains

Hind Castel-Taleb , Lynda Mokdad , Nihal Pekergin
Theoretical Computer Science, 2012, 452, pp.12-20. ⟨10.1016/j.tcs.2012.05.030⟩
Journal articles hal-00807451v1

Stochastic comparisons applied to G-Networks with catastrophes

Hind Castel-Taleb , Jean-Michel Fourneau , Nihal Pekergin
ISCIS2010, Sep 2010, London, United Kingdom. www.springerlink.com
Conference papers hal-00545738v1

Strong and weak orderings for an accurate resource dimensioning

Hind Castel-Taleb , Nihal Pekergin
VECoS 2011 : 5th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2011, Tunis, Tunisia. pp.1 - 12
Conference papers hal-01303049v1

UB2SQL : a tool for building database applications using UML and B formal method

Amel Mammar , Régine Laleau
Advanced principles for improving database design, systems modeling, and software development, Information Science Publishing, pp.111 - 131, 2008, Advances in Database Research, 978-1-60566-172-8. ⟨10.4018/978-1-60566-172-8.ch007⟩
Book sections hal-01326381v1

Verification of SGAC Access Control Policies Using Alloy and ProB

Nghi Huynh , Marc Frappier , Amel Mammar , Régine Laleau
18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Jan 2017, Singapore, Singapore. pp.120 - 123, ⟨10.1109/HASE.2017.24⟩
Conference papers hal-01574899v1
Image document

Gardening Cyber-Physical Systems

Susan Stepney , Ada Diaconescu , René Doursat , Jean-Louis Giavitto , Taras Kowaliw , et al.
Unconventionnal Computation and Natural Computation (UCNC'2012), Sep 2012, Orléans, France. pp.1-1
Conference papers hal-01161014v1

Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus

Catalin Dima , Bastien Maubert , Sophie Pinchinat
Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, 2015, Unknown, Unknown Region. pp.179--191, ⟨10.1007/978-3-662-48057-1_14⟩
Conference papers hal-01699931v1

Back propagating B system updates on SysML/KAOS domain models

Steve Tueno , Marc Frappier , Régine Laleau , Amel Mammar
ICECCS 2018: 23rd International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia. pp.160 - 169, ⟨10.1109/ICECCS2018.2018.00025⟩
Conference papers hal-01963152v1
Image document

Performance analysis of a queue by combining stochastic bounds, real traffic traces and histograms

Farah Ait Salaht , Hind Castel-Taleb , Jean-Michel Fourneau , Nihal Pekergin
The Computer Journal, 2016, 59 (12), pp.1817 - 1830. ⟨10.1093/comjnl/bxw032⟩
Journal articles hal-01449268v1