Filter your results
- 48
- 3
- 35
- 11
- 2
- 1
- 1
- 1
- 1
- 49
- 3
- 5
- 7
- 2
- 6
- 4
- 4
- 4
- 6
- 3
- 3
- 3
- 1
- 48
- 3
- 51
- 39
- 6
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 21
- 19
- 17
- 11
- 7
- 7
- 7
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 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
|
|
sorted by
|
|
Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedingsSpringer, 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 catastrophesVALUETOOLS 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 verificationASMTA 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éesRevue 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 performabilityASMTA '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 ExceptionsDistributed 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 BABZ 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 analysisHPCC 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 queueISCIS 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
|
|||
|
Modelling molecular networks: relationships between different formalisms and levels of details[Research Report] RR-7221, INRIA. 2010
Reports
inria-00461084v1
|
||
Bounding aggregations for transient and stationary performance analysis of subnetworksThe 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 methodDatabase 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 Latencies72nd 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 standardsSoftware Process: Improvement and Practice, 2006, 11 (5), pp.487-503
Journal articles
hal-00147053v1
|
|||
Formal development of a secure access control filterHASE 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 analysisASMTA 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 systemsASMTA2010, 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 mechanism6th 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 histogramsVECoS 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-BInternational 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 queues15th 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 chainsTheoretical 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 catastrophesISCIS2010, Sep 2010, London, United Kingdom. www.springerlink.com
Conference papers
hal-00545738v1
|
|||
Strong and weak orderings for an accurate resource dimensioningVECoS 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 methodAdvanced 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 ProB18th 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
|
|||
|
Gardening Cyber-Physical SystemsUnconventionnal 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-CalculusMathematical 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 modelsICECCS 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
|
|||
|
Performance analysis of a queue by combining stochastic bounds, real traffic traces and histogramsThe Computer Journal, 2016, 59 (12), pp.1817 - 1830. ⟨10.1093/comjnl/bxw032⟩
Journal articles
hal-01449268v1
|
- 1
- 2