820 documents

Journal articles268 documents

  • Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau. A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2020, 22 (3), pp.333-347. ⟨10.1007/s10009-019-00543-1⟩. ⟨hal-02975774⟩
  • Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar. Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2020, 22 (3), pp.349-363. ⟨10.1007/s10009-019-00542-2⟩. ⟨hal-02975778⟩
  • Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas. Polynomial interrupt timed automata: Verification and expressiveness. Information and Computation, Elsevier, 2020, pp.104580. ⟨10.1016/j.ic.2020.104580⟩. ⟨hal-02862629⟩
  • Haimin Ding, Wenzhi Miao, Weiwen Chu, Qing Liu, Jinfeng Wang, et al.. The reaction pathway of Ti–SiC system in Cu melts. Journal of Alloys and Compounds, Elsevier, 2020, 818, pp.152860. ⟨10.1016/j.jallcom.2019.152860⟩. ⟨hal-02634855⟩
  • Benoit Monin, Ludovic Patey. The weakness of the pigeonhole principle under hyperarithmetical reductions. Journal of Mathematical Logic, World Scientific Publishing, In press. ⟨hal-02991292⟩
  • Emmanuel Jeandel, Etienne Moutot, Pascal Vanier. Slopes of multidimensional subshifts. Theory of Computing Systems, Springer Verlag, 2020, 64 (1), pp.35-61. ⟨10.1007/s00224-019-09931-1⟩. ⟨hal-02158012⟩
  • El Habib Boudjema, Sergey Verlan, Lynda Mokdad, Christèle Faure. VYPER: Vulnerability detection in binary code. Security and Privacy , Wiley, 2019, ⟨10.1002/spy2.100⟩. ⟨hal-02485434⟩
  • Nina Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Régine Laleau. SGAC: a multi-layered access control model with conflict resolution strategy. The Computer Journal, Oxford University Press (UK), 2019, 62 (12), pp.1707-1733. ⟨10.1093/comjnl/bxz039⟩. ⟨hal-02403976⟩
  • Haimin Ding, Weiwen Chu, Qiang Wang, Wenzhi Miao, Huiqiang Wang, et al.. The in-situ synthesis of TiC in Cu melts based on Ti–C–Si system and its mechanism. Materials & Design, 2019, 182, pp.108007. ⟨10.1016/j.matdes.2019.108007⟩. ⟨hal-02634368⟩
  • Susan Stepney, Sergey Verlan. UCNC 2018 special issue editorial. Natural Computing, Springer Verlag, 2019, 18 (3), pp.513-514. ⟨10.1007/s11047-019-09750-w⟩. ⟨hal-02485373⟩
  • Rudolf Freund, Vladimir Rogojin, Sergey Verlan. Variants of Networks of Evolutionary Processors with Polarizations and a Small Number of Processors. International Journal of Foundations of Computer Science, World Scientific Publishing, 2019, 30 (06n07), pp.1005-1027. ⟨10.1142/S0129054119400264⟩. ⟨hal-02485429⟩
  • Myriam Preissmann, Paul-Elliot Angles d'Auriac, Francis Maisonneuve, Vivien Maisonneuve, Emmanuel Preissmann. On more variants of the Majority Problem. Discrete Applied Mathematics, Elsevier, 2019. ⟨hal-02148478⟩
  • Zeyi Shang, Sergey Verlan, Ion Petre, Gexiang Zhang. Reaction Systems and Synchronous Digital Circuits. Molecules, MDPI, 2019, 24 (10), pp.1961. ⟨10.3390/molecules24101961⟩. ⟨hal-02485427⟩
  • Alexis Bès, Christian Choffrut. Complexity and (Un)decidability of Fragments of 〈 ω ω λ ;× 〉. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2019, 164 (1), pp.1-15. ⟨10.3233/FI-2019-1752⟩. ⟨hal-02132080⟩
  • Yoann Marquer. Algorithmic Completeness of Imperative Programming Languages. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2019, 168 (1), pp.51 - 77. ⟨10.3233/FI-2019-1824⟩. ⟨hal-02524486⟩
  • Benoit Monin, Ludovic Patey. Pigeons do not jump high. Advances in Mathematics, Elsevier, In press. ⟨hal-01888793⟩
  • Haimin Ding, Qing Liu, Xianlong Wang, Xiaoliang Fan, Matthew Krzystyniak, et al.. Effects of boron addition on the microstructure and properties of in situ synthesis TiC reinforced Cu Ti C composites. Journal of Alloys and Compounds, Elsevier, 2018, 766, pp.66-73. ⟨10.1016/j.jallcom.2018.06.327⟩. ⟨hal-02619129⟩
  • Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald, Sergey Verlan. Extended spiking neural P systems with white hole rules and their red–green variants. Natural Computing, Springer Verlag, 2018, 17 (2), pp.297-310. ⟨10.1007/s11047-017-9649-7⟩. ⟨hal-02485423⟩
  • Neslihan Avcu, Nihal Pekergin, Ferhan Pekergin, Cuneyt Guzelis. Aggregation for Computing Multi-Modal Stationary Distributions in 1-D Gene Regulatory Networks. IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2018, 15 (3), pp.813 - 827. ⟨10.1109/TCBB.2017.2699177⟩. ⟨hal-01817338⟩
  • Johanne Cohen, A. Fauquette, Jean-Michel Fourneau, G.C. Noukela, N. Pekergin. Convex Stochastic Bounds and Stochastic Optimisation on Graphs. Electronic Notes in Theoretical Computer Science, Elsevier, 2018, 337, pp.23 - 44. ⟨10.1016/j.entcs.2018.03.032⟩. ⟨hal-01832118⟩
  • Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel, Antoine Spicher. Activity Networks with Delays an Application to Toxicity Analysis. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2018, 160 (1-2), pp.119 --142. ⟨10.3233/FI-2018-1677⟩. ⟨hal-01783917⟩
  • Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas. Opacity for linear constraint Markov chains. Discrete Event Dynamic Systems, Springer Verlag, 2018, 28 (1), pp.83-108. ⟨10.1007/s10626-017-0259-4⟩. ⟨hal-02077787⟩
  • Laurent Bienvenu, Santiago Figueira, Benoit Monin, Alexander Shen. Algorithmic identification of probabilities is hard. Journal of Computer and System Sciences, Elsevier, 2018, 95, pp.98-108. ⟨10.1016/j.jcss.2018.01.002⟩. ⟨lirmm-01803441⟩
  • Marziyeh Bayati. Power Management Policy for Heterogeneous Data Center Based on Histogram and Discrete-Time MDP. Electronic Notes in Theoretical Computer Science, Elsevier, 2018, 337, pp.5--22. ⟨10.1016/j.entcs.2018.03.031⟩. ⟨hal-01818614⟩
  • Arthur Milchior. Spectra and satisfiability for logics with successor and a unary func- tion. Mathematical Logic Quarterly, Wiley, In press. ⟨hal-01676718⟩
  • Lu Liu, Benoit Monin, Ludovic Patey. A computable analysis of variable words theorems. Proceedings of the American Mathematical Society, American Mathematical Society, In press, ⟨10.1090/proc/14269⟩. ⟨hal-01888789⟩
  • El-Habib Boudjema, Christèle Faure, Mathieu Sassolas, Lynda Mokdad. Detection of security vulnerabilities in C language applications. Security and Privacy , Wiley, In press. ⟨hal-01724075⟩
  • Hyunbum Kim, Lynda Mokdad, Jalel Ben-Othman. Designing UAV Surveillance Frameworks for Smart City and Extensive Ocean with Differential Perspectives. IEEE Communications Magazine, Institute of Electrical and Electronics Engineers, In press. ⟨hal-01724066⟩
  • Abdelkrim Abdelli, Lynda Mokdad, Jalel Ben-Othman, Youcef Hammal. Dealing with a Non Green Behaviour in WSN. Simulation Modelling Practice and Theory, Elsevier, In press, 84, pp.124-142. ⟨10.1016/j.simpat.2018.02.004⟩. ⟨hal-01724068⟩
  • Amel Mammar, Thi Mai Nguyen, Régine Laleau. A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter. Information and Software Technology, Elsevier, 2017, 92, pp.158 - 178. ⟨10.1016/j.infsof.2017.08.001⟩. ⟨hal-01692569⟩
  • Patrick Cégielski, Serge Grigorieff, Irene Guessarian. Congruence preserving functions on free monoids. Algebra Universalis, Springer Verlag, 2017, 78 (3), pp.389 - 406. ⟨10.1007/s00012-017-0464-x⟩. ⟨hal-01689055⟩
  • Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben-Othman. DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes. Concurrency and Computation: Practice and Experience, Wiley, 2017, 29 (23), ⟨10.1002/cpe.4266⟩. ⟨hal-01860370⟩
  • Sergey Verlan, Sergiu Ivanov. Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2017, 155 (1-2), pp.163 - 185. ⟨10.3233/FI-2017-1580⟩. ⟨hal-01638789⟩
  • Anatol Slissenko. Towards Analysis of Information Structure of Computations. The IFCoLog Journal of Logic and its Applications, UK Charity Ifcolog, 2017, 4 (4), pp.1457--1476. ⟨hal-01817877⟩
  • Amel Mammar, Régine Laleau. Modeling a landing gear system in Event-B. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (2), pp.167 - 186. ⟨10.1007/s10009-015-0391-0⟩. ⟨hal-01254980⟩
  • Jean-Michel Fourneau, Thu-Ha Dao-Thi, Minh-Anh Tran. Whittle-networks with signals. Performance Evaluation, Elsevier, 2017, 109, pp.8 - 22. ⟨10.1016/j.peva.2016.12.001⟩. ⟨hal-01832107⟩
  • Mohamed Amine Kafi, Jalel Ben Othman, Lynda Mokdad, Nadjib Badache. Performance Analysis and Evaluation of REFIACC using Queuing Networks. International Journal of Simulation Modelling Practices and Theory, 2017. ⟨hal-01724113⟩
  • Richard Werner Pazzi, Azzedine Boukerche, Robson Eduardo De Grande, Lynda Mokdad. A Clustered Trail-based Data Dissemination Protocol for Improving Lifetime of Duty Cycle Enabled Wireless Sensor Networks. Wireless Networks journal, springer, 2017. ⟨hal-01724132⟩
  • Aaron Meurer, Christopher P Smith, Mateusz Paprocki, Ondřej Čertík, Sergey B Kirpichev, et al.. SymPy: Symbolic computing in Python. PeerJ Computer Science, PeerJ, 2017, pp.e103. ⟨10.7287/peerj.preprints.2083v3⟩. ⟨hal-01404156⟩
  • Arthur Milchior. Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order. Lecture Notes in Computer Science, Springer, 2017, Theory and Applications of Models of Computation, 10185, pp.440-454. ⟨10.1007/978-3-319-55911-7_32⟩. ⟨hal-01676466⟩
  • Walid Serrai, Abdelkrim Abdelli, Lynda . Mokdad, Youcef Hammal. Towards an efficient and a more accurate web service selection using MCDM methods.. Journal of computational science, Elsevier, In press. ⟨hal-01724096⟩
  • Haroun Benkaouha, Nadjib Badache, Abdelkrim Abdelli, Lynda Mokdad, Jalel Ben-Othman. A Novel Hybrid Protocol of Checkpointing and Rollback Recovery for Flat MANETs. International journal of autonomous and adaptive communications systems, Inderscience Publishers, 2017. ⟨hal-01724118⟩
  • Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben Othman. DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes.. Concurrency and Computation: Practice and Experience, Wiley, In press. ⟨hal-01724085⟩
  • Djamel Mansouri, Lynda. Mokdad, Jalel Ben Othman, Malika Iouallalen. Dynamic and adaptive detection method for flooding in wireless sensor networks. International Journal of Communication Systems, Wiley, 2017. ⟨hal-01724106⟩
  • Frédéric Loulergue, Wadoud Bousdira, Julien Tesson. Calculating Parallel Programs in Coq using List Homomorphisms. International Journal of Parallel Programming, Springer Verlag, 2017, 45 (2), pp.300-319. ⟨10.1007/s10766-016-0415-8⟩. ⟨hal-01159182⟩
  • Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais. A formal validation of the RBAC ANSI 2012 standard using B. Science of Computer Programming, Elsevier, 2016, 131, pp.76 - 93. ⟨10.1016/j.scico.2016.04.011⟩. ⟨hal-01390991⟩
  • Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Performance analysis of a queue by combining stochastic bounds, real traffic traces and histograms. The Computer Journal, Oxford University Press (UK), 2016, 59 (12), pp.1817 - 1830. ⟨10.1093/comjnl/bxw032⟩. ⟨hal-01449268⟩
  • Jean-Michel Fourneau, Nihal Pekergin. Dynamic Fault Trees with Rejuvenation: Numerical Analysis and Stochastic Bounds. Electronic Notes in Theoretical Computer Science, Elsevier, 2016, 327, pp.27 - 47. ⟨10.1016/j.entcs.2016.09.022⟩. ⟨hal-01817340⟩
  • Jonathan Pascalie, Martin Potier, Taras Kowaliw, Jean-Louis Giavitto, Olivier Michel, et al.. Developmental Design of Synthetic Bacterial Architectures by Morphogenetic Engineering. ACS Synthetic Biology, American Chemical Society, 2016, 5 (8), pp.842-861. ⟨10.1021/acssynbio.5b00246⟩. ⟨hal-01354757⟩
  • Patrick Cégielski, Irene Guessarian, Serge Grigorieff. Characterizing congruence preserving functions Z/nZ --> Z/nZ via rational polynomials. Integers : Electronic Journal of Combinatorial Number Theory, State University of West Georgia, Charles University, and DIMATIA, 2016. ⟨hal-01704092⟩
  • Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu. Verification of EB3 specifications using CADP . Formal Aspects of Computing, Springer Verlag, 2016, 28 (1), pp.145-178. ⟨10.1007/s00165-016-0362-6⟩. ⟨hal-01290460⟩
  • Marziyeh Bayati, Mohammed Dahmoune, Jean-Michel Fourneau, Nihal Pekergin, Dimitrios Vekris. A tool based on traffic traces and stochastic monotonicity to analyze data centers and their energy consumption. EAI Endorsed Trans. Energy Web, 2016, 3 (10), pp.e3. ⟨10.4108/eai.14-12-2015.2262652⟩. ⟨hal-01818620⟩
  • Luidnel Maignan, Jean-Baptiste Yunès. Finitization of Infinite Field-based Multi-general FSSP Solution. J. Cellular Automata, 2016, 12 (1-2), pp.121--139. ⟨hal-01799307⟩
  • Benoit Monin, Ludovic Patey. Π 0 1 ENCODABILITY AND OMNISCIENT REDUCTIONS. Notre Dame Journal of Formal Logic, University of Notre Dame, 2016. ⟨hal-01397286⟩
  • Elisabeth Pelz, Artiom Alhazov, Sergey Verlan, Sergiu Ivanov. Small universal deterministic Petri nets with inhibitor arcs. Journal of Automata Languages and Combinatorics, Otto-von-Guericke-Universität Magdeburg, 2016. ⟨hal-01667580⟩
  • Sergey Verlan, Juan Quiros, Julian Viejo, Alejandro Millan, Manuel J. Bellido. Fast Hardware Implementations of Static P Systems. Computing and Informatics, Slovak University Press, Bratislava, 2016, 35 (3), pp.687-718. ⟨hal-01757344⟩
  • Artiom Alhazov, Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan. Small Universal Deterministic Petri Nets with Inhibitor Arcs. Journal of Automata Languages and Combinatorics, Otto-von-Guericke-Universität Magdeburg, 2016, 21 (1-2), pp.7-26. ⟨hal-01757332⟩
  • Noam Greenberg, Joseph Miller, Benoit Monin, Daniel Turetsky. TWO MORE CHARACTERIZATIONS OF K-TRIVIALITY. Notre Dame Journal of Formal Logic, University of Notre Dame, 2016. ⟨hal-01397290⟩
  • Djamila Bendouda, Lynda Mokdad, Hafid Haffaf. Exploiting Node Mobility for Fault Management in RPL-based Wireless Sensor Networks. International Journal of High Performance Computing and Networking, Inderscience, In press. ⟨hal-01724101⟩
  • Benoit Monin. Higher Randomness and Forcing with Closed Sets. Theory of Computing Systems, Springer Verlag, 2016, ⟨10.1007/s00224-016-9681-5⟩. ⟨hal-01397294⟩
  • Clément Aubert, Ioana Cristescu. Contextual equivalences in configuration structures and reversibility. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016. ⟨hal-01229408v2⟩
  • Haroun Benkaouha, Abdelkrim Abdelli, Jalel Ben Othman, Lynda Mokdad. Towards an efficient failure detection in MANETS. Wireless Communications and Mobile Computing, Hindawi Publishing Corporation, 2016. ⟨hal-01724137⟩
  • Marie-Pierre Béal, Michel Blockelet, Catalin Dima. Sofic-Dyck shifts. Theoretical Computer Science, Elsevier, 2016, 609, pp.226 - 244. ⟨10.1016/j.tcs.2015.09.027⟩. ⟨hal-01801266⟩
  • Patrick Cégielski, Serge Grigorieff, Irene Guessarian. Newton representation of functions over natural integers having integral difference ratios. International Journal of Number Theory, World Scientific Publishing, 2015, 11 (07), pp.2109 - 2139. ⟨10.1142/S179304211550092X⟩. ⟨hal-01689059⟩
  • Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin. HASL: A new approach for performance evaluation and model checking from concepts to experimentation. Performance Evaluation, Elsevier, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩. ⟨hal-01221815⟩
  • Irene Guessarian, Patrick Cégielski, Serge Grigorieff. Newton representation of functions over natural integers having integral difference ratios. International Journal of Number Theory, World Scientific Publishing, 2015, 11 (7), pp.2109-2139. ⟨hal-01260277⟩
  • Emmanuel Jeandel, Pascal Vanier. Hardness of conjugacy, embedding and factorization of multidimensional subshifts . Journal of Computer and System Sciences, Elsevier, 2015, http://dx.doi.org/10.1016/j.jcss.2015.05.003. ⟨10.1016/j.jcss.2015.05.003⟩. ⟨hal-01150419⟩
  • Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Youssouf Oualhadj. Deciding the value 1 problem for probabilistic leaktight automata. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, pp.37. ⟨10.2168/LMCS-2014-994⟩. ⟨hal-01140262⟩
  • Anne Lorrain, Brittany S. Graham, Brian N. Popp, Valérie Allain, Robert J. Olson, et al.. Nitrogen isotopic baselines and implications for estimating foraging habitat and trophic position of yellowfin tuna in the Indian and Pacific Oceans. Deep Sea Research Part II: Topical Studies in Oceanography, Elsevier, 2015, 113, pp.188-198. ⟨10.1016/j.dsr2.2014.02.003⟩. ⟨hal-01139296⟩
  • Béatrice Bérard, John Mullins, Mathieu Sassolas. Quantifying Opacity. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2015, 25 (Special issue 2), pp.361-403. ⟨10.1017/S0960129513000637⟩. ⟨hal-01161867⟩
  • Nicolas Troquard, Daniele Porello. Non-normal modalities in variants of Linear Logic. Journal of Applied Non-Classical Logics, Taylor & Francis, 2015, ⟨10.1080/11663081.2015.1080422⟩. ⟨hal-01220724⟩
  • Louis Bigo, Daniele Ghisi, Antoine Spicher, Moreno Andreatta. Representation of Musical Structures and Processes in Simplicial Chord Spaces. Computer Music Journal, Massachusetts Institute of Technology Press (MIT Press), 2015, 39 (3), pp.9 - 24. ⟨10.1162/COMJ_a_00312⟩. ⟨hal-01263299⟩
  • Sergiu Ivanov, Sergey Verlan. Random Context and Semi-conditional Insertion-deletion Systems. Fundam. Inform., 2015, 138 (1-2), pp.127--144. ⟨10.3233/FI-2015-1203⟩. ⟨hal-01161696⟩
  • Sergiu Ivanov, Sergey Verlan. On the Lower Bounds for Leftist Insertion-Deletion Languages. Annals of the University of Bucharest (informatics series), 2015, LXII (2), pp.77-88. ⟨hal-01352362⟩
  • Catherine Dubois, Régine Laleau. Introduction. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2015, 34 (5), pp.493--494. ⟨hal-01575305⟩
  • Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, et al.. Entropy Games. CoRR, 2015, abs/1506.04885. ⟨hal-01699930⟩
  • Lynda Mokdad, Jalel Ben-Othman, A. T. Nguyen. DJAVAN: Detecting Jamming Attacks in Vehicle Ad hoc Networks. Performance Evaluation, Elsevier, 2015. ⟨hal-01724142⟩
  • Victor Allombert, Frédéric Gava, Julien Tesson. Multi-ML: Programming Multi-BSP Algorithms in ML. International Journal of Parallel Programming, Springer Verlag, 2015, pp.20. ⟨hal-01160164v3⟩
  • Said Fouchal, Djamel Mansouri, Lynda Mokdad, Malika Iouallalen. Recursive-clustering-based approach for Denial Attacks in Wireless Sensors Networks. International Journal of Communication Systems, Wiley, 2015. ⟨hal-01724149⟩
  • Frédéric Gava, Franck Pommereau, Michael Guedj. A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. Journal of Supercomputing, Springer Verlag, 2014, 69 (2), pp.629--672. ⟨10.1007/s11227-014-1099-8⟩. ⟨hal-00950399⟩
  • Nawel Gharbi, Besma Nemmouchi, Lynda Mokdad, Jalel Ben-Othman. The Impact of Breakdowns Disciplines and Repeated Attempts on Performances of Small Cell Networks. Journal of computational science, Elsevier, 2014. ⟨hal-01724176⟩
  • Patrick Cégielski, Serge Grigorieff, Irene Guessarian. On lattices of regular sets of natural integers closed under decrementation. Information Processing Letters, Elsevier, 2014, 114 (4), pp.197 - 202. ⟨10.1016/j.ipl.2013.11.013⟩. ⟨hal-01689056⟩
  • Rudolf Freund, Yurii Rogozhin, Sergey Verlan. Generating and Accepting P Systems with Minimal Left and Right Insertion and Deletion. Natural Computing, Springer Verlag, 2014, 13 (2), pp.257--268. ⟨10.1007/s11047-013-9396-3⟩. ⟨hal-01352295⟩
  • Louis Bigo, Antoine Spicher. Self-Assembly of Musical Representations in MGS. International Journal of Unconventional Computing, Old City Publishing, 2014, 10 (3), pp.219-236. ⟨hal-02903099⟩
  • Julien Cervelle. Covering space in the Weyl and Besicovitch topologies. Inf. Comput., 2014, 239, pp.44--54. ⟨10.1016/j.ic.2014.08.007⟩. ⟨hal-01208376⟩
  • Catalin Dima. A Nonarchimedian Discretization for Timed Languages. Fundam. Inform., 2014, 131 (3-4), pp.389--407. ⟨10.3233/FI-2014-1021⟩. ⟨hal-01699935⟩
  • Rodica Bozianu, Catalin Dima, Emmanuel Filiot. Safraless Synthesis for Epistemic Temporal Specifications. CoRR, 2014, abs/1405.0424. ⟨hal-01699937⟩
  • Artiom Alhazov, Rudolf Freund, Sergiu Ivanov. Length P Systems. Fundam. Inform., 2014, 134 (1-2), pp.17--37. ⟨10.3233/FI-2014-1088⟩. ⟨hal-01161699⟩
  • Sergiu Ivanov, Yurii Rogozhin, Sergey Verlan. Small Universal Networks of Evolutionary Processors. Journal of Automata Languages and Combinatorics, Otto-von-Guericke-Universität Magdeburg, 2014, 19 (1-4), pp.133--144. ⟨hal-01161700⟩
  • Hind Castel-Taleb, Nihal Pekergin. Strong and weak stochastic bounds for multidimensional Markov chains. International Journal of Critical Computer-Based Systems, Inderscience, 2014, 5 (1/2), pp.148 - 168. ⟨10.1504/IJCCBS.2014.059592⟩. ⟨hal-01260059⟩
  • Elisabeth Pelz, Louchka Popova-Zeugmann, Mathias Werner, M Haustein. A Holistic State Equation for Timed Petri Nets. Fundamenta Informatica, 2014. ⟨hal-01667554⟩
  • Youcef Hammal, Jalel Ben-Othman, Lynda Mokdad, Abdelkrim Abdelli. Formal Modeling and Checking of an Enhanced variant of the IEEE 802.11 CSMA/CA Protocol. Journal of Communications and Networks, IEEE & Korea Information and Communications Society, 2014. ⟨hal-01724165⟩
  • Youcef Hammal, Quentin Monnet, Lynda Mokdad, Jalel Ben-Othman, Abdelkarim Abdelli. Timed automata based modeling and verification of denial of service attacks in wireless sensor networks. Studia Informatica Universalis, Hermann, 2014, 12 (1), pp 1−46. ⟨hal-01132722⟩
  • Jalel Ben-Othman, Lynda Mokdad, Sahar Ghazal. Performance Analysis of WiMAX Networks AC. Wireless Personal Communications Journal-Springer Publisher, 2014. ⟨hal-01724180⟩
  • Lynda Mokdad, Jalel Ben-Othman, Bashir Yahya, S. Niagne. Performance evaluation tools for QoS MAC Protocol for Wireless Sensor Networks. Ad Hoc Networks, Elsevier, 2014. ⟨hal-01724184⟩
  • Patrick Cégielski, Serge Grigorieff, Guessarian Irene. On Lattices of Regular Sets of Natural Integers Closed under Decrementation. Information Processing Letters, Elsevier, 2014, 114, pp.197-202. ⟨hal-01259673⟩
  • Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau. Refinement patterns for ASTDs. Formal Asp. Comput., 2014, 26 (5), pp.919--941. ⟨10.1007/s00165-013-0286-3⟩. ⟨hal-01575321⟩
  • Victor Allombert, David Michéa, Fabrice Dupros, Christian Bellier, Bernard Bourgine, et al.. An out-of-core GPU approach for accelerating geostatistical interpolation. Procedia Computer Science, Elsevier, 2014, ⟨10.1016/j.procs.2014.05.080⟩. ⟨hal-01133110⟩
  • Catalin Dima, Bastien Maubert, Sophie Pinchinat. The Expressive Power of Epistemic \textdollar\(μ\)\textdollar-Calculus. CoRR, 2014, abs/1407.5166. ⟨hal-01699938⟩
  • Emmanuel Jeandel, Pascal Vanier. Turing degrees of multidimensional subshifts. Theoretical Computer Science, Elsevier, 2013, http://dx.doi.org/10.1016/j.tcs.2012.08.027. ⟨10.1016/j.tcs.2012.08.027⟩. ⟨hal-00613165v3⟩
  • Alexandre Muzy, Franck Varenne, Bernard P. Zeigler, Jonathan Caux, Patrick Coquillard, et al.. Refounding of Activity Concept ? Towards a Federative Paradigm for Modeling and Simulation. SIMULATION, SAGE Publications, 2013, 89 (2), pp.156-177. ⟨10.1177/0037549712457852⟩. ⟨hal-00738218⟩
  • Joël Blot, Naïla Hayek, Ferhan Pekergin, Nihal Pekergin. Pontryagin principles for bounded discrete-time processes. Optimization, Taylor & Francis, 2013, pp.1 - 16. ⟨10.1080/02331934.2013.766991⟩. ⟨hal-01817341⟩
  • Paolo Ballarini, Lynda Mokdad, Quentin Monnet. Modeling tools for detecting DoS attacks in WSNs. Security and communication networks, John Wiley & Sons, Ltd, 2013, 6 (4), pp.420-436. ⟨10.1002/sec⟩. ⟨hal-01817483⟩
  • Emmanuel Filiot, Naiyong Jin, Jean-François Raskin. Exploiting structure in LTL synthesis. STTT, 2013, 15 (5-6), pp.541-561. ⟨10.1007/s10009-012-0222-5⟩. ⟨hal-01196259⟩
  • Jean-Louis Giavitto, Olivier Michel, Antoine Spicher. Unconventional and Nested Computations in Spatial Computing. International Journal of Unconventional Computing, Old City Publishing, 2013, 9 (1-2), pp.71-95. ⟨hal-00925718⟩
  • Rodica Bozianu, Catalin Dima, Constantin Enea. Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. CoRR, 2013, abs/1310.6434. ⟨hal-01699943⟩
  • Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan. Small Universal Petri Nets with Inhibitor Arcs. CoRR, 2013, abs/1312.4414, pp.1-18. ⟨hal-01161702⟩
  • Sergiu Ivanov. A formal framework for clock-free networks of cells. Int. J. Comput. Math., 2013, 90 (4), pp.776--788. ⟨10.1080/00207160.2012.743652⟩. ⟨hal-01161705⟩
  • Alexis Bès. Expansions of MSO by cardinality relations. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2013, 9 (4), Paper 18. ⟨10.2168/LMCS-9(4:18)2013⟩. ⟨hal-01223263⟩
  • Rudolf Freund, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez, Sergey Verlan. A Formalization of Membrane Systems with Dynamically Evolving Structures. International Journal of Computer Mathematics, Taylor & Francis, 2013, 90 (4), pp.801-815. ⟨10.1080/00207160.2012.748899⟩. ⟨hal-01352298⟩
  • Julien Cervelle, Alberto Dennunzio, Enrico Formenti. Preface. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2013, Cellular Automata and Models of Computation, 126 (2-3), pp.1-2. ⟨10.3233/FI-2013-874⟩. ⟨hal-01312577⟩
  • Emmanuel Jeandel, Pascal Vanier. Characterizations of periods of multi-dimensional shifts. Ergodic Theory and Dynamical Systems, Cambridge University Press (CUP), 2013, FirstView, pp.1--30. ⟨10.1017/etds.2013.60⟩. ⟨hal-01194798⟩
  • Hind Castel-Taleb, Lynda Mokdad, Nihal Pekergin. An algorithm approach to bounding aggregations of multidimensional Markov chains. Theoretical Computer Science, Elsevier, 2012, 452, pp.12-20. ⟨10.1016/j.tcs.2012.05.030⟩. ⟨hal-00807451⟩
  • Raluca Diaconu, Catalin Dima. Model-Checking Alternating-Time Temporal Logic with Strategies Based on Common Knowledge is Undecidable. Applied Artificial Intelligence, Taylor & Francis, 2012, 26 (4), pp.331--348. ⟨10.1080/08839514.2012.652905⟩. ⟨hal-01699945⟩
  • Hind Castel-Taleb, Idriss Ismael Aouled, Nihal Pekergin. Bounding aggregations for transient and stationary performance analysis of subnetworks. The Computer Journal, Oxford University Press (UK), 2012, 55 (5), pp.564-576. ⟨10.1093/comjnl/bxr036⟩. ⟨hal-00752799⟩
  • Catalin Dima, Ruggero Lanotte. A study on shuffle, stopwatches and independently evolving clocks. Distributed Computing, Springer Verlag, 2012, 25 (1), pp.5--33. ⟨10.1007/s00446-011-0148-2⟩. ⟨hal-01699946⟩
  • Abderrahman Matoussi, Régine Laleau. Une approche pour la prise en compte des buts non fonctionnels dans les spécifications abstraites Event-B. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2012, 17 (3), pp.95-118. ⟨hal-01224632⟩
  • Elisabeth Pelz, L. Popova-Zeugmann. Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delay. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012. ⟨hal-01667527⟩
  • Yurii Rogozhin, Sergey Verlan. P Systems Based on Tag Operations. Computer Science Journal of Moldova, 2012, 20 (3), pp.366-373. ⟨hal-01352370⟩
  • Yurii Rogozhin, Sergey Verlan. P Systems Based on Tag Operations. Computer Science Journal of Moldova, 2012, 20 (3), pp.366-373. ⟨hal-01352306⟩
  • Alexis Bès, Alexander Rabinovich. On countable chains having decidable monadic theory. J. Symb. Log., 2012, 77 (2), pp.593-608. ⟨hal-01215405⟩
  • Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. On Small Universal Splicing Systems. International Journal of Foundations of Computer Science, World Scientific Publishing, 2012, 23 (07), pp.1423-1438. ⟨10.1142/S0129054112400564⟩. ⟨hal-01352305⟩
  • Tristan Crolard, Emmanuel Polonowski. Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control. Journal of Logic and Algebraic Programming, Elsevier, 2012, pp.181-208. ⟨hal-00763357⟩
  • Rodica Bozianu, Catalin Dima, Constantin Enea. Model-checking an Epistemic \(μ\)-calculus with Synchronous and Perfect Recall Semantics. CoRR, 2012, abs/1204.2087. ⟨hal-01699947⟩
  • Ion Petre, Sergey Verlan. Matrix Insertion-Deletion Systems. Theoretical Computer Science, Elsevier, 2012, 456, pp.80 - 88. ⟨10.1016/j.tcs.2012.07.002⟩. ⟨hal-01352302⟩
  • Julien Cervelle, Rémi Forax, Gautier Loyauté, Gilles Roussel. Banzai+Tatoo: Using cutting-edge parsers for implementing high-performance servers. Science of Computer Programming, Elsevier, 2012, 77 (9), pp.990-1005. ⟨hal-00844345⟩
  • Hakim Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier. A Design by Contract Approach to Verify Access Control Policies. IEEE Computer Society, 2012, pp.263-272. ⟨10.1109/ICECCS.2012.4⟩. ⟨hal-00724267⟩
  • Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier. Refinement patterns for ASTD. ACM SIGSOFT Software Engineering Notes, 2012, 37 (4), pp.1-8. ⟨hal-01224633⟩
  • Jeremy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, et al.. Combining UML, ASTD and B for the formal specification of an access control filter. Innovations in Systems and Software Engineering, Springer Verlag, 2011, 7 (4), pp.303-313. ⟨10.1007/s11334-011-0166-z⟩. ⟨hal-00860798⟩
  • Vic Norris, Abdallah Zemirline, Patrick Amar, Jean Nicolas Audinot, Pascal Ballet, et al.. Computing with bacterial constituents, cells and populations: from bioputing to bactoputing. Theorie in den Biowissenschaften / Theory in Biosciences, Springer Verlag, 2011, 130 (3), pp.211-228. ⟨10.1007/s12064-010-0118-4⟩. ⟨hal-00643738⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of Insertion-Deletion (P) Systems with Rules of Size Two. Natural Computing, Springer Verlag, 2011, 10 (2), pp.835-852. ⟨hal-01352375⟩
  • Rudolf Freund, Sergey Verlan. (Tissue) P systems working in the ıt k-restricted minimally or maximally parallel transition mode. Natural Computing, Springer Verlag, 2011, 10 (2), pp.821-833. ⟨hal-01352371⟩
  • Rudolf Freund, Sergey Verlan. (Tissue) P systems working in the ıt k-restricted minimally or maximally parallel transition mode. Natural Computing, Springer Verlag, 2011, 10 (2), pp.821-833. ⟨hal-01352307⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of Insertion-Deletion (P) Systems with Rules of Size Two. Natural Computing, Springer Verlag, 2011, 10 (2), pp.835-852. ⟨hal-01352311⟩
  • Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. P Systems with Insertion and Deletion Exo-Operations. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 110 (1-4), pp.13-28. ⟨hal-01352313⟩
  • Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. P Systems with Insertion and Deletion Exo-Operations. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 110 (1-4), pp.13-28. ⟨hal-01352377⟩
  • Sergey Verlan, Maurice Margenstern. Universality of Splicing Test Tube Systems with Two Tubes. Fundam. Inform., 2011, 110 (1-4), pp.329-342. ⟨hal-01352308⟩
  • Antoine Spicher, Sergey Verlan. Generalized Communicating P Systems Working in Fair Sequential Mode. Scientific Annals of Computer Science, 2011, 21 (2), pp.227--247. ⟨hal-01352373⟩
  • Antoine Spicher, Sergey Verlan. Generalized Communicating P Systems Working in Fair Sequential Mode. Scientific Annals of Computer Science, 2011, 21 (2), pp.227--247. ⟨hal-01352309⟩
  • Sergey Verlan, Maurice Margenstern. Universality of Splicing Test Tube Systems with Two Tubes. Fundam. Inform., 2011, 110 (1-4), pp.329-342. ⟨hal-01352372⟩
  • Alexis Bès, Alexander Rabinovich. Decidable Expansions of Labelled Linear Orderings. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2011, 7 (2:7). ⟨hal-01215406⟩
  • Artiom Alhazov, Marian Kogler, Maurice Margenstern, Yurii Rogozhin, Sergey Verlan. Small Universal TVDH and Test Tube Systems. International Journal of Foundations of Computer Science, World Scientific Publishing, 2011, 22 (1), pp.143-154. ⟨hal-01352310⟩
  • Artiom Alhazov, Marian Kogler, Maurice Margenstern, Yurii Rogozhin, Sergey Verlan. Small Universal TVDH and Test Tube Systems. International Journal of Foundations of Computer Science, World Scientific Publishing, 2011, 22 (1), pp.143-154. ⟨hal-01352374⟩
  • Catalin Dima, Ferucio Laurentiu Tiplea. Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable. CoRR, 2011, abs/1102.4225. ⟨hal-01699948⟩
  • Dimitar P. Guelev, Catalin Dima, Constantin Enea. An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. Journal of Applied Non-Classical Logics, Taylor & Francis, 2011, 21 (1), pp.93--131. ⟨10.3166/jancl.21.93-131⟩. ⟨hal-01699949⟩
  • Catalin Dima. Non-axiomatizability for the linear temporal logic of knowledge with concrete observability. J. Log. Comput., 2011, 21 (6), pp.939--958. ⟨10.1093/logcom/exq031⟩. ⟨hal-01699950⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. On Generalized Communicating P Systems with Minimal Interaction Rules. Theoretical Computer Science, Elsevier, 2011, 412 (1-2), pp.124-135. ⟨hal-01352315⟩
  • Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. P Systems with Minimal Insertion and Deletion. Theoretical Computer Science, Elsevier, 2011, 412 (1-2), pp.136-144. ⟨hal-01352314⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. On Generalized Communicating P Systems with Minimal Interaction Rules. Theoretical Computer Science, Elsevier, 2011, 412 (1-2), pp.124-135. ⟨hal-01352379⟩
  • Artiom Alhazov, Sergey Verlan. Minimization Strategies for Maximally Parallel Multiset Rewriting Systems. Theoretical Computer Science, Elsevier, 2011, 412 (17), pp.1581 - 1591. ⟨hal-01352380⟩
  • Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. P Systems with Minimal Insertion and Deletion. Theoretical Computer Science, Elsevier, 2011, 412 (1-2), pp.136-144. ⟨hal-01352378⟩
  • Diana Elrabih, Gaël Gorgo, Nihal Pekergin, Jean-Marc Vincent. Steady state property verification of very large systems. International Journal of Critical Computer-Based Systems, Inderscience, 2011, 2, pp.309―331. ⟨hal-00788769⟩
  • Jean-Michel Fourneau, Thu Ha Dao Thi, Tran Minh Anh. G-networks with synchronised arrivals. Performance Evaluation, 2011, 68 (4). ⟨hal-01309343⟩
  • Jean-Michel Fourneau, Thu Ha Dao Thi, Tran Minh Anh. Multiple Class Symmetric G-networks with Phase Type Service Times. The Computer Journal, 2011, 54 (2), pp.27'-284. ⟨hal-01309345⟩
  • Frédéric Gervais, Benoît Fraikin. Tool building in formal methods. Softw., Pract. Exper., 2011, 41 (2), pp.131-132. ⟨hal-01223272⟩
  • M. Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis. Enforcing ASTD access-control policies with WS-BPEL processes in SOA environments. International Journal of Systems and Service-Oriented Engineering, 2011, 2 (2), pp.37-59. ⟨hal-01223273⟩
  • Jean-Pierre Jacquot, Régine Laleau, Hassan Mountassir, Vincent Poirriez. Assemblage de composants digne de confiance : de l'expression des besoins aux spécifications formelles. Génie logiciel, C & S, 2010, pp.13-18. ⟨inria-00565772⟩
  • Cyril Dumont, Fabrice Mourlin. Jacobi computation using mobile agent. International Journal of Computer Science and Information Technologies, IJCSIT, 2010, 1 (5), pp.392-401. ⟨hal-00612627⟩
  • Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski. Bulk Synchronous Parallel ML with Exceptions. Future Generation Computer Systems, Elsevier, 2010, 26, pp.486-490. ⟨10.1016/j.future.2009.05.021⟩. ⟨inria-00452527⟩
  • Sergey Verlan. Recent Developments on Insertion-Deletion Systems. Computer Science Journal of Moldova, 2010, 18 (2), pp.210-245. ⟨hal-01352319⟩
  • Sergey Verlan. Recent Developments on Insertion-Deletion Systems. Computer Science Journal of Moldova, 2010, 18 (2), pp.210-245. ⟨hal-01352384⟩
  • Farida Semmak, Christophe Gnaho, Régine Laleau. Extended KAOS Method to Model Variability in Requirements. Communications in Computer and Information Science, Springer Verlag, 2010, 69, pp.193--205. ⟨hal-01224647⟩
  • Eugene Asarin, Catalin Dima. On the computation of covert channel capacity. RAIRO - Theor. Inf. and Applic., 2010, 44 (1), pp.37--58. ⟨10.1051/ita/2010004⟩. ⟨hal-01699951⟩
  • Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. State Space Reduction for Dynamic Process Creation. Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2010, 20, pp.131--157. ⟨hal-00666663⟩
  • Sergey Verlan, Artiom Alhazov, Ion Petre. A Sequence-Based Analysis of the Pointer Distribution of Stichotrichous Ciliates. BioSystems, Elsevier, 2010, 101 (2), pp.109 - 116. ⟨hal-01352381⟩
  • Matej Crepinsek, Tomaz Kosar, Marjan Mernik, Julien Cervelle, Rémi Forax, et al.. On automata and language based grammar metrics. Computer Science and Information Systems, ComSIS Consortium, 2010, 7 (2), pp.309--329. ⟨10.2298/CSIS1002309C⟩. ⟨hal-01208373⟩
  • Jean-Michel Fourneau, Nihal Pekergin, Lynda Mokdad. Stochastic bounds for performance evaluation of Web services. Concurrency and Computation: Practice and Experience, Wiley, 2010, 22 (10). ⟨hal-01309351⟩
  • Pierre Konopacki, Marc Frappier, Régine Laleau. Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2010, 15 (3). ⟨hal-01224641⟩
  • Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, et al.. A first attempt to combine SysML requirements diagrams and B. Innovations in Systems and Software Engineering, Springer Verlag, 2010, 1-2 (6), pp.47--54. ⟨10.1007/s11334--009-0119-y⟩. ⟨hal-01224642⟩
  • Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, et al.. A first attempt to combine SysML requirements diagrams and B. ISSE, Innovations in Systems and Software Engineering, 2010, 6 (1-2), pp.47--54. ⟨hal-01226590⟩
  • Tristan Crolard, Emmanuel Polonowski, Pierre Valarcher. Extending the loop language with higher-order procedural variables. ACM Transactions on Computational Logic, Association for Computing Machinery, 2009, 10 (4), pp.1--37. ⟨10.1145/1555746.1555750⟩. ⟨hal-00422158⟩
  • Olivier Michel, Antoine Spicher, Jean-Louis Giavitto. Rule-based programming for integrative biological modeling Application to the modeling of the λ phage genetic switch. Natural Computing, Springer Verlag, 2009, 8 (4), pp.25. ⟨10.1007/s11047-008-9105-9⟩. ⟨hal-00644440⟩
  • Artiom Alhazov, Marion Oswald, Rudolf Freund, Sergey Verlan. Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions. Fundam. Inform., 2009, 91 (1), pp.17-34. ⟨hal-01352391⟩
  • Artiom Alhazov, Marion Oswald, Rudolf Freund, Sergey Verlan. Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions. Fundam. Inform., 2009, 91 (1), pp.17-34. ⟨hal-01352326⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells. International Journal of Unconventional Computing, Old City Publishing, 2009, 5 (5), pp.391-409. ⟨hal-01352325⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells. International Journal of Unconventional Computing, Old City Publishing, 2009, 5 (5), pp.391-409. ⟨hal-01352390⟩
  • Frédéric Gervais, Marc Frappier, Régine Laleau. Generating relational database transactions from EB3 attribute definitions. Software and Systems Modeling, Springer Verlag, 2009, 8 (3), pp.423-445. ⟨hal-01224655⟩
  • Gabriela Bordalo, Nathalie Caspard, Bernard Monjardet. Going down in (semi)lattices of finite Moore families and convex geometries. Czechoslovak Mathematical Journal, Akademie věd České republiky, Matematický ústav, 2009, 59 (1), pp.249-271. ⟨halshs-00308785⟩
  • Franck Pommereau. Quickly prototyping Petri nets tools with SNAKES. Petri nets newsletter, Universität Augsburg, 2008, 75. ⟨hal-02310228⟩
  • Irene Guessarian, Patrick Cégielski, Yuri Matiyasevich. Tree inclusion problems. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2008, 42 (1), pp.5-20. ⟨10.1051/ita:2007052⟩. ⟨hal-01260272⟩
  • L. Duret, Jean Cohen, Claire Jubin, Philippe Dessen, Jean-François Goût, et al.. Analysis of sequence variability in the macronuclear DNA of Paramecium tetraurelia: a somatic view of the germline.. Genome Research, Cold Spring Harbor Laboratory Press, 2008, 18 (4), pp.585-96. ⟨10.1101/gr.074534.107⟩. ⟨hal-00282468⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. On Length-Separating Test Tube Systems. Natural Computing, Springer Verlag, 2008, 7 (2), pp.167-181. ⟨hal-01352402⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. On Length-Separating Test Tube Systems. Natural Computing, Springer Verlag, 2008, 7 (2), pp.167-181. ⟨hal-01352337⟩
  • Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern. Generalized Communicating P Systems. TCS, 2008, 404 (1-2), pp.170-184. ⟨hal-01352328⟩
  • Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern. Generalized Communicating P Systems. TCS, 2008, 404 (1-2), pp.170-184. ⟨hal-01352393⟩
  • Alexis Bès. An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2008, 4 (1:8). ⟨hal-01215409⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. How to Synchronize the Activity of All Components of a P System?. International Journal of Foundations of Computer Science, World Scientific Publishing, 2008, 19 (5), pp.1183-1198. ⟨hal-01352399⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. How to Synchronize the Activity of All Components of a P System?. International Journal of Foundations of Computer Science, World Scientific Publishing, 2008, 19 (5), pp.1183-1198. ⟨hal-01352334⟩
  • Régine Laleau, Fiona Polack. Using formal metamodels to check consistency of functional views in information systems specification. Information and Software Technology, Elsevier, 2008, 50 (7-8), pp.797-814. ⟨hal-01224660⟩
  • Amel Mammar, Régine Laleau. Implémentation JAVA d'une spécification B: Application aux bases de données. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2008, 27 (5), pp.537--570. ⟨hal-01224657⟩
  • Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis. Extending Statecharts with Process Algebra Operators. Innovations in Systems and Software Engineering, Springer Verlag, 2008, 4 (3), pp.285-292. ⟨hal-01223276⟩
  • Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier. Applying CSP|| B to Information Systems. Software and Systems Modeling, Springer Verlag, 2008, 7 (1), pp.85--102. ⟨hal-01224658⟩
  • Yves Ledru, Régine Laleau, Sylvie Vignes. Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité d'aéroports. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2008, 13 (4), pp.133--157. ⟨hal-01224662⟩
  • Hanna Klaudel, Franck Pommereau. M-nets: A survey. Acta Informatica, Springer Verlag, 2008, 45 (7-8), pp.537--564. ⟨10.1007/s00236-008-0077-0⟩. ⟨hal-00870484⟩
  • Jean-Baptiste Yunès, Jean-Francis Michon, Pierre Valarcher. Mahler's expansion and boolean functions. Journal of Integer Sequences, University of Waterloo, 2007, 10 (3), pp.07.3.4. ⟨hal-00139041⟩
  • Sergey Verlan. On Minimal Context-Free Insertion-Deletion Systems. Journal of Automata, Languages and Combinatorics, 2007, 12 (1-2), pp.317-328. ⟨hal-01352405⟩
  • Sergey Verlan. On Minimal Context-Free Insertion-Deletion Systems. Journal of Automata, Languages and Combinatorics, 2007, 12 (1-2), pp.317-328. ⟨hal-01352340⟩
  • Erzsébet Csuhaj-Varjú, Maurice Margenstern, György Vaszil, Sergey Verlan. On Small Universal Antiport P Systems. TCS, 2007, 372 (2-3), pp.152-164. ⟨hal-01352338⟩
  • Erzsébet Csuhaj-Varjú, Maurice Margenstern, György Vaszil, Sergey Verlan. On Small Universal Antiport P Systems. TCS, 2007, 372 (2-3), pp.152-164. ⟨hal-01352403⟩
  • Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. Minimal Cooperation in Symport/Antiport Tissue P Systems. International Journal of Foundations of Computer Science, World Scientific Publishing, 2007, 18 (1), pp.163-180. ⟨hal-01352409⟩
  • Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. Minimal Cooperation in Symport/Antiport Tissue P Systems. International Journal of Foundations of Computer Science, World Scientific Publishing, 2007, 18 (1), pp.163-180. ⟨hal-01352344⟩
  • Catalin Dima, Marius Minea, Ferucio Laurentiu Tiplea. Preface. Electronic Notes in Theoretical Computer Science, Elsevier, 2007, 186, pp.1--2. ⟨10.1016/j.entcs.2007.05.035⟩. ⟨hal-01699959⟩
  • Amel Mammar, Régine Laleau. A formal approach based on UML and B for the specification and development of database applications. Automated Software Engineering, Springer Verlag, 2006, 13 (4), pp.497-528. ⟨hal-00147056⟩
  • Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, et al.. Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Software Process: Improvement and Practice, Wiley, 2006, 11 (5), pp.487-503. ⟨hal-00147053⟩
  • Amel Mammar, Régine Laleau. From a B formal specification to an executable code: application to the relational database domain. International Journal of Information and Software Technology, 2006, 28 (4), pp.253-279. ⟨hal-00145868⟩
  • Alexis Bès, Olivier Carton. A Kleene Theorem for Languages of Words Indexed by Linear Orderings. International Journal of Foundations of Computer Science, World Scientific Publishing, 2006, 17(3), pp.519-542. ⟨hal-00091582⟩
  • Alexis Bès, Olivier Carton. A Kleene Theorem for Languages of Words Indexed by Linear Orderings. International Journal of Foundations of Computer Science, World Scientific Publishing, 2006, 17 (3), pp.519-542. ⟨hal-00160976⟩
  • Amel Mammar, Régine Laleau. UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method.. Journal of Database Management, IGI Global, 2006, 17 (4), pp.70-89. ⟨hal-01224665⟩
  • Patrick Cegielski, Irène Guessarian, Yuri Lifshits, Yuri Matiyasevich. Window Subsequence Problem for Compressed Texts. Lecture Notes in Computer Science, Springer, 2006, 3697, pp.127-136. ⟨hal-00095714⟩
  • Tristan Crolard, Samuel Lacas, Pierre Valarcher. On the Expressive Power of the Loop Language. Nordic Journal of Computing, Publishing Association Nordic Journal of Computing, 2006, 13, http://www.cs.helsinki.fi/njc. ⟨hal-00089848⟩
  • Danièle Beauquier, Anatol Slissenko. Periodicity Based Decidable Classes in a First Order Timed Logic. Annals of Pure and Applied Logic, Elsevier Masson, 2006, 139, pp.43--73. ⟨hal-00116950⟩
  • Franck Pommereau. Petri nets as executable specifications of high-level timed parallel systems.. Scalable Computing : Practice and Experience, West University of Timisoara, 2005, 6 (4), pp.71-82. ⟨hal-00114669⟩
  • Benoît Fraikin, Marc Frappier, Régine Laleau. State-Based versus Event-Based Specifications for Information Systems: a Comparison of B and EB3. Software and Systems Modeling, Springer Verlag, 2005, 4 (3), pp.236-257. ⟨hal-00145961⟩
  • Frédéric Gava. External Memory in Bulk Synchronous Parallel ML. Scalable Computing : Practice and Experience, West University of Timisoara, 2005, 6(4), pp.43-70. ⟨hal-00109451⟩
  • Patrick Cegielski. Decidability and p-destinies. Journal of Mathematical Sciences, Springer Verlag (Germany), 2005, 130, pp.4620-4623. ⟨hal-00095704⟩
  • Patrick Cegielski, Ruy de Queiroz. Proceedings of the 11th Workshop on Logic, Language, Information and Computation (WoLLIC 04). Electronic Notes in Theoretical Computer Science, Elsevier, 2005, 123, pp.240. ⟨hal-00097613⟩
  • Frédéric Gava, Frédéric Loulergue. A Functional Language for Departmental Metacomputing. Parallel Processing Letters, World Scientific Publishing, 2005, 15(3), pp.289-304. ⟨hal-00110829⟩
  • Frédéric Gava, Frédéric Loulergue. A Static Analysis for Bulk Synchronous Parallel ML to Avoid Parallel Nesting. Future Generation Computer Systems, Elsevier, 2005, 21(5), pp.665-671. ⟨hal-00110830⟩
  • Jean-Baptiste Yunès, Jean-Francis Michon, Pierre Valarcher. On Maximal QROBDD's of Boolean Functions. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2005, 39, pp.ITA0442. ⟨hal-00081326⟩
  • Patrick Cegielski. Il faut revenir aux sources !. L'informatique professionnelle, Gartner ISSN 0750-1080, 2004, 229, pp.11-15. ⟨hal-00096773⟩
  • Patrick Cegielski, Malika More. Foreword – Weak Arithmetics. Theoretical Computer Science, Elsevier, 2004, 322, pp.1-3. ⟨hal-00097609⟩
  • Tristan Crolard. A formulae-as-types interpretation of Subtractive Logic. Journal of Logic and Computation, Oxford University Press (OUP), 2004, 14:4, pp.529-570. ⟨hal-00094584⟩
  • Nathalie Caspard, Bernard Monjardet. Some lattices of closure systems on a finite set. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2004, 6 (2), pp.163-190. ⟨hal-00959003⟩
  • Nathalie Caspard, Bernard Monjardet. The lattices of closure systems, closure operators and implicational systems on a finite set : a survey.. Discrete Applied Mathematics, Elsevier, 2003, 127, pp.241-269. ⟨hal-00095569⟩
  • Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau. Asynchonous Box Calculus. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2003, 54, pp.1-50. ⟨hal-00114675⟩
  • Jef Wijsen, Alexis Bès. On query optimization in a temporal SPC algebra. Data Knowl. Eng., 2003, 44 (2), pp.165-192. ⟨hal-01215410⟩
  • Frédéric Gava. Formal Proofs of Functional BSP Programs. Parallel Processing Letters, World Scientific Publishing, 2003, 13, pp.365-376. ⟨hal-00005601⟩
  • Patrick Cégielski, François Heroult, Denis Richard. On the amplitude of intervals of natural numbers whose every element is coprime with no extremity. Theoretical Computer Science, Elsevier, 2003, 303, pp.53-62. ⟨hal-00005600⟩
  • Raymond Devillers, Hanna Klaudel, R.-C. Riemann. General Parameterised Refinement and Recursion for the M-net Calculus. Theoretical Computer Science, Elsevier, 2003, 300, pp.325-258. ⟨hal-00005602⟩
  • Danièle Beauquier. On probabilistic timed automata. Theoretical Computer Science, Elsevier, 2003, 292, pp.65-84. ⟨hal-00005596⟩
  • Alessandra Carbone, M. Gomov. Functional labels and syntactic entropy on DNA strings and proteins. Theoretical Computer Science, Elsevier, 2003, 303, pp.35-51. ⟨10.1016/S0304-3975(02)00443-7⟩. ⟨hal-00005598⟩
  • J. Wijsen, Alexis Bès. On query optimization in some SPC temporal algebra. Knowledge and Data Engineering, 2003, 44, pp.165-192. ⟨hal-00005597⟩
  • Gaétan Hains, Frédéric Loulergue. Preface: Special Issue on High-Level Parallel Programming and Applications. Parallel Processing Letters, World Scientific Publishing, 2003, 13, pp.313-316. ⟨hal-00005603⟩
  • Hanna Klaudel, Franck Pommereau. A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2002, 50(1), pp.33-55. ⟨hal-00114685⟩
  • Alexis Bès. Definability and decidability results related to the elementary theory of ordinal multiplication. Fundamenta Mathematicae, Instytut Matematyczny, Polskiej Akademii Nauk,, 2002, 171, pp.197-211. ⟨hal-00091581⟩
  • Alexis Bès. Decidability and definability results related to the elementary theory of ordinal multiplication. Fundamenta Mathematicae, Instytut Matematyczny, Polskiej Akademii Nauk,, 2002, 171, pp.197--211. ⟨hal-01215411⟩
  • Eugene Asarin, Catalin Dima. Balanced timed regular expressions. Electronic Notes in Theoretical Computer Science, Elsevier, 2002, 68 (5), pp.16--33. ⟨10.1016/S1571-0661(04)80518-8⟩. ⟨hal-01699969⟩
  • Nathalie Caspard, Karell Bertet. Doubling convex sets in lattices : characterizations and recognition algorithms. Order, Springer Verlag, 2002, 19, pp.181-207. ⟨hal-00095564⟩
  • Catalin Dima. Real-Time Automata. Journal of Automata, Languages and Combinatorics, 2001, 6 (1), pp.3--24. ⟨hal-01699971⟩
  • Patrick Cegielski, Denis Richard. Decidability of natural integers equipped with Cantor pairing function and successor. Theoretical Computer Science, Elsevier, 2001, 257, pp.51-77. ⟨hal-00095681⟩
  • Tristan Crolard. Subtractive logic. Theoretical Computer Science, Elsevier, 2001, 254:1-2, pp.151-185. ⟨hal-00094589⟩
  • Irene Guessarian, Luc Boasson, Patrick Cegielski, Yuri Matiyasevich. Window Accumulated Subsequence Matching is linear. Annals of Pure and Applied Logic, Elsevier Masson, 2001, 113, pp.59-80. ⟨hal-00020677⟩
  • Patrick Cegielski, Serge Grigorieff, Denis Richard. La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2000, 331, pp.107-110. ⟨hal-00095677⟩
  • Alexis Bès. An Extension of The Cobham-Semënov Theorem. J. Symb. Log., 2000, 65 (1), pp.201-211. ⟨hal-01215413⟩
  • Nathalie Caspard. The lattice of permutations is bounded. International Journal of Algebra and Computation, World Scientific Publishing, 2000, 10(4), pp.481-489. ⟨hal-00095565⟩
  • Tristan Crolard. A confluent lambda-calculus with a catch/throw mechanism. Journal of Functional Programming, Cambridge University Press (CUP), 1999, 9:6, pp.625-647. ⟨hal-00094601⟩
  • Tristan Crolard. A Type Theory which is complete for Kreisel's Modified Realizability. Electronic Notes in Theoretical Computer Science, Elsevier, 1999, 23, pp.1-16. ⟨hal-00094650⟩
  • Nathalie Caspard. A Characterization for the canonical basis of a closure operator. Order, Springer Verlag, 1999, 16(3), pp.227-230. ⟨hal-00095566⟩
  • Patrick Cegielski, Denis Richard. On arithmetical first-order theories allowing encoding and decoding of lists. Theoretical Computer Science, Elsevier, 1999, 222, pp.55-75. ⟨hal-00095676⟩
  • Alexis Bès, Denis Richard. Undecidable Extensions of Skolem Arithmetic. J. Symb. Log., 1998, 63 (2), pp.379-401. ⟨hal-01215414⟩
  • Miklos Santha, Sovanna Tan. Verifying the Determinant in Parallel. Computational Complexity, Springer Verlag, 1998, 7 (2), pp.128--151. ⟨10.1007/PL00001596⟩. ⟨hal-01791246⟩
  • Nathalie Caspard, Bernard Monjardet. On a dependence relation in finite lattices. Discrete Mathematics, Elsevier, 1997, 165-166, pp.497-505. ⟨hal-00095568⟩
  • Alexis Bès. Undecidable Extensions of Büchi Arithmetic and Cobham-Semënov Theorem. J. Symb. Log., 1997, 62 (4), pp.1280-1296. ⟨hal-01215416⟩
  • Alexis Bès. On Pascal Triangles Modulo a Prime Power. Annals of Pure and Applied Logic, Elsevier Masson, 1997, 89 (1), pp.17-35. ⟨hal-01215415⟩
  • Patrick Cegielski, Yuri Matiyasevich, Denis Richard. Definability and decidability issues in extensions of the integers with the divisibility predicate. The Journal of Symbolic Logic, 1996, 61, pp.515-540. ⟨hal-00095673⟩
  • Patrick Cegielski, Jean-Pierre Raoult, Denis Richard. Colloque National sur les Recherches en IUT. Quadrature, EDP Sciences, 1996, 24, pp.120. ⟨hal-00097626⟩
  • Patrick Cegielski. C'est é-lé-mentaire. Quadrature, EDP Sciences, 1996, 24, pp.13-17. ⟨hal-00096771⟩
  • Patrick Cegielski. Definability, decidability and complexity. Annals of Mathematics and Artificial Intelligence, Springer Verlag, 1996, 111, pp.311-341. ⟨hal-00095667⟩
  • Joelle Cohen, Dominique Perrin, Jean-Eric Pin. On the expressive power of temporal logic for finite words. Journal of Computer and System Sciences, Elsevier, 1993, 46, pp.271-294. ⟨10.1016/0022-0000(93)90005-H⟩. ⟨hal-00020069⟩
  • Patrick Cegielski, Denis Richard. Indécidabilité de la théorie des entiers naturels munis d'une énumération des premiers et de la divisibilité. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1992, 315, pp.1431-1434. ⟨hal-00095664⟩
  • Patrick Cegielski. La théorie des corps inductifs archimédiens rationnellement complets. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1990, 311, pp.847-850. ⟨hal-00095659⟩
  • Patrick Cegielski. La théorie des corps réels-clos inductifs est une extension conservative de l'arithmétique de Peano. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1990, 310, pp.239-242. ⟨hal-00095655⟩
  • Patrick Cegielski. The Elementary Theory of the Natural Lattice is Finitely Axiomatizable. Notre Dame Journal of Formal Logic, University of Notre Dame, 1989, 30, pp.138-150. ⟨hal-00095651⟩
  • Patrick Cegielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie. Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France. Annals of Pure and Applied Logic, Elsevier Masson, 1987, 89, pp.1-3. ⟨hal-00097607⟩
  • Patrick Cegielski. La théorie élémentaire de la divisibilité est finiment axiomatisable. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1984, 299, pp.367-369. ⟨hal-00095646⟩
  • Patrick Cegielski. La théorie élémentaire de la multiplication est conséquence d'un nombre fini d'axiomes de ISigmaZéro. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1981, 293, pp.351-352. ⟨hal-00095642⟩
  • Patrick Cegielski. La théorie élémentaire de la multiplication. Lecture Notes in Mathematics, Springer, 1981, 890, pp.44-89. ⟨hal-00096746⟩
  • Patrick Cegielski. La théorie élémentaire de la multiplication. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1980, 290, pp.935-938. ⟨hal-00095636⟩

Conference papers370 documents

  • Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove. Games Where You Can Play Optimally with Arena-Independent Finite Memory. 31st International Conference on Concurrency Theory (CONCUR'20), Sep 2020, Vienna, Austria. ⟨10.4230/LIPIcs.CONCUR.2020.18⟩. ⟨hal-02917552⟩
  • Meryem Afendi, Régine Laleau, Amel Mammar. Modelling hybrid programs with Event-B. ABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, ULM, Germany. pp.139-154, ⟨10.1007/978-3-030-48077-6_10⟩. ⟨hal-02975782⟩
  • Amel Mammar, Marc Frappier, Régine Laleau. An Event-B model of an automotive adaptive exterior light system. ABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, Ulm, Germany. pp.351-366, ⟨10.1007/978-3-030-48077-6_28⟩. ⟨hal-02975783⟩
  • Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, et al.. Falsification of Cyber-Physical Systems with Constrained Signal Spaces. NASA Formal Methods, May 2020, Moffett Field, United States. pp.420-439, ⟨10.1007/978-3-030-55754-6_25⟩. ⟨hal-03049273⟩
  • Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. Glueability of resource proof-structures: inverting the Taylor expansion. 28th EACSL Annual Conference on Computer Science Logic, Jan 2020, Barcelone, Spain. ⟨10.4230/LIPIcs.CSL.2020.24⟩. ⟨hal-02957862⟩
  • Lynda Mokdad, Jean-Michel Fourneau, Abdelkrim Abdelli. Performance Evaluation of the QoS Aware Web Service Composition with Communities of Consumers. GLOBECOM 2019 - 2019 IEEE Global Communications Conference, Dec 2019, Waikoloa, United States. pp.1-6, ⟨10.1109/GLOBECOM38437.2019.9014302⟩. ⟨hal-02506779⟩
  • Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, et al.. Assessment of a formal requirements modeling approach on a transportation system. ICFEM 2019: 21st International Conference on Formal Engineering Methods, Nov 2019, Shenzhen, China. pp.470-486, ⟨10.1007/978-3-030-32409-4_29⟩. ⟨hal-02386946⟩
  • Jérémie Pardo, Sergiu Ivanov, Franck Delaplace. Sequential Reprogramming of Biological Network Fate. 17th International Conference on Computational Methods in Systems Biology (CMSB 2019), Sep 2019, Trieste, Italy. pp.20--41, ⟨10.1007/978-3-030-31304-3_2⟩. ⟨hal-02388236⟩
  • Steve Jeffrey Tueno Fotso, Régine Laleau, Hector Ruiz Barradas, Marc Frappier, Amel Mammar. A formal requirements modeling approach: application to rail communication. ICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.170-177, ⟨10.5220/0007809701700177⟩. ⟨hal-02403931⟩
  • Patrick Cegielski, Julien Cervelle. Study of Stepwise Simulation Between ASM. 15th Conference on Computability in Europe, Jul 2019, Durham, United Kingdom. pp.156-167. ⟨hal-02182747⟩
  • Laurent Beaudou, Florent Foucaud, Florent Madelaine, Lhouari Nourine, Gaétan Richard. Complexity of Conjunctive Regular Path Query Homomorphisms. Conference on Computability in Europe (CiE 2019), Jul 2019, Durham, United Kingdom. pp.108-119, ⟨10.1007/978-3-030-22996-2_10⟩. ⟨hal-02288666⟩
  • Pierre Guillon, Emmanuel Jeandel, Jarkko Kari, Pascal Vanier. Undecidable word problem in subshift automorphism groups. Computer Science in Russia 2019, Jul 2019, Novosibirsk, Russia. ⟨hal-01862896v2⟩
  • Benoît Barbot, Nicolas Basset, Thao Dang. Generation of Signals Under Temporal Constraints for CPS Testing. NASA Formal Methods NFM 2019, May 2019, Houston, TX, United States. ⟨10.1007/978-3-030-20652-9⟩. ⟨hal-02402402⟩
  • Mihaela Sighireanu, Juan Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, et al.. SL-COMP: Competition of Solvers for Separation Logic. Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TOOLympics, Held as Part of 2019, Apr 2019, Prague, Czech Republic. pp.116-132, ⟨10.1007/978-3-030-17502-3_8⟩. ⟨hal-02388022⟩
  • Emmanuel Jeandel, Pascal Vanier. A Characterization of Subshifts with Computable Language. STACS 2019 - 36th International Symposium on Theoretical Aspects of Computer Science, Mar 2019, Berlin, Germany. ⟨hal-02133469⟩
  • Paolo Ballarini, Benoît Barbot, Nicolas Vasselin. Performance modelling of access control mechanisms for local and vehicular wireless networks. 12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118. ⟨hal-02131725⟩
  • Steve Tueno, Marc Frappier, Régine Laleau, Amel Mammar. Back propagating B system updates on SysML/KAOS domain models. ICECCS 2018: 23rd International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia. pp.160 - 169, ⟨10.1109/ICECCS2018.2018.00025⟩. ⟨hal-01963152⟩
  • Victor Allombert, Frédéric Gava, Julien Tesson. Toward performance prediction for Multi-BSP programs in ML. 18th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), Nov 2018, Guangzhou, China. ⟨hal-01941250v2⟩
  • Julien Tesson, Frédéric Loulergue. Interactive Bulk Synchronous Parallel Functional Programming in a Browser. 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI), Oct 2018, Guangzhou, China. pp.1593-1598, ⟨10.1109/SmartWorld.2018.00273⟩. ⟨hal-02317093⟩
  • Steve Tueno, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel. Formalisation of SysML/KAOS goal assignments with B system component decompositions. IFM 2018: 14th International Conference on Integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.377 - 397, ⟨10.1007/978-3-319-98938-9_22⟩. ⟨hal-01885098⟩
  • Florent Madelaine, Barnaby Martin. Consistency for Counting Quantifiers. International Symposium on Mathematical Foundations of Computer Science, Aug 2018, Liverpool, United Kingdom. ⟨hal-02288672⟩
  • Florent Madelaine, Stéphane Secouard. Quantified Valued Constraint Satisfaction Problem. Principles and Practice of Constraint Programming CP 2018, Aug 2018, Lille, France. pp.295-311, ⟨10.1007/978-3-319-98334-9_20⟩. ⟨hal-02288668⟩
  • Victor Allombert, Frédéric Gava. An ML implementation of the MULTI-BSP model. International Conference on High Performance Computing and Simulation (HPCS 2018), Jul 2018, Orléans, France. ⟨hal-01941229⟩
  • Victor Allombert, Frédéric Gava. Programming BSP and Multi-BSP algorithms in ML. 11th International Symposium on High-Level Parallel Programming and Applications (HLPP 2018), Jul 2018, Orléans, France. ⟨hal-01941228⟩
  • Anaël Grandjean, Benjamin Hellouin de Menibus, Pascal Vanier. Aperiodic points in $\mathbb Z^2$-subshifts. ICALP 2018, Jul 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018.496⟩. ⟨hal-01722008v2⟩
  • Victor Allombert, Frédéric Gava, Julien Tesson. A formal semantics of the MULTI-ML language. International Symposium on Parallel and Distributed Computing (ISPDC 2018), Jun 2018, Genève, Switzerland. ⟨hal-01835315⟩
  • Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad. Integrating Simulink Models into the Model Checker Cosmos. 39th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.363-373, ⟨10.1007/978-3-319-91268-4_19⟩. ⟨hal-01916467⟩
  • Etienne Moutot, Pascal Vanier. Slopes of 3-dimensional Subshifts of Finite Type. CSR 2018, Jun 2018, Moscou, Russia. pp.257--268, ⟨10.1007/978-3-319-90530-3_22⟩. ⟨hal-01772574⟩
  • Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier. Event-B expression and verification of translation rules between SysML/KAOS domain models and B system specifications. ABZ 2018 : 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. pp.55--70, ⟨10.1007/978-3-319-91271-4_5⟩. ⟨hal-01797812⟩
  • Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar. Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Jun 2018, Southampton, United Kingdom. pp.262-276, ⟨10.1007/978-3-319-91271-4_18⟩. ⟨hal-01797811⟩
  • Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau. An Event-B model of the hybrid ERTMS/ETCS level 3 standard. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Jun 2018, Southampton, United Kingdom. pp.353-366, ⟨10.1007/978-3-319-91271-4_24⟩. ⟨hal-01797810⟩
  • Philippe Lépinard, Emmanuel Polonowski. Cybersécurité, enseignement et recherche. 1ère conférence UPEC sur la cybersécurité Perception des risques et réalité des enjeux, May 2018, Créteil, France. ⟨hal-01823348⟩
  • Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen. Modeling accordeon method using SAN. International Conference on Communications (ICC), May 2018, Kansas City, United States. ⟨hal-01724057⟩
  • Hyunbum Kim, Jalel Ben-Othman, S. Cho, Lynda Mokdad. On Virtual Emotion Barrier in Internet of Things. IEEE International Conference on Communications (ICC'18), May 2018, Kansas city, United States. ⟨hal-01724201⟩
  • Johanne Cohen, Alexandre Fauquette, Jean-Michel Fourneau, Nihal Pekergin, Gilles Christian. Convex Stochastic Bounds and Stochastic Optimisation on Graphs . Ninth International Workshop on Practical Applications of Stochastic Modelling (PASM 2017), Sep 2017, Berlin, Germany. ⟨hal-01638313⟩
  • Sergey Verlan, Artiom Alhazov, Rudolf Freund, Sergiu Ivanov. (Tissue) P Systems with Vesicles of Multisets. 15th International Conference on Automata and Formal Languages, AFL 2017, Sep 2017, Debrecen, Hungary. pp.11 - 25, ⟨10.4204/EPTCS.252.6⟩. ⟨hal-01638707⟩
  • Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier. Towards using ontologies for domain modeling within the SysML/KAOS approach. REW 2017: IEEE 25th International Requirements Engineering Conference Workshops, Sep 2017, Lisbon, Portugal. pp.1 - 5, ⟨10.1109/REW.2017.22⟩. ⟨hal-01692857⟩
  • Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Stochastic bounds for switched Bernoulli batch arrivals observed through measurements. ASMTA 2017 : international conference on Analytical and Stochastic Modeling Techniques and Applications, Jul 2017, Newcastle-Upon-Tyne, United Kingdom. pp.1 - 15, ⟨10.1007/978-3-319-61428-1_1⟩. ⟨hal-01685254⟩
  • Rudolf Freund, Vladimir Rogojin, Sergey Verlan. Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors. 19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.140-151, ⟨10.1007/978-3-319-60252-3_11⟩. ⟨hal-01657015⟩
  • Walid Serrai, Abdelkrim Abdelli, Lynda Mokdad, Ashraf Serrai. Dealing with User Constraints in MCDM Based Web Service Selection. IEEE Symposium on Computers and Communications (ISCC'17), Jul 2017, Crète, Greece. ⟨hal-01724210⟩
  • S. Hafidi, Nawel Gharbi, Lynda Mokdad. Queuing and Service Management for Congestion Control in Wireless Sensor Networks Using Markov Chains. IEEE Symposium on Computers and Communications (ISCC'17), Jul 2017, Crète, Greece. ⟨hal-01724215⟩
  • Julien Cervelle, Grégory Lafitte. On shift-invariant maximal filters and hormonal cellular automata. LICS: Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1-10, ⟨10.1109/LICS.2017.8005145⟩. ⟨hal-01615278⟩
  • Merlin Carl, Bruno Durand, Grégory Lafitte, Sabrina Ouazzani. Admissibles in Gaps. CiE: Computability in Europe, Jun 2017, Turku, Finland. pp.175-186, ⟨10.1007/978-3-319-58741-7_18⟩. ⟨lirmm-02020594⟩
  • Michael Hochman, Pascal Vanier. Turing degree spectra of minimal subshifts. Computer Science - Theory and Applications - 12th International Computer Science Symposium in Russia, Jun 2017, Kazan, Russia. ⟨10.1007/978-3-319-58747-9_15⟩. ⟨hal-01058198v4⟩
  • Henning Fernau, Lakshmanan Kuppusamy, Sergey Verlan. Universal Matrix Insertion Grammars with Small Size. Unconventional Computation and Natural Computation - 16th International Conference, UCNC 2017, Jun 2017, Fayetteville, United States. pp.182-193. ⟨hal-01638808⟩
  • Myriam Preissmann, Paul-Elliot Angles d'Auriac, Francis Maisonneuve, Vivien Maisonneuve, Emmanuel Preissmann. New results on variants of the Majority problem. 17th Haifa Workshop on Interdisciplinary Applications of Graphs, Combinatorics and Algorithms,, University of Haifa, Jun 2017, HAIFA, Israel. ⟨hal-02148442⟩
  • Hyunbum Kim, Jalel Ben-Othman, Lynda Mokdad. On Differential Privacy-preserving Movements of Unmanned Aerial Vehicles, In proceeding of . IEEE International Conference on Communications (ICC'17), , May 2017, Paris, France. ⟨hal-01724288⟩
  • Quentin Monnet, Mathieu Sassolas, Lynda Mokdad. Modeling DoS Attacks in WSNs with Quantitative Games. IEEE International Conference on Communications (ICC'17), May 2017, paris, France. ⟨hal-01724292⟩
  • Lynda Mokdad, Nawel. Gharbi, Jalel Ben-Othman. On the Applicability of SAN in Modeling and Analyzing a Priority Queue Management based Congestion Control for WMSNs. IEEE International Conference on Communications (ICC'17), May 2017, Paris, France. ⟨hal-01724294⟩
  • Jean-Michel Fourneau, Lynda Mokdad, Jalel Ben Othman, Abdelkrim Abdelli. Admission Control Based on WRR in WiMAX Networks. 2017 IEEE Wireless Communications and Networking Conference (WCNC), Mar 2017, San Francisco, France. ⟨10.1109/WCNC.2017.7925712⟩. ⟨hal-01833355⟩
  • Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad. Statistical Model-Checking for Autonomous Vehicle Safety Validation. Conference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France. ⟨hal-01491064⟩
  • Mohamed Amine Kafi, Jalel Ben-Othman, Lynda Mokdad, Jean-Michel Fourneau, Nadjib Badache. REFIACC Scheme Evaluation using Analytical Modelling. IEEE Wireless Communications and Networking Conference (WCNC'17), Mar 2017, San Francisco, United States. ⟨hal-01724298⟩
  • Lynda Mokdad, Jean-Michel Fourneau, Jalel Ben-Othman, Abdelkrim Abdelli. Admission Control based on WRR in WiMAX Networks. IEEE Wireless Communications and Networking Conference (WCNC'17), Mar 2017, San Francisco, United States. ⟨hal-01724299⟩
  • Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau. Verification of SGAC Access Control Policies Using Alloy and ProB. 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Jan 2017, Singapore, Singapore. pp.120 - 123, ⟨10.1109/HASE.2017.24⟩. ⟨hal-01574899⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. Bi-simulation Between P Colonies and P Systems with Multi-stable Catalysts. Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers, 2017, Unknown, Unknown Region. pp.105--117, ⟨10.1007/978-3-319-73359-3_7⟩. ⟨hal-01757528⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. Computationally Complete Generalized Communicating P Systems with Three Cells. Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers, 2017, Unknown, Unknown Region. pp.118--128, ⟨10.1007/978-3-319-73359-3_8⟩. ⟨hal-01757529⟩
  • Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones. Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, 2017, Unknown, Unknown Region. pp.1286--1295. ⟨hal-01699927⟩
  • L. Charabi, Nawel Gharbi, Jalel Ben-Othman, Lynda Mokdad. Call Admission Control in Small Cell Networks with Retrials and Guard Channels. IEEE Global Communications conference (GLOBECOM’16), Dec 2016, Washington, United States. ⟨hal-01724301⟩
  • Amel Mammar, Régine Laleau. On the use of domain and system knowledge modeling in goal-based Event-B specifications. ISOLA 2016 : 7th International Symposium on Leveraging Applications of Formal Methods, Oct 2016, Corfu, Greece. pp.325 - 339, ⟨10.1007/978-3-319-47166-2_23⟩. ⟨hal-01425977⟩
  • Elisabeth Pelz. Timed Processes of Interval-Timed Petri Nets. CS&P, ceur-ws.org/Vol-1698, Sep 2016, Rostock, Germany. ⟨hal-01800681⟩
  • Catalin Dima, Bastien Maubert. Relating Paths in Transition Systems: the Fall of the Modal mu-Calculus. 17th Italian Conference on Theoretical Computer Science, Sep 2016, Lecce, Italy. ⟨hal-02533453⟩
  • Haroun Benkaouha, Abdelkrim Abdelli, Jalel Ben-Othman, Y. Zaffoune, Lynda Mokdad. Distributed Implementation of a Stable Storage for MANET Checkpointing Protocols. IEEE International Wireless Communications and Mobile Computing Conference (IWCMC’16), Sep 2016, cyprus, Cyprus. ⟨hal-01724316⟩
  • Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Stochastic bounds and histograms for active queues management and networks analysis. 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⟩. ⟨hal-01449260⟩
  • Sergey Verlan, Artiom Alhazov, Rudolf Freund. P Systems Working in Maximal Variants of the Set Derivation Mode. Membrane Computing - 17th International Conference, Jul 2016, Milan, Italy. pp.83-102. ⟨hal-01757362⟩
  • Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, et al.. Layered Data: A Modular Formal Definition without Formalisms. Petri Nets and Software Engineering (PNSE 2016), Jun 2016, Toruń, Poland. pp.287-306. ⟨hal-01353944⟩
  • Walid Serrai, Abdelkrim Abdelli, Lynda Mokdad, Youcef Hammal. An Efficient Approach for Web Service Selection. IEEE Symposium on Computers and Communications (ISCC'16), Jun 2016, Messina, Italy. ⟨hal-01724304⟩
  • Thi Mai Nguyen, Amel Mammar, Régine Laleau, Samir Hameg. A tool for the generation of a secure access control filter. RCIS 2016 : 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. pp.1 - 12, ⟨10.1109/RCIS.2016.7549285⟩. ⟨hal-01359879⟩
  • Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Régine Laleau. SGAC: a patient-centered access control method. RCIS 2016 : 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. pp.1 - 12, ⟨10.1109/RCIS.2016.7549286⟩. ⟨hal-01359877⟩
  • Lynda Mokdad, Jalel Ben-Othman, Paolo Ballarini. Stochastic models for IEEE 802.11p. IEEE Symposium on Computers and Communications (ISCC'16), Jun 2016, Messina, Italy. ⟨10.1109/ISCC.2016.7543717⟩. ⟨hal-01724310⟩
  • Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas. Preserving opacity on Interval Markov Chains under simulation. WODES 2016 - 13th International Workshop on Discrete Event Systems , May 2016, Xi'an, China. pp.319-324, ⟨10.1109/WODES.2016.7497866⟩. ⟨hal-01347712⟩
  • Haroun Benkaouha, Abdelkrim Abdelli, M. Guerroumi, Jalel Ben-Othman, Lynda Mokdad. EAFD, a Failure Detector for clustered WSN. IEEE International Conference on Communications (ICC’16), May 2016, Kuala Lumpur Malaysia. ⟨hal-01724314⟩
  • Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickaël Randour, et al.. Non-Zero Sum Games for Reactive Synthesis . LATA 2016 : 10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic. pp.3-23, ⟨10.1007/978-3-319-30000-9_1⟩. ⟨hal-01373546⟩
  • Amel Mammar, Thi Mai Nguyen, Régine Laleau. Formal development of a secure access control filter. HASE 2016 : 17th International Symposium on High-Assurance Systems Engineering, Jan 2016, Orlando, Florida, United States. pp.173 - 180, ⟨10.1109/HASE.2016.10⟩. ⟨hal-01298113⟩
  • Luidnel Maignan, Jean-Baptiste Yunès. A Field Based Solution of Mazoyer's FSSP Schema. Cellular Automata - 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings, Samira El Yacoubi, Jaroslaw Wąs, Stefania Bandini, 2016, Fez, Morocco. pp.134--143, ⟨10.1007/978-3-319-44365-2_13⟩. ⟨hal-01799306⟩
  • Marziyeh Bayati. Managing Energy Consumption and Quality of Service in Data Centers. SMARTGREENS 2016 - Proceedings of the 5th International Conference on Smart Cities and Green ICT Systems, Rome, Italy, April 23-25, 2016., 2016, Unknown, Unknown Region. pp.293--301, ⟨10.5220/0005791802930301⟩. ⟨hal-01818626⟩
  • Igor Potapov, Olena Prianychnykova, Sergey Verlan. Insertion-Deletion Systems over Relational Words. In Reachability Problems - 10th International Workshop, RP 2016, 2016, Aalborg, Denmark. pp.177-191. ⟨hal-01757410⟩
  • Benoît Barbot, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska. Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, 2016, Unknown, Unknown Region. pp.175--190, ⟨10.1007/978-3-319-43425-4_13⟩. ⟨hal-01371897⟩
  • Nihal Pekergin, Sovanna Tan, Jean-Michel Fourneau. Quantitative Attack Tree Analysis: Stochastic Bounds and Numerical Analysis. Graphical Models for Security - Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers, 2016, Unknown, Unknown Region. pp.119--133, ⟨10.1007/978-3-319-46263-9_8⟩. ⟨hal-01791243⟩
  • Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau. Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, 2016, Linz, Austria. pp.394--408, ⟨10.1007/978-3-319-33600-8_33⟩. ⟨hal-01574901⟩
  • Luidnel Maignan, Jean-Baptiste Yunès. Synchronizing the Squad with (Almost) Arbitrary Cut Ratio. Fourth International Symposium on Computing and Networking, CANDAR 2016, Hiroshima, Japan, November 22-25, 2016, 2016, Hiroshima, Japan. pp.229--235, ⟨10.1109/CANDAR.2016.0048⟩. ⟨hal-01799305⟩
  • Quentin Monnet, Youcef Hammal, Lynda Mokdad, Jalel Ben-Othman. Fair Election of Monitoring Nodes in WSNs. IEEE Global Communications Conference (GLOBECOM, GC’15), Dec 2015, San Diego, United States. ⟨hal-01314197⟩
  • Haroun Benkaouha, Abdelkrim Abdelli, Nadjib Badache, Jalel Ben-Othman, Lynda Mokdad. Towards improving Failure detection in Mobile Ad hoc Networks. IEEE Global Communications conference (GLOBECOM’15), Dec 2015, San Diego, United States. ⟨hal-01724318⟩
  • William Hurst, Nathan Shone, Quentin Monnet. Predicting the Effects of DDoS Attacks on a Network of Critical Infrastructures. Thirteenth IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC’15), Oct 2015, Liverpool, United Kingdom. ⟨10.1109/CIT/IUCC/DASC/PICOM.2015.256⟩. ⟨hal-01314192⟩
  • Farah Ait Salaht, Hind Castel-Taleb, Thierry Mautor, Jean-Michel Fourneau, Nihal Pekergin. Smoothing the input process in a batch queue. 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⟩. ⟨hal-01255053⟩
  • Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas. Polynomial Interrupt Timed Automata. The 9th Workshop on Reachability Problems (RP'15), Sep 2015, Warsaw, Poland. pp.20-32, ⟨10.1007/978-3-319-24537-9_3⟩. ⟨hal-01222572⟩
  • Nawel Gharbi, Lynda Mokdad, Jalel Ben-Othman. Performance Evaluation of Heterogeneous Servers Allocation Disciplines in Networks with Retrials. IEEE Global Communications conference (GLOBECOM’15), Sep 2015, San Diego, United States. ⟨hal-01724319⟩
  • Nawel Gharbi, L. Charabi, Lynda Mokdad. Performance Evaluation of Heterogeneous Servers Allocation Disciplines in Networks with Retrials. IEEE International Conference on High Performance and Communications (HPCC’15), Aug 2015, New york, United States. ⟨hal-01724321⟩
  • Elisabeth Pelz, Abderraouf Kabouche, Louchka Popova-Zeugmann. Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation. PNSE'15, Jul 2015, Bruxelles, Belgium. ⟨hal-01800685⟩
  • Jonathan Pascalie, Martin Potier, Taras Kowaliw, Jean-Louis Giavitto, Olivier Michel, et al.. Spatial Computing in Synthetic Bioware: Creating Bacterial Architectures. 13th European Conference on Artificial Life (ECAL 2015), Paul Andrews, Leo Caves, René Doursat, Simon Hickinbotham, Fiona Polack, Susan Stepney, Tim Taylor and Jon Timmis, Jul 2015, York, United Kingdom. ⟨10.7551/978-0-262-33027-5-ch115⟩. ⟨hal-01257528⟩
  • Benoit Monin, André Nies. A Unifying Approach to the Gamma Question. LICS 2015, Jul 2015, KYOTO, Japan. pp.585 - 596, ⟨10.1109/LICS.2015.60⟩. ⟨hal-01397264⟩
  • Clément Aubert, Ioana Cristescu. Reversible Barbed Congruence on Configuration Structures. 8th Interaction and Concurrency Experience (ICE 2015) Satellite workshop of DisCoTec 2015, Jun 2015, Grenoble, France. pp.68-85, ⟨10.4204/EPTCS.189.7⟩. ⟨hal-01157974v2⟩
  • Abdelkrim Abdelli, Walid. Serrai, Lynda Mokdad, Youcef Hammal. Time Petri Nets for Performance Evaluation of Composite Web Services Architectures. Symposium on Computers and Communications (ISCC'15), Jun 2015, Larnaca, Cyprus. ⟨hal-01724324⟩
  • Haroun Benkaouha, Abdelkrim Abdelli, Nadjib Badache, Jalel Ben-Othman, Lynda Mokdad. AFDAN: Accurate Failure Detection protocol for MANETs. 11th IEEE International Wireless Communications and Mobile Computing Conference (IWCMC’15), Jun 2015, Dubrovnik, Croatia. ⟨hal-01724326⟩
  • Lynda Mokdad, Youcef Hammal, Jalel Ben Othman, Abdelkrim Abdelli. Formal Modeling and Analysis of Greedy Behaviors. IEEE International Conference on Communications (ICC’15), Jun 2015, Londres, United Kingdom. ⟨hal-01724328⟩
  • Djamel Mansouri, Lynda Mokdad, Jalel Ben Othman, Malika Ioualalen. Preventing Denial of Service Attacks in Wireless Sensor Networks. IEEE International Conference on Communications (ICC’15), Jun 2015, Londres, United Kingdom. ⟨hal-01724332⟩
  • Mohamed-Lamine Laouira, Abdelkrim Abdelli, Lynda Mokdad. An efficient transmitting strategy for image fusion in WMSN. IEEE International Conference on Communications (ICC’15), Jun 2015, Londres, United Kingdom. ⟨hal-01724333⟩
  • Clément Aubert. An in-between "implicit" and "explicit" complexity: Automata. DICE 2015 - Developments in Implicit Computational Complexity, Apr 2015, Londres, United Kingdom. ⟨hal-01111737v2⟩
  • Luidnel Maignan, Antoine Spicher. Global Graph Transformations. Proceedings of the 6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation (ICGT 2015) part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, L'Aquila, Italy, July 20, 2015., 2015, Unknown, Unknown Region. pp.34--49. ⟨hal-01799308⟩
  • Catalin Dima, Bastien Maubert, Sophie Pinchinat. Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus. 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⟩. ⟨hal-01699931⟩
  • Sergey Verlan. Universality in Molecular and Cellular Computing. Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, 2015, Unknown, Unknown Region. pp.95--104, ⟨10.1007/978-3-319-20028-6_10⟩. ⟨hal-01352288⟩
  • Rudolf Freund, Sergiu Ivanov, Sergey Verlan. P Systems with Generalized Multisets Over Totally Ordered Abelian Groups. Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers, 2015, Unknown, Unknown Region. pp.117--136, ⟨10.1007/978-3-319-28475-0_9⟩. ⟨hal-01352290⟩
  • Sergiu Ivanov, Sergey Verlan. Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States. Machines, Computations, and Universality - 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings, 2015, Unknown, Unknown Region. pp.79--93, ⟨10.1007/978-3-319-23111-2_6⟩. ⟨hal-01352286⟩
  • Artiom Alhazov, Rudolf Freund, Sergey Verlan. Bridging Deterministic P Systems and Conditional Grammars. Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers, 2015, Unknown, Unknown Region. pp.63--76, ⟨10.1007/978-3-319-28475-0_5⟩. ⟨hal-01352292⟩
  • Jean-Michel Fourneau, Nihal Pekergin. A Numerical Analysis of Dynamical Fault Trees based on Stochastic Bounds. IEEE QEST, Javier Campos and Boudewijn R. Haverkort, 2015, Madrid, Spain. pp.176-191. ⟨hal-01309364⟩
  • Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais. Formal refinement of extended state machines. Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., 2015, Unknown, Unknown Region. pp.1--16, ⟨10.4204/EPTCS.209.1⟩. ⟨hal-01575304⟩
  • Lynda Mokdad, Jalel Ben-Othman. Modeling and Verification Tools for jamming attacks in VANETS. IEEE Global Communications conference (GLOBECOM’14), Dec 2014, Austin, United States. ⟨hal-01724335⟩
  • Abdelkrim Abdelli, Lynda Mokdad. Time Petri Net based Performance evaluation of traffic scheduling in WIMAX networks. IEEE Global Communications conference (GLOBECOM’14), Dec 2014, Austin, United States. ⟨hal-01724340⟩
  • Amel Mammar, Régine Laleau. A proved approach for building correct instances of UML associations : multiplicities satisfaction. APSEC 2014 : 21st Asia-Pacific Software Engineering Conference, Dec 2014, Jeju, South Korea. pp.438 - 445, ⟨10.1109/APSEC.2014.103⟩. ⟨hal-01257892⟩
  • Laurent Bienvenu, Benoit Monin, Alexander Shen. Algorithmic Identification of Probabilities Is Hard. ALT: Algorithmic Learning Theory, Oct 2014, Bled, Slovenia. pp.85-95, ⟨10.1007/978-3-319-11662-4_7⟩. ⟨hal-01397246⟩
  • Lynda Mokdad, Abdelkrim Abdelli, Jalel Ben-Othman. Modeling and Verification Tools for greedy attacks in non-slotted 802.15.4. IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'14), Sep 2014, Paris, France. ⟨hal-01724342⟩
  • Frédéric Loulergue, Julien Tesson, Virginia Niculescu. Implementing powerlists with Bulk Synchronous Parallel ML. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania. ⟨10.1109/SYNASC.2014.51⟩. ⟨hal-01105115⟩
  • Alex Borello, Julien Cervelle, Pascal Vanier. Turing degrees of limit sets of cellular automata. ICALP 2014, Jul 2014, Copenhaguen, Denmark. pp.74--85, ⟨10.1007/978-3-662-43951-7_7⟩. ⟨hal-00947323⟩
  • Amel Mammar, Régine Laleau. Modeling a landing gear system in Event-B. ABZ 2014 : 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2014, Toulouse, France. pp.80 - 94, ⟨10.1007/978-3-319-07512-9_6⟩. ⟨hal-01254981⟩
  • Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais. Validating the RBAC ANSI 2012 standard using B. 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⟩. ⟨hal-01264810⟩
  • Quentin Monnet, Lynda Mokdad, Jalel Ben-Othman. Energy-balancing method to detect denial of service attacks in wireless sensor networks. IEEE International Conference on Communications (ICC'14), Jun 2014, Sydney, Australia. ⟨10.1109/ICC.2014.6883303⟩. ⟨hal-01132739⟩
  • Lynda Mokdad, Jalel Ben-Othman. Stochastic Automata networks for performance evaluation of composite Web services. IEEE International Conference on Innovations for Community Services (I4CS’14), Jun 2014, Reims, France. ⟨hal-01724343⟩
  • Haroun Benkaouha, Lynda Mokdad, Abdelkrim Abdelli. SAN-Based Modeling of Fault Tolerant Protocols for MANETs. IEEE International Conference on Communications (ICC’14), Jun 2014, Sydney, Australia. ⟨hal-01724346⟩
  • Anatol Slissenko. In Quest of Information in Algorithmic Processes *. International Conf. Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML'2014), Apr 2014, Saint Peterburg, Russia. ⟨hal-01817887⟩
  • Jean-Michel Fourneau, Farah Ait Salaht, Hind Castel-Taleb, Nihal Pekergin. Bornes sur les histogrammes et équation de Loynes pour l'analyse rapide d'une file FIFO. ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France. ⟨hal-00946322⟩
  • Luidnel Maignan, Jean-Baptiste Yunès. Generalized FSSP on Hexagonal Tiling: Towards Arbitrary Regular Spaces. Cellular Automata and Discrete Complex Systems - 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers, 2014, Himeji, Japan. pp.83--96, ⟨10.1007/978-3-319-18812-6_7⟩. ⟨hal-01799309⟩
  • Luidnel Maignan, Jean-Baptiste Yunès. Experimental Finitization of Infinite Field-Based Generalized FSSP Solution. Cellular Automata - 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings, 2014, Cracovie, Poland. pp.136--145, ⟨10.1007/978-3-319-11520-7_15⟩. ⟨hal-01799311⟩
  • Marie-Pierre Béal, Michel Blockelet, Catalin Dima. Zeta functions of finite-type-Dyck shifts are N-algebraic. 2014 Information Theory and Applications Workshop, ITA 2014, San Diego, CA, USA, February 9-14, 2014, 2014, Unknown, Unknown Region. pp.1--8, ⟨10.1109/ITA.2014.6804286⟩. ⟨hal-01699936⟩
  • Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu. Asymptotic behaviour in temporal logic. Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 2014, Unknown, Unknown Region. pp.10:1--10:9, ⟨10.1145/2603088.2603158⟩. ⟨hal-01699933⟩
  • Artiom Alhazov, Rudolf Freund, Sergey Verlan. Promoters and Inhibitors in Purely Catalytic P Systems. Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers, 2014, Unknown, Unknown Region. pp.126--138, ⟨10.1007/978-3-319-14370-5_8⟩. ⟨hal-01352294⟩
  • Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan. Small Universal Non-deterministic Petri Nets with Inhibitor Arcs. Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings, 2014, Unknown, Unknown Region. pp.186--197, ⟨10.1007/978-3-319-09704-6_17⟩. ⟨hal-01161698⟩
  • Sergiu Ivanov. Polymorphic P Systems with Non-cooperative Rules and No Ingredients. Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers, 2014, Unknown, Unknown Region. pp.258--273, ⟨10.1007/978-3-319-14370-5_16⟩. ⟨hal-01161697⟩
  • Romain Brenguier, Jean-François Raskin, Mathieu Sassolas. The Complexity of Admissibility in Omega-Regular Games. Proceedings of the joint meeting of the 23rd Annual Conference on Computer Science Logic (CSL) and the 29th Annual Symposium on Logic in Computer Science (LICS), 2014, Wien, Austria. pp.23:1--23:10. ⟨hal-01161868⟩
  • Rodica Bozianu, Catalin Dima, Emmanuel Filiot. Safraless Synthesis for Epistemic Temporal Specifications. Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, 2014, Unknown, Unknown Region. pp.441--456, ⟨10.1007/978-3-319-08867-9_29⟩. ⟨hal-01699934⟩
  • Marie-Pierre Béal, Michel Blockelet, Catalin Dima. Sofic-Dyck Shifts. Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I, 2014, Budapest, Hungary. pp.63--74, ⟨10.1007/978-3-662-44522-8_6⟩. ⟨hal-01699932⟩
  • Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu. Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014, Paris, France. ⟨hal-00979092⟩
  • Kento Emoto, Frédéric Loulergue, Julien Tesson. A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. Interactive Theorem Proving, 2014, Vienna, Austria. ⟨hal-00964061⟩
  • Frédéric Loulergue, Julien Tesson. Certified Parallel Program Calculation in Coq: A Tutorial. International Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy. ⟨hal-00966632⟩
  • Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu. Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem. ACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea. ⟨hal-00905950⟩
  • Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Modeling networks and active queues management with stochastic bounds and histograms. VECoS 2013 : 7th International Workshop on Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy. ⟨hal-01335668⟩
  • Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. A bounding histogram approach for network performance analysis. 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⟩. ⟨hal-01269777⟩
  • Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Une approche combinant bornes stochastiques, traces et histogrammes pour l'analyse de performance des réseaux. MSR 2013 : Modélisation des Systèmes Réactifs, Nov 2013, Rennes, France. pp.165 - 179, ⟨10.3166/jesa.47.165-179⟩. ⟨hal-01269928⟩
  • A. T. Nguyen, Lynda Mokdad, Jalel Ben Othman. Solution of Detecting Jamming Attacks in Vehicle Ad Hoc Networks. ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM'13), Oct 2013, Barcelone, Spain. ⟨hal-01724347⟩
  • Elisabeth Pelz, Louchka Popova-Zeugmann, Mario Haustein, Matthias Werner. An Holistic State Equation for Timed Petri Nets. CS&P 2013, Sep 2013, Warsowie, Poland. ⟨hal-01800689⟩
  • Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Stochastic bounds and histograms for network performance analysis. EPEW '13 : 10th European Workshop on Performance Engineering, Sep 2013, Venice, Italy. pp.13-27, ⟨10.1007/978-3-642-40725-3_3⟩. ⟨hal-00859795⟩
  • Sergey Verlan. Using the Formal Framework for P Systems. CMC 1414th International Conference Membrane Computing ,, Aug 2013, Chisinau, Moldova. pp.56-79. ⟨hal-01352297⟩
  • M Ahmad, João Araújo, Nicolas Belloir, Jean-Michel Bruel, Christophe Gnaho, et al.. Self-adaptive systems requirements modelling: Four related approaches comparison. Comparing *Requirements* Modeling Approaches (CMA@RE) workshop in the field of 21st IEEE International Requirements Engineering Conference, Jul 2013, Rio de Janeiro, Brazil. pp.37 - 42, ⟨10.1109/CMA-RE.2013.6664183⟩. ⟨hal-01084985⟩
  • Quentin Monnet, Lynda Mokdad, Jalel Ben-Othman. Data protection in multipath WSNs. The 18th IEEE Symposium on Computers and Communications (ISCC'13), Jul 2013, Split, Croatia. ⟨10.1109/ISCC.2013.6754926⟩. ⟨hal-01132734⟩
  • Nawel Gharbi, Lynda Mokdad. Performance Evaluation of Telecommunication Systems with Repeated Attempts and Two Servers Classes. IEEE International Symposium on Performance Evaluation of Computer and Telecommunication Systems, (SPECTS'13), Jul 2013, Toronto, Canada. ⟨hal-01724350⟩
  • Nawel Gharbi, Lynda Mokdad Et Jalel Ben Othman. Performance and Reliability Analysis of Small Cell Networks with Retrials and Different Breakdowns Disciplines: A Computational Approach. IEEE Symposium on Computers and Communications (ISCC'13), Jul 2013, Split, Croatia. ⟨hal-01724355⟩
  • Haroun Benkaouha, Lynda Mokdad, Abdelkrim Abdelli. 2PACA: Two Phases Algorithm of Checkpointing for Ad hoc mobile networks. IEEE International Wireless Communications and Mobile Computing Conference (IWCMC'13), Jul 2013, Sardinia, Italy. ⟨hal-01724360⟩
  • Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais. From Two-Way to One-Way Finite State Transducers. 28th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2013, New Orleans, United States. pp.468-477, ⟨10.1109/LICS.2013.53⟩. ⟨hal-00946161⟩
  • Louis Bigo, Jean-Louis Giavitto, Moreno Andreatta, Olivier Michel, Antoine Spicher. Computation and Visualization of Musical Structures in Chord-Based Simplicial Complexes. MCM 2013 - 4th International Conference Mathematics and Computation in Music, Jun 2013, Montreal, Canada. pp.38-51, ⟨10.1007/978-3-642-39357-0_3⟩. ⟨hal-00925748⟩
  • Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu. Verification of EB3 Specifications Using CADP. iFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. ⟨10.1007/978-3-642-38613-8_5⟩. ⟨hal-00768310v4⟩
  • Said Fouchal, Djamel Mansouri, Lynda Mokdad, Jalel Ben Othman, Malika Ioualalen. Clustering Wireless Sensors Networks with FFUCA. IEEE International Conference on Communications (ICC’13), Jun 2013, Budapest, Hungary. ⟨hal-01724367⟩
  • Louis Bigo, Jean-Louis Giavitto, Antoine Spicher. Spatial Programming for Musical Transformations and Harmonization. Spatial Computing Workshiop (SCW), May 2013, Saint-Paul, Minesota, United States. p. 9-16. ⟨hal-00925767⟩
  • Jérémie Garcia, Louis Bigo, Antoine Spicher, Wendy E. Mackay. PaperTonnetz: Supporting Music Composition with Interactive Paper. Extend Abstract on Human Factors in Computing Systems, Apr 2013, Paris, France. ⟨hal-00837640⟩
  • Dimitris Vekris, Catalin Dima. Efficient Operational Semantics for $ EB ^3$ for Verification of Temporal Properties. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.133-149, ⟨10.1007/978-3-642-40213-5_9⟩. ⟨hal-01514655⟩
  • Djamel Mansouri, Lynda Mokdad, Jalel Ben Othman, Malika Ioualalen. Detecting DoS attacks in WSN based on Clustering Technique. IEEE Wireless Communications and Networking Conference (WCNC’2013), Apr 2013, Shanghai, China. ⟨hal-01724362⟩
  • Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin. Synthesis from LTL Specifications with Mean-Payoff Objectives. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2013, Unknown, Unknown Region. pp.169-184, ⟨10.1007/978-3-642-36742-7_12⟩. ⟨hal-01196260⟩
  • Jean-Baptiste Yunès, Luidnel Maignan. Moore and Von Neumann Neighborhood N-Dimensional Generalized Firing Squad Solutions Using Fields. The First International Symposium on Computing and Networking - Across Practical Development and Theoretical Research, Dogo SPA Resort, Matsuyama, Japan, December 4-6, 2013., 2013, Matsuyama, Japan. pp.552--558, ⟨10.1109/CANDAR.2013.98⟩. ⟨hal-01799312⟩
  • Rudolf Freund, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Sergey Verlan, et al.. Flattening in (Tissue) P Systems. Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers, 2013, Unknown, Unknown Region. pp.173-188. ⟨hal-01352363⟩
  • Rudolf Freund, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Sergey Verlan, et al.. Flattening in (Tissue) P Systems. Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers, 2013, Unknown, Unknown Region. pp.173-188. ⟨hal-01352296⟩
  • Sergey Verlan. Using the Formal Framework for P Systems. Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers, 2013, Unknown, Unknown Region. pp.56-79. ⟨hal-01352364⟩
  • Sergiu Ivanov, Sergey Verlan. About One-Sided One-Symbol Insertion-Deletion P Systems. Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers, 2013, Unknown, Unknown Region. pp.225--237, ⟨10.1007/978-3-642-54239-8_16⟩. ⟨hal-01161704⟩
  • R. Menasri, Amir Nakib, H. Oulhadj, B. Daachi, P. Siarry, et al.. Path planning for redundant manipulators using metaheuristic for bilevel optimization and maximum of manipulability. Proc. Of the IEEE Int. Conf. on Robotics and Biomimetics, ROBIO 2013, 2013, Shenzhen, China. pp.145-150. ⟨hal-01539412⟩
  • Henning Fernau, Rudolf Freund, Sergiu Ivanov, Markus L. Schmid, K. G. Subramanian. Array Insertion and Deletion P Systems. Unconventional Computation and Natural Computation - 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings, 2013, Unknown, Unknown Region. pp.67--78, ⟨10.1007/978-3-642-39074-6_8⟩. ⟨hal-01161701⟩
  • Rudolf Freund, Sergiu Ivanov, Marion Oswald, K. G. Subramanian. One-dimensional Array Grammars and P Systems with Array Insertion and Deletion Rules. Proceedings Machines, Computations and Universality 2013, MCU 2013, Zürich, Switzerland, September 9-11, 2013., 2013, Unknown, Unknown Region. pp.62--75, ⟨10.4204/EPTCS.128.14⟩. ⟨hal-01161703⟩
  • Christophe Gnaho, Farida Semmak, Régine Laleau. An overview of a SysML extension for goal-oriented NFR modelling: Poster paper. Research Challenges in Information Science (RCIS), 2013, Unknown, Unknown Region. pp.1-2. ⟨hal-01224629⟩
  • Christophe Gnaho, Farida Semmak, Régine Laleau. Modeling the Impact of Non-functional Requirements on Functional Requirements. Advances in Conceptual Modeling - ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers, 2013, Unknown, Unknown Region. pp.59--67, ⟨10.1007/978-3-319-14139-8_8⟩. ⟨hal-01575322⟩
  • Julien Cervelle. Constructing Continuous Systems from Discrete Cellular Automata. Computability in Europe (CiE), 2013, Unknown, Unknown Region. pp.55-64. ⟨hal-01208371⟩
  • Rodica Bozianu, Catalin Dima, Constantin Enea. Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013, 2013, Unknown, Unknown Region. ⟨hal-01699940⟩
  • Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson. Programming with BSP Homomorphisms. Euro-Par, 2013, Aachen, Germany. pp.446-457, ⟨10.1007/978-3-642-40047-6_46⟩. ⟨hal-00822992⟩
  • Frédéric Gava, Michael Guedj, Franck Pommereau. A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. 13th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2012), Dec 2012, Beijing, China. pp.79--84, ⟨10.1109/PDCAT.2012.12⟩. ⟨hal-00950415⟩
  • Antoine Spicher, Olivier Michel, Jean-Louis Giavitto. Spatial Computing in MGS. 11th International Conference Unconventional Computation & Natural Computation (UCNC 2012)., Sep 2012, Orléans, France. pp.63-69, ⟨10.1007/978-3-642-32894-7_7⟩. ⟨hal-00769284⟩
  • Susan Stepney, Ada Diaconescu, René Doursat, Jean-Louis Giavitto, Taras Kowaliw, et al.. Gardening Cyber-Physical Systems. Unconventionnal Computation and Natural Computation (UCNC'2012), Sep 2012, Orléans, France. pp.1-1. ⟨hal-01161014⟩
  • Louis Bigo, Jérémie Garcia, Antoine Spicher, Wendy E. Mackay. PaperTonnetz: Music Composition with Interactive Paper. Sound and Music Computing, Jul 2012, Copenhague, Denmark. ⟨hal-00718334⟩
  • Said Fouchal, Quentin Monnet, Djamel Mansouri, Lynda Mokdad, Malika Ioualalen. A clustering method for wireless sensors networks. The 17th IEEE Symposium on Computers and Communications (ISCC'12), Jul 2012, Nevşehir, Turkey. ⟨10.1109/ISCC.2012.6249414⟩. ⟨hal-01132738⟩
  • Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre. Towards Verified Cloud Computing Environments. International Conference on High Performance Computing and Simulation (HPCS), Jul 2012, Madrid, Spain. ⟨hal-00708821⟩
  • Laurent Bienvenu, Benoit Monin. von Neumann’s biased coin revisited. LICS: Logic in Computer Science, Jun 2012, Dubrovnik, Croatia. ⟨hal-01397207⟩
  • Frédéric Gava, Michael Guedj, Franck Pommereau. A BSP algorithm for on-the-fly checking LTL formulas on security protocols. 11th International Symposium on Parallel and Distributed Computing (ISPDC 2012), Jun 2012, Munich/Garching, Bavaria, Germany. pp.11--18, ⟨10.1109/ISPDC.2012.10⟩. ⟨hal-00868689⟩
  • Antoine Spicher, Olivier Michel, Jean-Louis Giavitto. Arbitrary Nesting of Spatial Computations. Spatial Computing Workshop, Jun 2012, Valencia, Spain. pp.25-32. ⟨hal-00769286⟩
  • Idriss Ismael Aouled, Hind Castel-Taleb. Combined CAC and forced handoff for mobile network performability. 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⟩. ⟨hal-00807469⟩
  • Frédéric Gava, Michael Guedj, Franck Pommereau. Performance evaluations of a BSP algorithm for state space construction of security protocols. 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2012), Feb 2012, Garching, Germany. pp.170--174, ⟨10.1109/PDP.2012.65⟩. ⟨hal-00745201⟩
  • Muath Alrammal, Gaétan Hains. A Stream-based Selectivity Estimation Technique for Forward XPath. 8th International Conference on Innovations in Information Technology (IIT'12), 2012, Unknown, Unknown Region. ⟨hal-01195830⟩
  • Muath Alrammal, Gaétan Hains. Selectivity Estimation Technique for Wikipedia. International Conference on Information & Communications Technology (ICICT), 2012, Unknown, Unknown Region. ⟨hal-01195831⟩
  • Gaétan Hains, Muath Alrammal. Performance and Scalability of XML Query Processing. Second International Workshop on Intelligent Computing at Large Scale (ICLS), In Proceedings of the 6th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS), 2012, Sydney, Australia. ⟨hal-01195829⟩
  • Artiom Alhazov, Rudolf Freund, Hilbert Heikenwälder, Marion Oswald, Yurii Rogozhin, et al.. Sequential P Systems with Regular Control. Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, 2012, Unknown, Unknown Region. pp.112-127. ⟨hal-01352367⟩
  • Rudolf Freund, Yurii Rogozhin, Sergey Verlan. P Systems with Minimal Left and Right Insertion and Deletion. Unconventional Computation and Natural Computation - 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings, 2012, Unknown, Unknown Region. pp.82-93. ⟨hal-01352366⟩
  • Sergey Verlan, Juan Quiros. Fast Hardware Implementations of P Systems. Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, 2012, Unknown, Unknown Region. pp.404-423. ⟨hal-01352369⟩
  • Rudolf Freund, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez, Sergey Verlan. A Formal Framework for P Systems with Dynamic Structure. Proceedings of 13th International Conference on Membrane Computing, 2012, Unknown, Unknown Region. pp.199--210. ⟨hal-01352365⟩
  • Rudolf Freund, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez, Sergey Verlan. A Formal Framework for P Systems with Dynamic Structure. Proceedings of 13th International Conference on Membrane Computing, 2012, Unknown, Unknown Region. pp.199--210. ⟨hal-01352299⟩
  • Rudolf Freund, Yurii Rogozhin, Sergey Verlan. P Systems with Minimal Left and Right Insertion and Deletion. Unconventional Computation and Natural Computation - 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings, 2012, Unknown, Unknown Region. pp.82-93. ⟨hal-01352300⟩
  • Artiom Alhazov, Rudolf Freund, Hilbert Heikenwälder, Marion Oswald, Yurii Rogozhin, et al.. Sequential P Systems with Regular Control. Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, 2012, Unknown, Unknown Region. pp.112-127. ⟨hal-01352301⟩
  • Sergey Verlan, Juan Quiros. Fast Hardware Implementations of P Systems. Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, 2012, Unknown, Unknown Region. pp.404-423. ⟨hal-01352304⟩
  • Julien Cervelle. Covering Space in the Besicovitch Topology. Language and Automata Theory and Applications (LATA), 2012, Unknown, Unknown Region. pp.169-178. ⟨hal-01208372⟩
  • Malek Guechari, Lynda Mokdad, Sovanna Tan. Dynamic solution for detecting Denial of Service attacks in wireless sensor networks. Proceedings of IEEE International Conference on Communications, ICC 2012, Ottawa, ON, Canada, June 10-15, 2012, 2012, Unknown, Unknown Region. pp.173--177, ⟨10.1109/ICC.2012.6364158⟩. ⟨hal-01791244⟩
  • Dimitar P. Guelev, Catalin Dima. Epistemic ATL with Perfect Recall, Past and Strategy Contexts. Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, 2012, Unknown, Unknown Region. pp.77--93, ⟨10.1007/978-3-642-32897-8_7⟩. ⟨hal-01699944⟩
  • Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho. Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. International Conference on Ambient Systems, Networks and Technologies/International Conference on Mobile Web Information Systems (ANT/MobiWIS), 2012, Unknown, Unknown Region. pp.474-481. ⟨hal-01224634⟩
  • Hakim Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier. A Design by Contract Approach to Verify Access Control Policies. International Conference on Engineering of Complex Computer Systems (ICECCS), 2012, Unknown, Unknown Region. pp.263-272. ⟨hal-01224630⟩
  • Hind Castel-Taleb, Nihal Pekergin. Strong and weak orderings for an accurate resource dimensioning. VECoS 2011 : 5th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2011, Tunis, Tunisia. pp.1 - 12. ⟨hal-01303049⟩
  • Hind Castel-Taleb, Idriss Ismael Aouled. Stochastic comparison of Markov processes through coupling by mapping functions. QEST 2011 : 8th International Conference on Quantitative Evaluation of Systems, Sep 2011, Aachen Germany. ⟨hal-01303048⟩
  • Frédéric Gava, Louis Gesbert, Frédéric Loulergue. Type System for a Safe Execution of Parallel Programs in BSML. HLPP, Sep 2011, Japan. pp.17-34, ⟨10.1145/2034751.2034759⟩. ⟨hal-00605566⟩
  • Emmanuel Polonowski. Generic Environments in Coq. The Third Coq Workshop (Coq'3), Aug 2011, Nijmegen, Netherlands. ⟨hal-00648397⟩
  • Yves Ledru, Akram Idani, Jérémy Milhau, Muhammad Nafees Qamar, Régine Laleau, et al.. Taking into Account Functional Models in the Validation of IS Security Policies. WISSE 2011 - 1st International Workshop on Information Systems Security Engineering (in CAiSE 2011), Jun 2011, London, United Kingdom. pp.592-606, ⟨10.1007/978-3-642-22056-2_62⟩. ⟨hal-00860806⟩
  • Jalel Ben Othman, Lynda Mokdad, Mohamed Ould Cheikh. A New Architecture of Wireless Mesh Networks Based IEEE 802.11s Directional Antennas. Communications (ICC), 2011 IEEE International Conference on Issue, Jun 2011, Kyoto, Japan. pp.1-5, ⟨10.1109/icc.2011.5962994⟩. ⟨hal-00667214⟩
  • Jalel Ben Othman, Lynda Mokdad, Bashir Yahya. An Energy Ecient Priority-based QoS MAC Protocol for Wireless Sensor Networks. International Conference on Communication, ICC-2011, Jun 2011, Kyoto, Japan. ⟨hal-00667337⟩
  • Hind Castel-Taleb, Idriss Ismael Aouled, Nihal Pekergin. Bounding techniques for transient analysis of G-networks with catastrophes. VALUETOOLS 2011 : 5th International ICST Conference on Performance Evaluation Methodologies and Tools, May 2011, Paris France. pp.197 - 206. ⟨hal-01301868⟩
  • Hind Castel-Taleb, Nihal Pekergin. On the choice of the stochastic comparison method for multidimensional Markov chains analysis. VALUETOOLS 2011 : 5th International ICST Conference on Performance Evaluation Methodologies and Tools, May 2011, Paris, France. pp.418 - 424. ⟨hal-01301870⟩
  • Louis Bigo, Antoine Spicher, Olivier Michel. DIFFÉRENTES UTILISATIONS DE L'ESPACE EN MUSIQUE À L'AIDE D'UN LANGAGE DE PROGRAMMATION DÉDIÉ AU CALCUL SPATIAL. Journées d'Informatique Musicale, May 2011, Saint-Etienne, France. ⟨hal-03104801⟩
  • Jalel Ben Othman, Lynda Mokdad. Improving QoS for UGS, rtPS, nrtPS, BE in WIMAX Networks. International Conference on Communications and Information Technology (ICCIT 2011), Mar 2011, Aqaba, Jordan. pp.23-27, ⟨10.1109/ICCITECHNOL.2011.5762687⟩. ⟨hal-00667197⟩
  • Muath Alrammal, Gaétan Hains, Mohamed Zergaoui. Path tree: document synopsis for XPath query selectivity estimation. The Fifth International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS), 2011, Unknown, Unknown Region. pp.321--328. ⟨hal-01195832⟩
  • Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin. HASL: An Expressive Language for Statistical Verification of Stochastic Models. VALUETOOLS’11, 2011, Cachan, France. ⟨hal-01113442⟩
  • Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. Une premiere approche de tracabilite entre modeles d'exigences non-fonctionnelles et specifications abstraites Event-B. Actes du 29eme Congres INFORSID, 2011, Unknown, Unknown Region. ⟨hal-01224635⟩
  • Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned. 13th Brazilian Symposium on Formal Methods, 2011, Unknown, Unknown Region. pp.177--193. ⟨hal-01224637⟩
  • Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. 16th International Conference on Engineering of Complex Computer Systems, 2011, Unknown, Unknown Region. ⟨hal-01224640⟩
  • Alexis Bès, Olivier Carton. Algebraic Characterization of FO for Scattered Linear Orderings. 25th International Workshop of Computer Science Logic (CSL), part of 20th Annual Conference of the EACSL, 2011, Unknown, Unknown Region. pp.67--81, ⟨10.4230/LIPIcs.CSL.2011.67⟩. ⟨hal-01215407⟩
  • Wadoud Bousdira, Louis Gesbert, Frédéric Loulergue. Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML. (JFLA), 2011, France. pp.117-146. ⟨hal-00592542⟩
  • Pierre Konopacki, Marc Frappier, Régine Laleau. Expressing Access Control Policies with an Event-Based Approach. 1st International Workshop on Information Systems Security Engineering (WISSE) host by CAISE, 2011, Unknown, Unknown Region. ⟨hal-01224638⟩
  • M. Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis. A metamodel for the design of access-control policy enforcement managers: work in progress. 4th MITACS Workshop on Foundations and Practice of Security (FPS 2011), 2011, Paris, France. pp.218-226. ⟨hal-01223274⟩
  • Tristan Crolard, Emmanuel Polonowski. Deriving a Hoare-Floyd logic for non-local jumps from a formulae-as-types notion of control. The 22nd Nordic Workshop on Programming Theory, Nov 2010, Turku, Finland. pp.70--71. ⟨hal-00651455⟩
  • Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau. Systematic translation rules from ASTD to Event-B. Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.245-259. ⟨inria-00525182⟩
  • Cyril Dumont, Fabrice Mourlin. Model checking applied to mobile agent system. Sophia-Antipolis Formal Analysis Workshop, Oct 2010, Sophia-Antipolis, France. 2p. ⟨hal-00612682⟩
  • Frédéric Gava, Michael Guedj, Franck Pommereau. A BSP Algorithm for the State Space Construction of Security Protocols. 9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC, affiliated to conference SPIN 2010), Sep 2010, Enschede, Netherlands. pp.37--44, ⟨10.1109/PDMC-HiBi.2010.14⟩. ⟨hal-00669177⟩
  • Antoine Spicher, Olivier Michel, Jean-Louis Giavitto. Declarative mesh subdivision using topological rewriting in MGS. 5th International Conference on Graph Transformations (ICGT 2010), Sep 2010, Enschede, Netherlands. pp.298--313, ⟨10.1007/978-3-642-15928-2_20⟩. ⟨hal-00820206⟩
  • Antoine Spicher, Olivier Michel, Jean-Louis Giavitto. Spatial computing as intensional data parallelism. 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop (SASOW 2010), Sep 2010, Budapest, Hungary. pp.196--205, ⟨10.1109/SASOW.2010.73⟩. ⟨hal-00869214⟩
  • Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Stochastic comparisons applied to G-Networks with catastrophes. ISCIS2010, Sep 2010, London, United Kingdom. www.springerlink.com. ⟨hal-00545738⟩
  • Farhan Hyder Mirani, Tran Minh Anh, Nadia Boukhatem. A Data-Scheduling Mechanism for Multi-Homed Mobile Terminals with Disparate Link Latencies. 72nd IEEE Vehicular Technology Conference Fall (VTC 2010-Fall), Sep 2010, Ottawa, Canada. pp.1-5. ⟨hal-00626814⟩
  • Laurent Galluccio, Olivier Michel, Pierre Comon. Clustering on Manifolds with Dual-Rooted Minimal Spanning Trees. 16th European Signal Processing Conference EUSIPCO-2010, Aug 2010, Aalborg, Denmark, France. ⟨hal-00492745v2⟩
  • Farhan Hyder Mirani, Tran Minh Anh, Nadia Boukhatem. Intelligent data-striping: a predictive scheduling mechanism. 6th International Wireless Communications and Mobile Computing Conference, Jun 2010, Caen, France. pp.949-953. ⟨hal-00626812⟩
  • Hind Castel-Taleb, Idriss Ismael-Aouled, Nihal Pekergin. Stochastic comparisons for performability of telecommunication systems. ASMTA2010, Jun 2010, Cardiff, United Kingdom. www.springerlink.com, ⟨10.1007/978-3-642-13568-2_14⟩. ⟨hal-00545739⟩
  • Sam Sanjabi, Franck Pommereau. Modelling, Verification, and Formal Analysis of Security Properties in a P2P System. 2010 International Symposium on Collaborative Technologies and Systems, May 2010, Chicago, France. pp.499-508, ⟨10.1109/CTS.2010.5478474⟩. ⟨hal-02310070⟩
  • Cyril Dumont, Fabrice Mourlin. Adaptive runtime for numerical code. International Conference of Modeling and Simulation (MOSIM'10), May 2010, Hammamet, Tunisia. pp.0. ⟨hal-00514538⟩
  • Alexandre Muzy, Luc Touraille, Hans Vangheluwe, Olivier Michel, Mamadou Kaba Traoré, et al.. Activity Regions for the Specication of Discrete Event Systems. Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (DEVS'10), Apr 2010, United States. pp.176-182. ⟨hal-00465463⟩
  • Hind Castel-Taleb, Nihal Pekergin. Accuracy of strong and weak comparisons for network of queues. 15th International GI/ITG Conference, MMB&DFT 2010, Mar 2010, Essen, Germany. www.springerlink.com, ⟨10.1007/978-3-642-12104-3_17⟩. ⟨hal-00545740⟩
  • Julien Cervelle, Enrico Formenti, Pierre Guillon. Ultimate Traces of Cellular Automata. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.155-166. ⟨inria-00455807⟩
  • Serge Grigorieff, Pierre Valarcher. Evolving MultiAlgebras unify all usual sequential computation models. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.417-428. ⟨inria-00455373⟩
  • Atif Mashkoor, Abderrahman Matoussi. Towards validation of requirements models. The Second International Conference on ASM, Alloy, B and Z (ABZ 2010), Feb 2010, Orford (Québec), Canada. pp.404, ⟨10.1007/978-3-642-11811-1_38⟩. ⟨hal-00431272⟩
  • Serge Haddad, Lynda Mokdad, Samir Youcef. Response time of BPEL4WS constructors. Proceedings of the 15th IEEE Symposium on Computers and Communications (ISCC'10), 2010, Riccione, Italy, Italy. pp.695-700, ⟨10.1109/ISCC.2010.5546538⟩. ⟨hal-00779930⟩
  • Serge Haddad, Lynda Mokdad, Samir Youcef. Selection of the Best composite Web Service Based on Quality of Service. Proceedings of the 2nd International Symposium on Services Science and 3rd International Conference on Business Process and Services Computing (ISSS\slashBPSC'10), 2010, Leipzig, Germany, Germany. pp.255-266. ⟨hal-00772681⟩
  • Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. A Small Universal Splicing P System. Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, 2010, Unknown, Unknown Region. pp.95-102. ⟨hal-01352383⟩
  • Erzsébet Csuhaj-Varjú, György Vaszil, Sergey Verlan. On Generalized Communicating P Systems with One Symbol. Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, 2010, Unknown, Unknown Region. pp.160-174. ⟨hal-01352385⟩
  • Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. A Small Universal Splicing P System. Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, 2010, Unknown, Unknown Region. pp.95-102. ⟨hal-01352318⟩
  • Rudolf Freund, Marian Kogler, Yurii Rogozhin, Sergey Verlan. Graph-Controlled Insertion-Deletion Systems. Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, 2010, Unknown, Unknown Region. pp.88-98. ⟨hal-01352382⟩
  • Rudolf Freund, Marian Kogler, Yurii Rogozhin, Sergey Verlan. Graph-Controlled Insertion-Deletion Systems. Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, 2010, Unknown, Unknown Region. pp.88-98. ⟨hal-01352317⟩
  • Erzsébet Csuhaj-Varjú, György Vaszil, Sergey Verlan. On Generalized Communicating P Systems with One Symbol. Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, 2010, Unknown, Unknown Region. pp.160-174. ⟨hal-01352320⟩
  • Alexis Bès, Alexander Rabinovich. Decidable Expansions of Labelled Linear Orderings. Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, 2010, Unknown, Unknown Region. pp.95--107, ⟨10.1007/978-3-642-15025-8_5⟩. ⟨hal-01215408⟩
  • Sovanna Tan, Frédéric Gava. Modular implementation of dense matrix operations in a high-level BSP language. Proceedings of the 2010 International Conference on High Performance Computing & Simulation, HPCS 2010, June 28 - July 2, 2010, Caen, France, 2010, Unknown, Unknown Region. pp.643--649, ⟨10.1109/HPCS.2010.5547060⟩. ⟨hal-01791245⟩
  • Catalin Dima, Constantin Enea, Dimitar P. Guelev. Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions. Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., 2010, Unknown, Unknown Region. pp.103--117, ⟨10.4204/EPTCS.25.12⟩. ⟨hal-01699952⟩
  • Wadoud Bousdira, Frédéric Gava, Louis Gesbert, Frédéric Loulergue, Guillaume Petiot. Functional Parallel Programming with Revised Bulk Synchronous Parallel ML. 2nd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA), 2010, Hiroshima, Japan. pp.191-196, ⟨10.1109/IC-NC.2010.57⟩. ⟨inria-00515223⟩
  • Diana Elrabih, Gaël Gorgo, Nihal Pekergin, Jean-Marc Vincent. Steady-state Property Verification: a Comparison Study. 4th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS, 2010, Paris, France. ⟨hal-00788886⟩
  • Michel Embe-Jiague, Richard St-Denis, Marc Frappier, Frédéric Gervais, Régine Laleau. From ASTD access control policies to WSBPEL processes deployed in a SOA environment. 1st International Symposium on Web Intelligent Systems & Services (WISS 2010), 2010, Unknown, Unknown Region. ⟨hal-01224646⟩
  • Michel Embe-Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, et al.. Model-Driven Engineering of Functional Security Policies. 12th International Conference on Enterprise Information Systems (ICEIS), 2010, Unknown, Unknown Region. pp.374--379. ⟨hal-01224649⟩
  • Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. An approach to state space reduction for systems with dynamic process creation. 24th International Symposium on Computer and Information Sciences (ISCIS 2009), Sep 2009, Guzelyurt, Turkey. pp.543--548, ⟨10.1109/ISCIS.2009.5291864⟩. ⟨hal-00666664⟩
  • Franck Pommereau. Nets in Nets with SNAKES. Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA'09), Sep 2009, Hamburg, Germany. ⟨hal-00666665⟩
  • Hind Castel-Taleb, Nihal Pekergin. Stochastic monotonicity in queueing networks. EPEW 2009 : 6th European Performance Engineering Workshop, Jul 2009, Imperial College London United Kingdom. pp.116 - 130, ⟨10.1007/978-3-642-02924-0_10⟩. ⟨hal-01366211⟩
  • Hind Castel-Taleb, Nihal Pekergin. Weak stochastic comparisons for performability verification. 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⟩. ⟨hal-01369734⟩
  • Nihal Pekergin, Sana Younes. Model Checking by Censoring Markov Chains and Stochastic Comparison. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 7 p. ⟨hal-00380667⟩
  • Antoine Spicher, Nazim Fatès, Olivier Simonin. Translating Discrete Multi-Agents Models into Cellular Automata, Application to Diffusion-Limited Aggregation. ICAART 2009 - International Conference on Agents and Artificial Intelligence, Jan 2009, Porto, Portugal. pp.270-282, ⟨10.1007/978-3-642-11819-7⟩. ⟨inria-00546424⟩
  • Muath Alrammal, Gaétan Hains, Mohamed Zergaoui. Performance Measurements towards the Optimization of Stream Processing for XML Data. Proceedings of the 2009 International Conference on Internet Computing(ICOMP'09), 2009, Unknown, Unknown Region. pp.227--233. ⟨hal-01195837⟩
  • Muath Alrammal, Gaétan Hains, Mohamed Zergaoui. Intelligent Ordered XPath for Processing Data Streams. Stanford Spring Symposium (SSS'09) of the AAAI: Event Processin\ g Stream, 2009, Stanford (CA), USA, United States. ⟨hal-01195838⟩
  • Rudolf Freund, Marian Kogler, Sergey Verlan. P Automata with Controlled Use of Minimal Communication Rules. Workshop on Non-Classical Models of Automata and Applications, NCMA 2009, Wroclaw, Poland, 2009, Unknown, Unknown Region. pp.107--120. ⟨hal-01352386⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of P Systems with Small Size Insertion and Deletion Rules. Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008, 2009, Unknown, Unknown Region. pp.108-117. ⟨hal-01352387⟩
  • Sergey Verlan. Look-Ahead Evolution for P Systems. Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers, 2009, Unknown, Unknown Region. pp.479-485. ⟨hal-01352388⟩
  • Rudolf Freund, Marian Kogler, Sergey Verlan. P Automata with Controlled Use of Minimal Communication Rules. Workshop on Non-Classical Models of Automata and Applications, NCMA 2009, Wroclaw, Poland, 2009, Unknown, Unknown Region. pp.107--120. ⟨hal-01352321⟩
  • Sergey Verlan. Look-Ahead Evolution for P Systems. Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers, 2009, Unknown, Unknown Region. pp.479-485. ⟨hal-01352323⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of P Systems with Small Size Insertion and Deletion Rules. Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008, 2009, Unknown, Unknown Region. pp.108-117. ⟨hal-01352322⟩
  • Farida Semmak, Régine Laleau, Christophe Gnaho. Supporting Variability in Goal-based Requirements. Proceedings of the IEEE International Conference on Research Challenges in Information Science (RCIS), 2009, Unknown, Unknown Region. pp.271-280. ⟨hal-01224652⟩
  • Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. Expressing KAOS Goal Refinement Patterns with Event-B. Rodin User and Developer Workshop 2009 - Extended Abstracts, 2009, Unknown, Unknown Region. ⟨hal-01224651⟩
  • Farida Semmak, Régine Laleau, Christophe Gnaho. How to Adapt the Kaos Method to the Requirements Engineering of Cycab Vehicles. Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), 2009, Unknown, Unknown Region. ⟨hal-01224654⟩
  • Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. De KAOS vers Event-B: approche dirigée par les buts. Atelier Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2009), 2009, Toulouse, France. pp.71-86. ⟨hal-01223275⟩
  • Catalin Dima, Ruggero Lanotte. Removing All Silent Transitions from Timed Automata. Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings, 2009, Unknown, Unknown Region. pp.118--132, ⟨10.1007/978-3-642-04368-0_11⟩. ⟨hal-01699953⟩
  • Catalin Dima. Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL. TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings, 2009, Unknown, Unknown Region. pp.29--36, ⟨10.1109/TIME.2009.21⟩. ⟨hal-01699954⟩
  • Imène Kadi, Nihal Pekergin, Jean-Marc Vincent. Different Monotonicity Definitions in Stochastic Modelling. Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications, 2009, Madrid, Spain. pp.144-158, ⟨10.1007/978-3-642-02205-0_11⟩. ⟨hal-00788924⟩
  • Pierre Konopacki, Marc Frappier, Régine Laleau. Modélisation de politiques de sécurité à l'aide d'une alégèbre de processus. Actes du XXVIIème Congrès INFORSID, 2009, Unknown, Unknown Region. ⟨hal-01224653⟩
  • Cyril Dumont, Fabrice Mourlin. Space Based Architecture for numerical solving. International Conferences on Computational Intelligence for Modelling, Control and Automation; Intelligent Agents, Web Technologies and Internet Commerce; and Innovation in Software Engineering, Dec 2008, Vienna, Austria. pp.309-314, ⟨10.1109/CIMCA.2008.157⟩. ⟨hal-00378342⟩
  • Roland Bouroulet, Raymond Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau. Modeling and analysis of security protocols using role based specifications and Petri nets. International Conference on Application and Theory of Petri Nets (ICATPN'08), Jun 2008, Xi'an, China. pp.72--91, ⟨10.1007/978-3-540-68746-7_9⟩. ⟨hal-00340476⟩
  • Hind Castel-Taleb, Lynda Mokdad, Nihal Pekergin. Model checking of performance measures using bounding aggregations. SPECTS 2008 : International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Jun 2008, Edinburgh, United Kingdom. pp.98 - 104. ⟨hal-01342661⟩
  • Franck Pommereau. Quickly prototyping Petri nets tools with SNAKES. International Workshop on Petri Nets Tools and APplications PNTAP 2008,, Mar 2008, Marseille, France. ⟨hal-02309814⟩
  • Sergey Verlan, Yurii Rogozhin. New Choice for Small Universal Devices: Symport/Antiport P Systems. Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008, 2008, Unknown, Unknown Region. pp.235-241. ⟨hal-01352398⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Further Results on Insertion-Deletion Systems with One-Sided Contexts. Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers, 2008, Unknown, Unknown Region. pp.333-344. ⟨hal-01352400⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of P Systems with Small Size Insertion and Deletion Rules. Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings, 2008, Unknown, Unknown Region. pp.137-148. ⟨hal-01352401⟩
  • Rudolf Freund, Sergey Verlan. P Systems Working in the k-Restricted Minimally Parallel Mode. International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria, 2008, Unknown, Unknown Region. pp.43--52. ⟨hal-01352330⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. One-Sided Insertion and Deletion: Traditional and P Systems Case. International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria, 2008, Unknown, Unknown Region. pp.53--64. ⟨hal-01352331⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of P Systems with Small Size Insertion and Deletion Rules. Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings, 2008, Unknown, Unknown Region. pp.137-148. ⟨hal-01352336⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. One-Sided Insertion and Deletion: Traditional and P Systems Case. International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria, 2008, Unknown, Unknown Region. pp.53--64. ⟨hal-01352396⟩
  • Sergey Verlan, Yurii Rogozhin. New Choice for Small Universal Devices: Symport/Antiport P Systems. Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings, 2008, Unknown, Unknown Region. pp.305-314. ⟨hal-01352397⟩
  • Sergey Verlan, Yurii Rogozhin. New Choice for Small Universal Devices: Symport/Antiport P Systems. Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings, 2008, Unknown, Unknown Region. pp.305-314. ⟨hal-01352332⟩
  • Artiom Alhazov, Maurice Margenstern, Sergey Verlan. Fast Synchronization in P Systems. Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers, 2008, Unknown, Unknown Region. pp.118-128. ⟨hal-01352394⟩
  • Rudolf Freund, Sergey Verlan. P Systems Working in the k-Restricted Minimally Parallel Mode. International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria, 2008, Unknown, Unknown Region. pp.43--52. ⟨hal-01352395⟩
  • Artiom Alhazov, Maurice Margenstern, Sergey Verlan. Fast Synchronization in P Systems. Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers, 2008, Unknown, Unknown Region. pp.118-128. ⟨hal-01352329⟩
  • Sergey Verlan, Yurii Rogozhin. New Choice for Small Universal Devices: Symport/Antiport P Systems. Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008, 2008, Unknown, Unknown Region. pp.235-241. ⟨hal-01352333⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Further Results on Insertion-Deletion Systems with One-Sided Contexts. Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers, 2008, Unknown, Unknown Region. pp.333-344. ⟨hal-01352335⟩
  • Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. A First Attempt to Express KAOS Refinement Patterns with Event B. Int. Conf. on ASM, B and Z (ABZ), 2008, Unknown, Unknown Region. pp.338. ⟨hal-01224661⟩
  • Dimitar P. Guelev, Catalin Dima. Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions. Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers, 2008, Unknown, Unknown Region. pp.75--90, ⟨10.1007/978-3-540-93920-7_6⟩. ⟨hal-01699956⟩
  • Catalin Dima. Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall. Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers, 2008, Unknown, Unknown Region. pp.117--131, ⟨10.1007/978-3-642-02734-5_8⟩. ⟨hal-01699955⟩
  • Louis Gesbert, Frédéric Loulergue. Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML. International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), Dec 2007, Adelaide, Australia. pp.201-208, ⟨10.1109/PDCAT.2007.77⟩. ⟨inria-00452532⟩
  • Cyril Dumont, Fabrice Mourlin. A Mobile Computing Architecture for Numerical Simulation. International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Nov 2007, Papeete, French Polynesia. pp.68-74, ⟨10.1109/UBICOMM.2007.2⟩. ⟨hal-00186756⟩
  • Franck Pommereau, Raymond Devillers, Hanna Klaudel. Efficient reachability graph representation of Petri nets with unbounded counters. 9th International Workshops on Verification of Infinite-State Systems (INFINITY 2007), Sep 2007, Lisbon, Portugal. pp.119--129, ⟨10.1016/j.entcs.2009.05.034⟩. ⟨hal-00340494⟩
  • Myrto Arapinis, Marie Duflot. Bounding Messages for Free in Security Protocols. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, 2007, Unknown, Unknown Region. pp.376--387. ⟨hal-01195943⟩
  • Artiom Matveevici, Yurii Rogozhin, Sergey Verlan. Insertion-Deletion Systems with One-Sided Contexts. Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.205-217. ⟨hal-01352345⟩
  • Rudolf Freund, Sergey Verlan. A Formal Framework for Static (Tissue) P Systems. Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, 2007, Unknown, Unknown Region. pp.271-284. ⟨hal-01352404⟩
  • Artiom Alhazov, Rudolf Freund, Marion Oswald, Sergey Verlan. Partial Halting in P Systems Using Membrane Rules with Permitting Contexts. Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.110-121. ⟨hal-01352406⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. How to Synchronize the Activity of All Components of a P System?. International Workshop: Automata for Cellular and Molecular Computing, Budapest, Hungary, August 31, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.11--23. ⟨hal-01352407⟩
  • Artiom Matveevici, Yurii Rogozhin, Sergey Verlan. Insertion-Deletion Systems with One-Sided Contexts. Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.205-217. ⟨hal-01352410⟩
  • Artiom Alhazov, Rudolf Freund, Marion Oswald, Sergey Verlan. Partial Halting in P Systems Using Membrane Rules with Permitting Contexts. Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.110-121. ⟨hal-01352341⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. Producer/Consumer in Membrane Systems and Petri Nets. Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.43-52. ⟨hal-01352343⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. Producer/Consumer in Membrane Systems and Petri Nets. Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.43-52. ⟨hal-01352408⟩
  • Rudolf Freund, Sergey Verlan. A Formal Framework for Static (Tissue) P Systems. Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, 2007, Unknown, Unknown Region. pp.271-284. ⟨hal-01352339⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. How to Synchronize the Activity of All Components of a P System?. International Workshop: Automata for Cellular and Molecular Computing, Budapest, Hungary, August 31, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.11--23. ⟨hal-01352342⟩
  • Franck Pommereau. Versatile Boxes: a Multi-Purpose Algebra of High-Level Petri nets. Summer Computer Simulation Conference, 2007, San Diego, United States. ⟨hal-02309961⟩
  • Catalin Dima, Ruggero Lanotte. Distributed Time-Asynchronous Automata. Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.185--200, ⟨10.1007/978-3-540-75292-9_13⟩. ⟨hal-01699960⟩
  • Catalin Dima. Dynamical Properties of Timed Automata Revisited. Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.130--146, ⟨10.1007/978-3-540-75454-1_11⟩. ⟨hal-01699957⟩
  • Constantin Enea, Catalin Dima. Abstractions of Multi-agent Systems. Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.11--21, ⟨10.1007/978-3-540-75254-7_2⟩. ⟨hal-01699958⟩
  • Catalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia. Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability. Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007, 2007, Unknown, Unknown Region. pp.33--40, ⟨10.1109/SYNASC.2007.67⟩. ⟨hal-01699961⟩
  • Jean Michel Fourneau, Imène Kadi, Nihal Pekergin, Jérôme Vienne, Jean Marc Vincent. Perfect simulation and monotone stochastic bounds. 2nd International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2007, 2007, Nantes, France. ⟨10.4108/valuetools.2007.1933⟩. ⟨hal-02876607⟩
  • Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski. Bulk Synchronous Parallel ML avec exceptions. Rencontres Francophones du Parallélisme (Renpar'17), Oct 2006, Canet en Roussillon, France. ⟨inria-00452566⟩
  • Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski. Bulk Synchronous Parallel ML with Exceptions. Distributed and Parallel Systems (DAPSYS 2006), Sep 2006, Innsbruck, Austria. pp.33-42, ⟨10.1007/978-0-387-69858-8_4⟩. ⟨inria-00452559⟩
  • Frédéric Loulergue, Radia Benheddi, Frédéric Gava, Dimitri Louis-Regis. Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition. International Computer Science Symposium in Russia (CSR 2006), Jun 2006, Saint Peterbourg, Russia. pp.475-486, ⟨10.1007/11753728_48⟩. ⟨inria-00452573⟩
  • Frédéric Gervais, Marc Frappier, Régine Laleau. EB3TG: A tool synthesizing relational database transactions from EB3 attribute definitions. 8th International Conference on Enterprise Information Systems (ICEIS 2006), May 2006, Paphos, Cyprus. pp.44 - 51. ⟨hal-00145866⟩
  • Frédéric Gervais, Marc Frappier, Régine Laleau, Panawe Batanado. Génération automatique de transactions de base de données relationnelle à partir de définitions d'attributs EB3. Atelier Approches Formelles dans l'Assistance au Développement du Logiciel, Mar 2006, Paris, France. pp.25-39. ⟨hal-00145959⟩
  • Panawe Batanado, Frédéric Gervais, Marc Frappier, Régine Laleau. EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3. Atelier Approches Formelles dans l'Assistance au Développement du Logiciel, Mar 2006, Paris, France. pp.3-7. ⟨hal-00145960⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. Length-Separating Test Tube Systems. DNA Computing, 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers, 2006, Unknown, Unknown Region. pp.58-70. ⟨hal-01352346⟩
  • Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern. Computational Completeness of Tissue P Systems with Conditional Uniport. Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers, 2006, Unknown, Unknown Region. pp.521-535. ⟨hal-01352347⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. Length-Separating Test Tube Systems. DNA Computing, 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers, 2006, Unknown, Unknown Region. pp.58-70. ⟨hal-01352411⟩
  • Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern. Computational Completeness of Tissue P Systems with Conditional Uniport. Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers, 2006, Unknown, Unknown Region. pp.521-535. ⟨hal-01352412⟩
  • Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz. Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). International Conference on Application of Concurrency to System Design, ACSD'2006, 2006, Finland. pp.ERREUR_CHAMPS_NON_SPECIFIE. ⟨hal-00340477⟩
  • Alexis Bès, Olivier Carton. A Kleene Theorem for Languages of Words Indexed by Linear Orderings. 2005, pp.158-167. ⟨hal-00091579⟩
  • Nathalie Caspard, Bernard Monjardet, Gabriela Bordalo Hauser. "On some semilattices of closure systems". conférence internationale "Universal Algebra and Lattice Theory" (UALT'05), 2005, Szeged, Hungary. ⟨hal-00095595⟩
  • Patrick Cegielski, Denis Richard, Maxim Vsemirnov. On the additive theory of prime numbers II. 2005, pp.39-47. ⟨hal-00096769⟩
  • Marie Duflot, Danièle Beauquier, Marius Minea. A Probabilistic Property-Specific Approach to Information Flow. 2005, pp.206-220, ⟨10.1007/11560326_16⟩. ⟨hal-00091587⟩
  • Catalin Dima. Timed Shuffle Expressions. CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, 2005, Unknown, Unknown Region. pp.95--109, ⟨10.1007/11539452_11⟩. ⟨hal-01699963⟩
  • Catalin Dima. A Class of Automata for Computing Reachability Relations in Timed Systems. Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop "Verification of Infinite State Systems with Applications to Security VISSAS 2005", Timisoara, Romania, March 17-22, 2005, 2005, Unknown, Unknown Region. pp.69--89. ⟨hal-01699962⟩
  • Patrick Cegielski, Irene Guessarian, Yuri Matiyasevich. Multiple serial episode matching. 2005, pp.26-38. ⟨hal-00020564⟩
  • Philippe Andary, Bruno Patrou, Pierre Valarcher. About implementation of primitive recursive algorithms. International Workshop on Abstract State Machine, 2005, Paris, France. ⟨hal-00083380⟩
  • Pierre Valarcher. Call-by-name vs call-by-value in primitive recursion : storage operator. 5th International Workshop on Reduction Strategies in Rewriting and Programming, 2005, Nara, Japan. ⟨hal-00083376⟩
  • Tristan Crolard, Samuel Lacas, Pierre Valarcher. On the expressive power of Loop language. 17th Nordic Workshop on Programming Theory, 2005, Copenhaguen, Denmark. ⟨hal-00083374⟩
  • Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, et al.. Application of Requirements Analysis Techniques to the analysis of civil aviation security standards. SREP'05 - Proceedings of the First International Workshop on Situational Requirements Engineering Processes: Methods, Techniques and Tools to Support Situation-Specific Requirements Engineering Processes. Organized by IFIP WG8.1 Method Engineering Task Group, In conjunction with the 13th IEEE International Requirements Engineering Conference, 2005, Paris, France. pp.91--106. ⟨hal-01224666⟩
  • Myrto Arapinis, Anatol Slissenko. A Pattern Based Language for Programming of Heuristics of Proof Search. Proceeding of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC-2004), Sep 2004, Timisoara, Romania. pp.400--411. ⟨hal-01195944⟩
  • Danièle Beauquier, Tristan Crolard, Evguenia Prokofieva. Automatic Parametric Verification of Root Contention Protocol based on Abstract State Machines and First Order Timed Logic. TACAS, 2004, France. pp.372-387. ⟨hal-00094616⟩
  • Xiaocheng Ge, Fiona Polack, Régine Laleau. Secure Databases: an Analysis of Clark-Wilson Model in a Database Environment. 16th International Conference on Advanced Information Systems Engineering, CAiSE 2004, 2004, Riga, Latvia. pp.234--247. ⟨hal-01224668⟩
  • Xiaocheng Ge, Fiona Polack, Régine Laleau. Secure Database Development and the Clark-Wilson Security Model. Atelier SSI'04 Sécurité des Systèmes d'Information, INFORSID 2004, 2004, Biarritz, France. ⟨hal-01224667⟩
  • Amel Mammar, Régine Laleau. UML2SQL : un environnement intégré pour le développement d'implémentations relationnelles à partir de diagrammes UML. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, 2004, Besançon, France. pp.333--336. ⟨hal-01224669⟩
  • Amel Mammar, Régine Laleau. Génération de code exécutable à partir d'une spécification B : applications aux bases de données. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, 2004, Besançon, France. pp.77--91. ⟨hal-01224671⟩
  • Catalin Dima, Alain Girault, Yves Sorel. Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, 2004, Unknown, Unknown Region. pp.215--230, ⟨10.1007/978-3-540-30206-3_16⟩. ⟨hal-01699964⟩
  • Jean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. HFE and BDDs: A Practical Attempt at Cryptanalysis. 2004, pp.11. ⟨hal-00081338⟩
  • Franck Pommereau. Petri nets as Executable Specifications of High-Level Timed Parallel Systems. Computational Science - ICCS, 2004, Kraków, Poland. pp.331-338, ⟨10.1007/978-3-540-24688-6_44⟩. ⟨hal-00114671⟩
  • Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Box Calculus with High-Level Buffers. 2004, pp.1-6. ⟨hal-00114672⟩
  • Franck Pommereau. Causal Time Calculus. FORMATS, 2004, Marseille, France. pp.1-12, ⟨10.1007/978-3-540-40903-8_21⟩. ⟨hal-00114673⟩
  • Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier. How to Verify Dynamic Properties of Information Systems. 2nd IEEE International Conference on Software Engineering and Formal Methods, 2004, Beijing, China. pp.416--425. ⟨hal-01224670⟩
  • Tristan Crolard. A formulae-as-types interpretation of Subtractive Logic. First Workshop on the Logic for Pragmatics, 2003, Verona, Italy. ⟨hal-00094710⟩
  • Nathalie Caspard, Bernard Monjardet. The lattice of finite convex geometries. 4èe Conférence Internationale "Journée de l'Informatique Messine" (JIM'03) : Knowledge Discovery in Databases and Discrete Mathematics, 2003, Metz, France. ⟨hal-00095597⟩
  • Patrick Cegielski, Denis Richard, Maxim Vsemirnov. On the additive theory of prime numbers I. 2003, pp.90-99. ⟨hal-00096752⟩
  • Nathalie Caspard, Claude Le Conte de Poly-Barbut. Cayley lattices associated with finite Coxeter groups are bounded. Conférence internationale Lattices, Universal Algebra and Applications (LUAA'03), 2003, Lisbonne, Portugal. ⟨hal-00095598⟩
  • Danièle Beauquier, Tristan Crolard, Evguenia Prokofieva. Automatic verification of real time systems: a case study. Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS'03), 2003, Southampton, United Kingdom. pp.1-11. ⟨hal-00094624⟩
  • Andreea Barbu, Fabrice Mourlin. From Higher Order Pi-Calculus Specification to RMI Implementation. 2003, pp.?-?. ⟨hal-00005605⟩
  • Catalin Dima. Distributed Real-Time Automata. Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back: Essays in Honour of Gheorghe Paun, 2003, Unknown, Unknown Region. pp.131--140. ⟨hal-01699965⟩
  • Catalin Dima. Regular Expressions with Timed Dominoes. Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, 2003, Unknown, Unknown Region. pp.141--154, ⟨10.1007/3-540-45066-1_11⟩. ⟨hal-01699966⟩
  • Catalin Dima. A Nonarchimedian Discretization for Timed Languages. Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers, 2003, Unknown, Unknown Region. pp.168--181, ⟨10.1007/978-3-540-40903-8_14⟩. ⟨hal-01699967⟩
  • Jean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. Analysis of HFE from a BDD point of view. CCC'03, 2003, China. ⟨hal-00081341⟩
  • Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Petri nets with causal time for system verification. MTCS, 2003, Brno, Czech Republic. pp.1-16, ⟨10.1016/S1571-0661(04)80521-8⟩. ⟨hal-00114682⟩
  • Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau. An Algebra of Non-safe Petri Boxes. AMAST, 2002, Saint-Gilles-les-Bains, France. pp.192-207, ⟨10.1007/3-540-45719-4_14⟩. ⟨hal-02309988⟩
  • Catalin Dima. Computing Reachability Relations in Timed Automata. 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings, 2002, Unknown, Unknown Region. pp.177, ⟨10.1109/LICS.2002.1029827⟩. ⟨hal-01699968⟩
  • Raymond Devillers, Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. Operational Semantics for PBC with Asynchronous Communication. 2002, pp.1-6. ⟨hal-00114684⟩
  • Danièle Beauquier, Tristan Crolard, Arnaud Durand, Anatol Slissenko. Impossibility of essential real-time garbage collection in the general case. Proceedings of the 3nd International Conferences on Computer Science and Information Technologies, 2001, Yerevan, Armenia. pp.113-117. ⟨hal-00094632⟩
  • Jef Wijsen, Alexis Bès. Temporal Tableau Queries. TIME, 2001, Unknown, Unknown Region. pp.136-143. ⟨hal-01215412⟩
  • Hanna Klaudel, Franck Pommereau. A concurrent semantics of static exceptions in a parallel programming language. PETRI NETS, 2001, Newcastle upon Tyne, United Kingdom. pp.204-223, ⟨10.1007/3-540-45740-2_13⟩. ⟨hal-00114689⟩
  • Catalin Dima, Alain Girault, Christophe Lavarenne, Yves Sorel. Off-Line Real-Time Fault-Tolerant Scheduling. Ninth Euromicro Workshop on Parallel and Distributed Processing, PDP 2001, 7-9 February 2001, Mantova, Italy, 2001, Unknown, Unknown Region. pp.410--417, ⟨10.1109/EMPDP.2001.905069⟩. ⟨hal-01699970⟩
  • Franck Pommereau. FIFO Buffers in tie Sauce. Distributed and Parallel Systems, Sep 2000, Balatonfüred, Hungary. pp.95-104, ⟨10.1007/978-1-4615-4489-0_13⟩. ⟨hal-02310048⟩
  • Catalin Dima. Real-Time Automata and the Kleene Algebra of Sets of Real Numbers. STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings, 2000, Unknown, Unknown Region. pp.279--289, ⟨10.1007/3-540-46541-3_23⟩. ⟨hal-01699972⟩
  • Hanna Klaudel, Franck Pommereau. A concurrent and compositional Petri net semantics of preemption. Integrated Formal Methods (IFM), 2000, Dagstuhl, Germany. pp.318-337, ⟨10.1007/3-540-40911-4_19⟩. ⟨hal-00114693⟩
  • Arnaud Durand, Miki Hermann, Phokion G. Kolaitis. Subtractive Reductions and Complete Problems for Counting Complexity Classes. 25th International Symposium on Mathematical Foundations of Computer Science - MFCS'2000, 2000, Bratislava, Slovaquie, pp.323-332. ⟨inria-00099381⟩
  • Tristan Crolard. Typing coroutines in subtractive logic. 1999, pp.1-19. ⟨hal-00094662⟩
  • Catalin Dima. Kleene Theorems for Event-Clock Automata. Fundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings, 1999, Unknown, Unknown Region. pp.215--225, ⟨10.1007/3-540-48321-7_17⟩. ⟨hal-01699973⟩
  • Hanna Klaudel, Franck Pommereau. Asynchronous links in the PBC and M-nets. ASIAN, 1999, Phuket, Thailand. pp.190-200, ⟨10.1007/3-540-46674-6_17⟩. ⟨hal-00114697⟩
  • Arnaud Durand, Miki Hermann, Laurent Juban. On the complexity of recognizing the Hilbert basis of a linear Diophantine system. 24th International Symposium on Mathematical Foundations of Computer Science - MFCS'99, 1999, Szklarska Poreba, Poland, pp.92-102. ⟨inria-00098956⟩

Books13 documents

  • Catherine Dubois, Régine Laleau. Actes de la 13 ème édition d'AFADL, atelier francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels, juin 2014.. Catherine Dubois, Régine Laleau. AFADL, pp.140, 2014. ⟨hal-00997676⟩
  • Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli. Proceedings of the Spatial Computing Workshop (SCW 2013) colocated with AAMAS (W09). IFAMAAS (International Foundation for Autonomous Agents and Multiagent Systems), pp.92, 2013. ⟨hal-00821901⟩
  • Jacob Beal, Stefan Dulman, Jean-Louis Giavitto, Antoine Spicher. Proceedings of the Spatial Computing Workshop (SCW 2012) colocated with AAMAS (W21). IFAMAAS (International Foundation for Autonomous Agents and Multiagent Systems), pp.60, 2012. ⟨hal-00769288⟩
  • Jean-Louis Giavitto, Jacob Beal, Stefan Dulman, Antoine Spicher. Proceedings of the Int. Workshop on Spatial Computing (SCW 2012): (co-located with AAMAS 2012). IFAMAAS (International Foundation for Autonomous Agents and Multiagent Systems). pp.1-1, 2012. ⟨hal-01161006⟩
  • Nathalie Caspard, Bruno Leclerc, Bernard Monjardet. Finite Ordered Sets Concepts, Results and Uses. Cambridge University Press, pp.337, 2012. ⟨halshs-00800193⟩
  • Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Sylvie Boldo, Denis Bouhineau, et al.. Une introduction à la science informatique pour les enseignants de la discipline en lycée. Gilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9. ⟨hal-00765226⟩
  • Nathalie Caspard, Bruno Leclerc, Bernard Monjardet. Ensembles ordonnés finis : concepts, résultats, usages. SPRINGER, pp.340, 2007, Mathématiques et Applications, G. Allaire et M. Benaîm. ⟨halshs-00197128⟩
  • Jean-Baptiste Yunès, Jean-Francis Michon, Pierre Valarcher. BFCA'06 Boolean Functions: Cryptography and Applications. Jean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. Presses Universitaires de Rouen et du Havre, pp.202, 2006. ⟨hal-00131767⟩
  • Jean-Baptiste Yunès, Pierre Valarcher, Jean-Francis Michon. BFCA'05 - Boolean Functions: Cryptography and Applications. Jean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. Presses Universitaires de Rouen et du Havre, pp.204, 2005. ⟨hal-00139042⟩
  • Jean-Baptiste Yunès, Jean-Francis Michon, Pierre Valarcher. Boolean Functions: Cryptography and Applications.. Presses Universitaires de Rouen et du Havre, pp.204, 2005. ⟨hal-00081317⟩
  • Patrick Cegielski. Conception des systèmes d'exploitation : Le cas linux. Deuxième édition.. Eyrolles, pp.XIII+680, 2004. ⟨hal-00097619⟩
  • Patrick Cégielski. Comprendre les systèmes d'exploitation: le cas linux. Eyrolles, 2003. ⟨hal-00005606⟩
  • Patrick Cegielski. Modélisation et simulation : actes du CNRIUT98. L'Harmattan, pp.592, 1998. ⟨hal-00097628⟩

Book sections45 documents

  • Emmanuel Jeandel, Pascal Vanier. The Undecidability of the Domino Problem. Substitution and Tiling Dynamics: Introduction to Self-inducing Structures, 2273, pp.293-357, 2020, ⟨10.1007/978-3-030-57666-0_6⟩. ⟨hal-03087341⟩
  • Benoît Barbot, Nicolas Basset, Thao Dang. Generation of Signals Under Temporal Constraints for CPS Testing. NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, pp.54-70, 2019. ⟨hal-02157644⟩
  • Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot. Two-Way Parikh Automata with a Visibly Pushdown Stack. Bojańczyk M., Simpson A. Foundations of Software Science and Computation Structures. FoSSaCS 2019, Springer, pp.189-206, 2019, 978-3-030-17126-1. ⟨10.1007/978-3-030-17127-8_11⟩. ⟨hal-02162279⟩
  • Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald, Sergey Verlan. Chocolate P Automata. Lecture Notes in Computer Science, 11270, pp.1--20, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-00265-7_1⟩. ⟨hal-01949068⟩
  • Artiom Alhazov, Sergey Verlan, Rudolf Freund. Small Universal Reversible Counter Machines. Adamatzky, Andrew. Reversibility and Universality: Essays Presented to Kenichi Morita on the Occasion of his 70th Birthday, Springer International Publishing, pp.433--446, 2018, 978-3-319-73216-9. ⟨10.1007/978-3-319-73216-9_20⟩. ⟨hal-01757525⟩
  • Antoine Spicher, Jean-Louis Giavitto. Interaction-based Programming in MGS. Andrew Adamatzky. Advances in Unconventional Computing - Volume 1: Theory, 22, Springer, pp.305-342, 2017, Series: Emergence, Complexity and Computation, 978-3-319-33923-8. ⟨10.1007/978-3-319-33924-5⟩. ⟨hal-01377667⟩
  • Marian Gheorghe, Andrei Păun, Sergey Verlan, Gexiang Zhang. Applications of P Systems. Meyers, Robert A. Encyclopedia of Complexity and Systems Science, Springer Berlin Heidelberg, pp.1--15, 2017, 978-3-642-27737-5. ⟨hal-01757526⟩
  • Marian Gheorghe, Andrei Păun, Sergey Verlan, Gexiang Zhang. Membrane Computing, Power and Complexity. Meyers, Robert A. Encyclopedia of Complexity and Systems Science, Springer Berlin Heidelberg, pp.1--16, 2017, 978-3-642-27737-5. ⟨10.1007/978-3-642-27737-5_697-1⟩. ⟨hal-01757527⟩
  • Jean-Louis Giavitto, Antoine Spicher. A Topological Approach of Musical Relationships. Jordan B L Smith (National Institute for Advanced Industrial Research and Technology (AIST) Japan); Elaine Chew (Queen Mary University of London, UK); Gérard Assayag (IRCAM - UMPC - CNRS, Science and Technology of Music and Sound Lab, France). Mathemusical Conversations - Mathematics and Computation in Music Performance and Composition, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore (32), World Scientific, pp.283--298, 2016, 978-981-3140-09-7. ⟨hal-01377659⟩
  • Nathalie Caspard, Luigi Santocanale, Friedrich Wehrung. Permutohedra and Associahedra. Lattice Theory: Special Topics and Applications (Volume 2), Birkhäuser / Springer, pp.215--286, 2016, ⟨10.1007/978-3-319-44236-5⟩. ⟨hal-01700866⟩
  • Irene Guessarian, Patrick Cégielski, Serge Grigorieff. Arithmetical Congruence Preservation: from Finite to Infinite. Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich, 9300, pp.210-225, 2015, LNCS. ⟨hal-01260281⟩
  • Salem Chakhar, Serge Haddad, Lynda Mokdad, Vincent Mousseau. Multicriteria Evaluation-Based Framework for Composite Web Service Selection. Evaluation and Decision Models with Multiple Criteria: Case Studies, Springer, 2015, 10.1007/978-3-662-46816-6. ⟨hal-01472175⟩
  • Frédéric Loulergue, Wadoud Bousdira, Julien Tesson. Calcul de programmes parallèles avec Coq. Informatique Mathématique, CNRS Éditions, 2015, collection Alpha. ⟨hal-01107296⟩
  • Nicolas Troquard, Emanuele Bottazzi. On Help and Interpersonal Control. The Cognitive Foundations of Group Attitudes and Social Interaction, Springer International Publishing, 2015, ⟨10.1007/978-3-319-21732-1_1⟩. ⟨hal-01220722⟩
  • Yurii Rogozhin, Sergey Verlan. Computational Models Based on Splicing. Andrew Adamatzky. Automata, Universality, Computation, 12, Springer, pp.237--258, 2015, Emergence, Complexity and Computation, ⟨10.1007/978-3-319-09039-9_11⟩. ⟨hal-01352287⟩
  • Maurice Margenstern, Pascal Mayer, Sergey Verlan. String Displacement Systems and DNA Circuits Based on Isothermal Constrained Loop Extension DNA Amplification. Marian Gheorghe; Ion Petre; Mario J. Perez-Jimenez; Grzegorz Rozenberg; Arto Salomaa. Multidisciplinary Creativity. Homage to Gheorghe Păun on his 65th Birthday., Spandugino, 2015, 978-606-8401-63-8. ⟨hal-02485401⟩
  • Quentin Monnet, Lynda Mokdad. DoS detection in WSNs: Energy-efficient designs and modeling tools for choosing monitoring nodes . Mohammad S. Obaidat; Faouzi Zaraia; Petros Nicopolitidis. Modeling and Simulation of Computer Networks and Systems: Methodologies and Applications, Elsevier, pp.797−842, 2015, 9780128008874. ⟨hal-01318714⟩
  • Patrick Cégielski, Irene Guessarian, Serge Grigorieff. Arithmetical Congruence Preservation: From Finite to Infinite, Lecture Notes in Computer Science 9300, Springer, 2015, pp. 210-225. From Finite to Infinite, Lecture Notes in Computer Science 9300, Springer, 2015, 2015. ⟨hal-01689058⟩
  • Patrick Cégielski, Serge Grigorieff, Irene Guessarian. Integral Difference Ratio Functions on Integers. Computing with new resouces, 8808, pp.210-225, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-13350-8_21⟩. ⟨hal-01259852⟩
  • Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. Small Universal Devices. Calude, Cristian S. and Freivalds, Rūsi\cn\us and Kazuo, Iwama. Computing with New Resources, 8808, Springer, pp.249-263, 2014, Lecture Notes in Computer Science, 978-3-319-13349-2. ⟨10.1007/978-3-319-13350-8_19⟩. ⟨hal-01352293⟩
  • Luidnel Maignan, Frédéric Gruau. Convex Hulls and Metric Gabriel Graphs. Emergence, Complexity and Computation, 10, Springer, pp.183-204, 2014, Cellular Automata in Image Processing and Geometry, ⟨10.1007/978-3-319-06431-4_10⟩. ⟨hal-01666988⟩
  • Muath Alrammal, Gaétan Hains. A Research Survey on Large XML Data: Streaming, Selectivity Estimation and Parallelism. F. Xhafa and N. Bessis. Inter-cooperative Collective Intelligence: Techniques and Applications, Springer, 2013, ISBN 978-3-642-35015-3. ⟨hal-00823325⟩
  • Jean-Louis Giavitto, Olivier Michel, Antoine Spicher. Interaction−Based Modeling of Morphogenesis in MGS. R. Doursat and H. Sayama. Morphogenetic Engineering, Springer, pp.409-440, 2013, Understanding Complex Systems, 978-3-642-33901-1. ⟨10.1007/978-3-642-33902-8_16⟩. ⟨hal-00925879⟩
  • Gemma Bel-Enguix, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. On the Lower Bounds for Asymmetrical Insertion-deletion Languages. G. Bel-Enguix and V. Dahl and M.D. Jiménez-López. Biology, Computation and Linguistics: New Interdisciplinary Paradigms, 228, IOS Press, pp.145-154, 2011, Frontiers in Artificial Intelligence and Applications. ⟨hal-01352376⟩
  • Gemma Bel-Enguix, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. On the Lower Bounds for Asymmetrical Insertion-deletion Languages. G. Bel-Enguix and V. Dahl and M.D. Jiménez-López. Biology, Computation and Linguistics: New Interdisciplinary Paradigms, 228, IOS Press, pp.145-154, 2011, Frontiers in Artificial Intelligence and Applications. ⟨hal-01352312⟩
  • Antoine Spicher, Olivier Michel, Jean-Louis Giavitto. Interaction-Based Simulations for Integrative Spatial Systems Biology. W. Dubitzky, J Southgate and H. Fuss. Understanding the Dynamics of Biological Systems: Lessons Learned from Integrative Systems Biology, SpringeVerlag Berlin, Heidelberg, pp.195--231, 2011, ⟨10.1007/978-1-4419-7964-3_10⟩. ⟨hal-00645911⟩
  • Frédéric Gervais, Benoît Fraikin. Software: Practice and Experience. Software: Practice and Experience, Tool Building in Formal Methods - Extended Papers from WS-TBFM 2010, John Wiley and Sons, pp.131-208, 2011. ⟨hal-01223271⟩
  • Irene Guessarian, Patrick Cégielski. Normal form of Some extended Abstract State Machines. Fields of Logic and Computation, pp.165-180, 2010, 978-3-642-15025-8. ⟨10.1007/978-3-642-15025-8⟩. ⟨hal-01260275⟩
  • Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Small Size Insertion and Deletion Systems. C. Martin-Vide. Scientific Applications of Language Methods, 2, World Scientific, pp.459--524, 2010, Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory, ⟨10.1142/9781848165458_0009⟩. ⟨hal-01352316⟩
  • Sergey Verlan, Pierluigi Frisco. Splicing P Systems. Gh. Păun and G. Rozenberg and A. Salomaa. The Oxford Handbook of Membrane Computing, Oxford University Press, pp.198--226, 2009. ⟨hal-01352324⟩
  • Rudolf Freund, Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. Communication P Systems. Gh. Păun and G. Rozenberg and A. Salomaa. The Oxford Handbook of Membrane Computing, Oxford University Press, pp.118--143, 2009. ⟨hal-01352392⟩
  • Rudolf Freund, Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. Communication P Systems. Gh. Păun and G. Rozenberg and A. Salomaa. The Oxford Handbook of Membrane Computing, Oxford University Press, pp.118--143, 2009. ⟨hal-01352327⟩
  • Sergey Verlan, Pierluigi Frisco. Splicing P Systems. Gh. Păun and G. Rozenberg and A. Salomaa. The Oxford Handbook of Membrane Computing, Oxford University Press, pp.198--226, 2009. ⟨hal-01352389⟩
  • Amel Mammar, Régine Laleau. UB2SQL : a tool for building database applications using UML and B formal method. Database technologies : concepts, methodologies, tools, and applications, IGI Global, pp.1168-1188, 2009, ⟨10.4018/978-1-60566-058-5.ch067⟩. ⟨hal-00597321⟩
  • Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. Towards Efficient Verification of Systems with Dynamic Process Creation. Theoretical Aspects of Computing - ICTAC 2008, 5160, Springer Berlin Heidelberg, pp.186-200, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-85762-4_13⟩. ⟨hal-02310882⟩
  • Jean-Louis Giavitto, Olivier Michel, Antoine Spicher. Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems. M. Wirsing, J. Banâtre, M. Hölzl, A. Rauschmayer. Software-Intensive Systems and New Computing Paradigms, Springer Verlag Berlin, Heidelberg, pp.235--254, 2008, Lecture Notes in Computer Science, vol. 5380, ⟨10.1007/978-3-540-89437-7_15⟩. ⟨hal-00645997⟩
  • Amel Mammar, Régine Laleau. UB2SQL : a tool for building database applications using UML and B formal method. 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⟩. ⟨hal-01326381⟩
  • Régine Laleau, Amel Mammar. From UML Diagrams to B Specifications. Henri Habrias, France Marc Frappier. Software Specification Methods : an Overview Using a Case Study, ISTE - London, pp.59 - 80, 2006. ⟨hal-00145958⟩
  • Frédéric Gervais, Marc Frappier, Richard St-Denis. Software Specification Methods. Software Specification Methods, EB3, ISTE, pp.259-274, 2006. ⟨hal-01223278⟩
  • Alexis Bès. A Survey of Arithmetical Definability. A Tribute to Maurice Boffa, Société Mathématique de Belgique, pp.1-54, 2002. ⟨hal-00091580⟩
  • Patrick Cegielski, François Heroult, Denis Richard. Théorie des nombres et informatique. CNR'IUT 2001, Presses Universitaires de Saint-Étienne, pp.249-256, 2001. ⟨hal-00097601⟩
  • Patrick Cegielski. Comment vérifier l'accès à une page Web. CNR'IUT 2000, tome 1, ISBN 2.913454-06-2, Presses Universitaires d'Orléans, pp.249-256, 2000. ⟨hal-00097595⟩
  • Patrick Cegielski. Un fondement des Mathématiques. Michel Serfati. La recherche de la vérité, ACL-éditions (Paris), pp.177-209, 1999. ⟨hal-00096777⟩
  • Patrick Cegielski. Historique de la théorie élémentaire des ensembles. Fragments d'histoire des mathématiques II, APMEP (Association des Professeurs de Mathématiques de l'Enseignement Public), pp.161-210, 1987. ⟨hal-00096775⟩
  • Patrick Cegielski, Kenneth Mc Aloon, George Wilmers. Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels. D. van Dalen. Logic colloquium 80, North-Holland, pp.57-68, 1982. ⟨hal-00096748⟩

Directions of work or proceedings17 documents

  • Susan Stepney, Sergey Verlan. Special Issue: Unconventional Computing and Natural Computing 2018 - Selected papers from the Unconventional Computing and Natural Computing Conference 2018. Susan Stepney; Sergey Verlan. Natural Computing, 18 (3), Springer, 2019. ⟨hal-02485388⟩
  • Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna. Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD). Electronic Proceedings in Theoretical Computer Science, 271, 2018, ⟨10.4204/EPTCS.271⟩. ⟨hal-01933762⟩
  • Susan Stepney, Sergey Verlan. Unconventional Computation and Natural Computation - 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings. Susan Stepney; Sergey Verlan. Springer, 2018, ⟨10.1007/978-3-319-92435-9⟩. ⟨hal-02485345⟩
  • Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke. Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. EPEW 2018: European Workshop on Performance Engineering, Oct 2018, Paris, France. , 11178, Springer, 265 p., 2018, Lecture Notes in Computer Science, 978-3-030-02226-6. ⟨10.1007/978-3-030-02227-3⟩. ⟨hal-02750390⟩
  • Jérôme Durand-Lose, Serghei Verlan. Machines, Computations and Universality (MCU 2018). Durand-Lose, Jérôme; Verlan, Sergey. Machines, Computations and Universality (MCU 2018), Jun 2018, Fontainebleau, France. Springer, 2018, LNCS, ⟨10.1007/978-3-319-92402-1⟩. ⟨hal-01792687⟩
  • Rena Bakshi, Paolo Ballarini, Benoit Barbot, Hind Castel-Taleb, Anne Remke. Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings. Springer, pp.265, 2018, Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), 978-3-030-02226-6. ⟨hal-02014749⟩
  • Svetlana Cojocaru, Maurice Margenstern, Gheorghe Păun, Sergey Verlan. Special Issue in Memoriam Yurii Rogozhin. Svetlana Cojocaru and Maurice Margenstern and Gheorghe Păun and Sergey Verlan. 138 (1-2), 2015, Fundamenta Informaticae, ⟨10.3233/FI-2015-1193⟩. ⟨hal-01352289⟩
  • Nadira Lammari, Nora Cuppens, Régine Laleau. Revue Ingénierie des Systèmes d'Information : Sécurité des Systèmes d'Information. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 19 (6), 2014. ⟨hal-01126564⟩
  • Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. Special issue "Abstract State Machines, Alloy, B and Z; Selected papers from ABZ 2010". Marc Frappier and Uwe Glässer and Sarfraz Khurshid and Régine Laleau and Steve Reeves. Elsevier, 2013. ⟨hal-01224628⟩
  • Marian Gheorghe, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan. Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers. Marian Gheorghe and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa and Sergey Verlan. 7184, Springer, 2012, Lecture Notes in Computer Science, 978-3-642-28023-8. ⟨hal-01352303⟩
  • Marian Gheorghe, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan. Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers. Marian Gheorghe and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa and Sergey Verlan. 7184, Springer, 2012, Lecture Notes in Computer Science, 978-3-642-28023-8. ⟨hal-01352368⟩
  • Brigitte Grau, Régine Laleau, Jean-Yves Ramel. Systèmes d'indexation et recherche d'information : modèles pour la conception et l'évaluation. 14, Lavoisier, pp.216, 2011, 9782746238519. ⟨hal-01224639⟩
  • Régine Laleau. Numero special "Inforsid 2010". Regine Laleau. 16 (1), 2011. ⟨hal-01224636⟩
  • Sébastien Fournier, Régine Laleau. Actes du 28eme Congres INFORSID. Sebastien FOURNIER and Regine LALEAU. 2010. ⟨hal-01224648⟩
  • Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Marc Frappier and Uwe Glässer and Sarfraz Khurshid and Régine Laleau and Steve Reeves. ABZ, 5977, Springer, 2010, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-11811-1⟩. ⟨hal-01224643⟩
  • Jan Vanthienen, Stijn Hoppenbrouwers, Régine Laleau. CAISE'08 Workshop on Regulations Modelling and Deployment, ReMoD'08. CEUR-Workshop Proceedings 342. Jan Vanthienen and Stijn Hoppenbrouwers and Régine Laleau. 2008. ⟨hal-01224659⟩
  • Régine Laleau, Michel Lemoine. Proceedings of the CAISE'06 Workshop on Regulations Modelling and their Validation and Verification, ReMo2V-2006, Luxemburg, June 5-9. Régine Laleau and Michel Lemoine. ReMo2V-2006, CEUR-Workshop Proceedings, 2006. ⟨hal-01224664⟩

Other publications10 documents

  • Myriam Preissmann, Paul-Elliot Angles d'Auriac, Francis Maisonneuve, Vivien Maisonneuve, Emmanuel Preissmann. New results on variants of the Majority problem. 2017. ⟨hal-02148458⟩
  • Emmanuel Polonowski. DBGen User Manual. 2012. ⟨hal-00763341⟩
  • Tristan Crolard, Emmanuel Polonowski. A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables. 2009. ⟨hal-00385416⟩
  • Emmanuel Polonowski. LoopW Technical Reference v0.3. 2009. ⟨hal-00443669⟩
  • Tristan Crolard, Emmanuel Polonowski, Pierre Valarcher. Extending the Loop Language with Higher-Order Procedural Variables. 2008. ⟨hal-00385411⟩
  • Danièle Beauquier, Frédéric Gauche. How to Guarantee Secrecy for Cryptographic Protocols. 2007. ⟨hal-00138766⟩
  • Emmanuel Polonowski. Deriving SN from PSN: a general proof technique. 2006. ⟨hal-00420464⟩
  • Jean-Baptiste Yunès, Jean-Francis Michon, Pierre Valarcher. Sequence of Enumeration of QROBDD. 2004. ⟨hal-00081330⟩
  • Frédéric Gervais. EB4 : Vers une méthode combinée de spécification formelle des systèmes d'information. 2004. ⟨hal-01223282⟩
  • Franck Pommereau, Christian Stehno. FIFO buffers is hot tie sauce. 2001. ⟨hal-00114692⟩

Preprints, Working Papers, ...27 documents

  • Antonin Callard, Pascal Vanier. Computational characterization of surface entropies for Z² subshifts of finite type. 2021. ⟨hal-03133208⟩
  • Luc Pellissier, Thomas Seiller. Lower bounds for algebraic machines, semantically. 2021. ⟨hal-02487667v2⟩
  • Luc Pellissier, Thomas Seiller. PRAMs over integers do not compute maxflow efficiently. 2021. ⟨hal-01921942v2⟩
  • Benoit Monin, Ludovic Patey. SRT22 does not imply RT22 in omega-models. 2020. ⟨hal-02991303⟩
  • Paul-Elliot Anglès d'Auriac, Peter A. Cholak, Damir D. Dzhafarov, Benoît Monin, Ludovic Patey. Milliken's tree theorem and its applications: a computability-theoretic perspective. 2020. ⟨hal-02991282⟩
  • Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, et al.. Property-Directed Verification of Recurrent Neural Networks. 2020. ⟨hal-03134999⟩
  • Clément Aubert, Daniele Varacca. Process, Systems and Tests: Three Layers in Concurrent Computation (Short Paper). 2020. ⟨hal-02899123⟩
  • Clément Aubert, Daniele Varacca. Process, Systems and Tests: Three Layers in Concurrent Computation. 2020. ⟨hal-02895417⟩
  • Tien Thao Nguyen, Luidnel Maignan. Exploring Millions of 6-State FSSP Solutions: the Formal Notion of Local CA Simulation. 2020. ⟨hal-02605712⟩
  • Ronnie Pavlov, Pascal Vanier. The relationship between word complexity and computational complexity in subshifts. 2019. ⟨hal-02063174⟩
  • Benoît Barbot, Marco Beccuti, Giuliana Franceschinis, Serge Haddad, Claudine Picaronny. Bounds Computation for Symmetric Nets. 2018. ⟨hal-01726011⟩
  • Marie-Pierre Béal, Michel Blockelet, Catalin Dima. Sofic-Dyck shifts. 2018. ⟨hal-01699941⟩
  • Marie-Pierre Béal, Michel Blockelet, Catalin Dima. Finite-type-Dyck shift spaces. 2018. ⟨hal-01699942⟩
  • Arthur Milchior. A Quasi-Linear Time Algorithm Deciding Whether Weak B\"uchi Automata Reading Vectors of Reals Recognize Saturated Languages. 2018. ⟨hal-01676719⟩
  • Arthur Milchior. Uniform definition of sets using relations and complement of Presburger Arithmetic. 2018. ⟨hal-01676721⟩
  • Serge Grigorieff, Irene Guessarian, Patrick Cégielski. CHARACTERIZING CONGRUENCE PRESERVING FUNCTIONS Z/nZ → Z/mZ VIA RATIONAL POLYNOMIALS. 2016. ⟨hal-01260934⟩
  • Anatol Slissenko. On entropic convergence of algorithms in terms of domain partitions. 2016. ⟨hal-01817834⟩
  • Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, et al.. Entropy Games and Matrix Multiplication Games. 2015. ⟨hal-01164086v3⟩
  • Patrick Cegielski, Serge Grigorieff. Newton representation of functions over natural integers having integral difference ratios. 2013. ⟨hal-00870168⟩
  • Patrick Cegielski, Serge Grigorieff, Irene Guessarian. On Lattices of Regular Sets of Natural Integers Closed under Decrementation. 2013. ⟨hal-00870130⟩
  • El Houcein El Abdalaoui, Mohamed Dahmoune, Djelloul Ziadi. On the transition reduction problem for finite automata. 2012. ⟨hal-00779496⟩
  • Julien Cohen, Jean-Louis Giavitto, Olivier Michel. Variable elimination for building interpreters. 2010. ⟨hal-00482002⟩
  • Patrick Cegielski, Irene Guessarian. Tree inclusions in windows and slices. 2007. ⟨hal-00159127⟩
  • Alexis Bès. An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet. 2007. ⟨hal-00155280⟩
  • Alexis Bès, Patrick Cégielski. Weakly Maximal Decidable Structures. 2007. ⟨hal-00155281⟩
  • Alexis Bès, Patrick Cégielski. Non-Maximal Decidable Structures. 2007. ⟨hal-00155282⟩
  • Patrick Cegielski, Irene Guessarian, Yuri Matiyasevich. Tree inclusion problems. 2007. ⟨hal-00159125⟩

Reports33 documents

  • Alexandre Fernandez, Luidnel Maignan, Antoine Spicher. Cellular Automata and Kan Extensions. [Research Report] Univ Paris Est Creteil, LACL, 94000, Creteil, France. 2021. ⟨hal-03149398⟩
  • Alexandre Fernandez, Luidnel Maignan, Antoine Spicher. The Bicategory of Open Functors. [Research Report] Univ Paris Est Creteil, LACL, 94000, Creteil, France. 2021. ⟨hal-03139482⟩
  • Pierre Boulet, S Bouveret, A Bugeau, E Frenoux, Julien Lefevre, et al.. Référentiel de connaissances pour un numérique éco-responsable. [Travaux universitaires] EcoInfo. 2020. ⟨hal-02954188⟩
  • Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier. Formal representation of SysML/KAOS domain model. [Research Report] LACL, Université Paris-Est/Créteil. 2019. ⟨hal-02874826⟩
  • Yoann Marquer, Frédéric Gava. Algorithmic Completeness of BSP Languages. [Technical Report] Laboratoire d'Algorithmique, Complexité et Logique, Université Paris-Est Créteil. 2018. ⟨hal-01742406⟩
  • Yoann Marquer, Luidnel Maignan, Jean-Baptiste Yunès. Proving Formally a Field-Based FSSP Solution. [Technical Report] Laboratoire d'Informatique Algorithmique: Fondements et Applications, Université Paris Diderot - Paris 7. 2018, pp.1-58. ⟨hal-01739317⟩
  • Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad. Integrating Simulink Models into the Model Checker Cosmos. [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LIP6, Sorbonne Université, CNRS, UMR 7606; LACL, Université Paris-Est. 2018. ⟨hal-01725835⟩
  • Yoann Marquer, Frédéric Gava. An ASM Thesis for BSP. [Technical Report] Laboratoire d'Algorithmique, Complexité et Logique, Université Paris-Est Créteil. 2018. ⟨hal-01717647⟩
  • Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas. Opacity for Linear Constraint Markov Chains. [Research Report] LIP6 UMR 7606 UPMC Sorbonne Universités, France; Univ. de Franche-Comté; Ecole Polytechnique de Montréal; LACL, Université Paris-Est. 2016. ⟨hal-01384153⟩
  • Clément Aubert, Marc Bagnol, Thomas Seiller. Memoization for Unary Logic Programming: Characterizing PTIME. [Research Report] RR-8796, INRIA Grenoble - Rhône-Alpes; Université Paris-Est, LACL (EA 4219), UPEC, F-94010 Créteil, France; Aix Marseille Université, CNRS, Centrale Marseille, I2M UMR 7373, 13453, Marseille, France; IHÉS. 2015, pp.28. ⟨hal-01107377v3⟩
  • Sayanta Mallick, Gaétan Hains, Cheikh Sadibou Deme. An Alert Prediction Model for Cloud Infrastructure Monitoring. [Research Report] lacl-2013-01, 2013. ⟨hal-00823360⟩
  • Chong Li, Gaétan Hains, Youry Khmelevsky, Brandon Potter, Jesse Gaston, et al.. Generating a Real-Time Algorithmic Trading System Prototype from Customized UML Models (a case study). [Technical Report] TR-LACL-2012-09, 2012, pp.14. ⟨hal-00926418⟩
  • Tristan Crolard, Emmanuel Polonowski. A program logic for higher-order procedural variables and non-local jumps. 2011. ⟨hal-00651407⟩
  • Chong Li, Gaétan Hains. A simple Bridging Model for High-Performance Computing. [Technical Report] TR-LACL-2010-12, 2010, pp.25. ⟨hal-00926383⟩
  • Sylvain Soliman, Claudine Chaouiya, Grégory Batt, Francois Fages, Élisabeth Remy, et al.. Modelling molecular networks: relationships between different formalisms and levels of details. [Research Report] RR-7221, INRIA. 2010. ⟨inria-00461084⟩
  • Julien Tesson, Zhenjiang Hu, Kiminori Matsuzaki, Frédéric Loulergue, Louis Gesbert. Systematic Development of Functional Bulk Synchronous Parallel Programs. [Research Report] RR-2010-01, 2010, pp.21. ⟨inria-00465838v2⟩
  • Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. An Event-B formalization of KAOS goal refinement patterns. [Research Report] TR-LACL-2010-1, LACL. 2010. ⟨hal-01224644⟩
  • Wadoud Bousdira, Frédéric Loulergue, L. Gesbert. Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML. [Rapport de recherche] 2010. ⟨inria-00465842⟩
  • Pierre Konopacki, Marc Frappier, Régine Laleau. Expressing access control policies with an event-based approach. [Research Report] TR-LACL-2010-6, LACL. 2010. ⟨hal-01224645⟩
  • Muath Alrammal, Gaétan Hains, Mohamed Zergaoui. A portable and extensible performance model for stream-processing of XPath queries. [Research Report] TR-LACL-2010-4, Université Paris-Est, LACL. 2010. ⟨hal-01195834⟩
  • Muath Alrammal, Gaétan Hains, Mohamed Zergaoui. Realistic Performance Gain Measurements for XML Data Streaming with Meta Data. [Research Report] TR-LACL-2009-4, Université Paris-Est, LACL. 2009. ⟨hal-01195835⟩
  • Muath Alrammal, Gaétan Hains, Mohamed Zergaoui. Performance measurements towards the optimization of stream processing for XML Data. [Research Report] TR-LACL-2009-9, Université Paris-Est, LACL. 2009. ⟨hal-01195836⟩
  • Abderrahman Matoussi, Régine Laleau, Dorian Petit. Bridging the gap between KAOS requirements models and B specifications. [Research Report] TR-LACL-2009-5, LACL. 2009. ⟨hal-01224650⟩
  • Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Asynchronous Box Calculus with multi-way communication. [Research Report] LACL, Université Paris-Est/Créteil. 2008. ⟨hal-02310227⟩
  • Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. Towards efficient verification of systems with dynamic process creation. [Research Report] LACL, Université Paris-Est. 2008. ⟨hal-02310226⟩
  • Muath Alrammal, Gaétan Hains, Mohamed Zergaoui. Intelligent Ordered XPath for Processing Data Streams. [Research Report] TR-LACL-2008-4, Université Paris-Est, LACL. 2008. ⟨hal-01195839⟩
  • Abderrahman Matoussi, Régine Laleau. A Survey of Non-Functional Requirements in Software Development Process. [Research Report] TR-LACL-2008-7, LACL. 2008. ⟨hal-01224656⟩
  • Abderrahman Matoussi, Régine Laleau. A First Attempt to Express KAOS Refinement Patterns with Event B. [Research Report] LACL. 2008. ⟨hal-01224663⟩
  • Frédéric Gervais, Marc Frappier, Régine Laleau. Comparing Different Combinations of Event-based and State-based Specifications for IS Modelling. [Research Report] 18, LACL, Université Paris-Est. 2007. ⟨hal-01223277⟩
  • Frédéric Gervais, Marc Frappier, Régine Laleau, P. Batanado. EB3 Attribute Definitions: Formal Language and Application. [Research Report] 700, LACL, Université Paris-Est. 2005. ⟨hal-01223280⟩
  • Frédéric Gervais, Marc Frappier, Régine Laleau. Vous avez dit raffinement ?. [Research Report] 829, LACL, Université Paris-Est. 2005. ⟨hal-01223279⟩
  • Frédéric Gervais, Marc Frappier, Régine Laleau. Synthesizing B Substitutions for EB3 Attribute Definitions. [Research Report] 683, LACL, Université Paris-Est. 2004. ⟨hal-01223281⟩
  • Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Box Calculus with Coloured Buffers. [Research Report] LACL, Université Paris-Est/Créteil. 2002. ⟨hal-00114687⟩

Theses35 documents

  • Paul-Elliot Anglès d'Auriac. Infinite Computations in Algorithmic Randomness and Reverse Mathematics. Logic in Computer Science [cs.LO]. Université Paris-Est, 2019. English. ⟨NNT : 2019PESC0061⟩. ⟨tel-02936757v2⟩
  • Steve Jeffrey Tueno Fotso. Vers une approche formelle d'ingénierie des exigences outillée et éprouvée. Génie logiciel [cs.SE]. Université Paris Est Créteil Val de Marne (Paris 12); Université de Sherbrooke (Québec, Canada), 2019. Français. ⟨tel-02882862⟩
  • Léa Bayati. Data centers energy optimization. Operations Research [cs.RO]. Université Paris-Est, 2019. English. ⟨NNT : 2019PESC0063⟩. ⟨tel-03120640⟩
  • Guy Lahlou Djiken. La mobilité du code dans les systèmes embarqués. Automatique. Université Paris-Est; Université de Yaoundé I, 2018. Français. ⟨NNT : 2018PESC1112⟩. ⟨tel-02123855⟩
  • El Habib Boudjema. Defense against software exploits. Mathematical Software [cs.MS]. Université Paris-Est, 2018. English. ⟨NNT : 2018PESC1015⟩. ⟨tel-01970951⟩
  • Victor Allombert. Functional abstraction for programming multi-level architectures : formalisation and implementation. Programming Languages [cs.PL]. Université Paris-Est, 2017. English. ⟨NNT : 2017PESC1016⟩. ⟨tel-01693568⟩
  • Martin Potier. Un cadre théorique pour l'intégration des niveaux d'organisation dans les modèles : Applications à l'activité spatiale et à la simulation de grandes populations de bactéries. Modélisation et simulation. Université Paris-Est, 2017. Français. ⟨NNT : 2017PESC1173⟩. ⟨tel-01748266⟩
  • Thomas Fayolle. Combinaison de méthodes formelles pour la spécification de systèmes industriels. Algorithme et structure de données [cs.DS]. Université Paris-Est, 2017. Français. ⟨NNT : 2017PESC1078⟩. ⟨tel-01743832⟩
  • Rodica Bozianu. Synthesis of Interactive Reactive Systems. Formal Languages and Automata Theory [cs.FL]. Université Paris-Est, 2016. English. ⟨NNT : 2016PESC1026⟩. ⟨tel-01532054⟩
  • Nghi Huynh. Verification and validation of healthcare access control policies. Computation and Language [cs.CL]. Université Paris-Est; Université de Sherbrooke (Québec, Canada), 2016. English. ⟨NNT : 2016PESC1042⟩. ⟨tel-01538386⟩
  • Yoann Marquer. Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif ou polynomial. Informatique et langage [cs.CL]. Université Paris-Est, 2015. Français. ⟨NNT : 2015PESC1121⟩. ⟨tel-01280467⟩
  • Quentin Monnet. Modèles et mécanismes pour la protection contre les attaques par déni de service dans les réseaux de capteurs sans fil. Algorithme et structure de données [cs.DS]. Université Paris-Est, 2015. Français. ⟨NNT : 2015PESC1023⟩. ⟨tel-01314203v2⟩
  • Sergiu Ivanov. On the Power and Universality of Biologically-inspired Models of Computation. Computation and Language [cs.CL]. Université Paris-Est, 2015. English. ⟨NNT : 2015PESC1012⟩. ⟨tel-01272318⟩
  • Dimitrios Vekris. Verification of EB-3 specifications with model checking techniques. Computer science. Université Paris-Est, 2014. English. ⟨NNT : 2014PEST1117⟩. ⟨tel-01140261⟩
  • Benoit Monin. Higher computability and Randomness. Computer Science [cs]. Paris Diderot, 2014. English. ⟨tel-01397190⟩
  • Charif Mahmoudi. Orchestration d'agents mobiles en communauté. Traitement du signal et de l'image [eess.SP]. Université Paris-Est, 2014. Français. ⟨NNT : 2014PEST1186⟩. ⟨tel-01415666⟩
  • Mohamed Dahmoune. Quelques contributions en logique mathématique et en théorie des automates. Mathématiques générales [math.GM]. Université Paris-Est, 2014. Français. ⟨NNT : 2014PEST1013⟩. ⟨tel-01328133⟩
  • Cyril Dumont. Système d'agents mobiles pour les architectures de calculs auto-adaptatifs. Informatique [cs]. Université Paris-Est, 2014. Français. ⟨NNT : 2014PEST1016⟩. ⟨tel-01127591⟩
  • Louis Bigo. Représentations symboliques musicales et calcul spatial. Mathématiques générales [math.GM]. Université Paris-Est, 2013. Français. ⟨NNT : 2013PEST1074⟩. ⟨tel-01326827⟩
  • Jean Fortin. BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms. Other [cs.OH]. Université Paris-Est, 2013. English. ⟨NNT : 2013PEST1084⟩. ⟨tel-00974977⟩
  • Chong Li. Un modèle de transition logico-matérielle pour la simplification de la programmation parallèle. Interface homme-machine [cs.HC]. Université Paris-Est, 2013. Français. ⟨NNT : 2013PEST1089⟩. ⟨tel-00952082⟩
  • Michel Embe Jiague. Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services. Autre [cs.OH]. Université Paris-Est, 2012. Français. ⟨NNT : 2012PEST1076⟩. ⟨tel-00802383⟩
  • Michaël Guedj. BSP algorithms for LTL & CTL model checking of security protocols. Data Structures and Algorithms [cs.DS]. Université Paris-Est, 2012. English. ⟨NNT : 2012PEST1081⟩. ⟨tel-02886475⟩
  • Pierre Konopacki. Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles. Autre [cs.OH]. Université Paris-Est, 2012. Français. ⟨NNT : 2012PEST1089⟩. ⟨tel-00786926⟩
  • Jérémy Milhau. Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information. Autre [cs.OH]. Université Paris-Est, 2011. Français. ⟨NNT : 2011PEST1038⟩. ⟨tel-00674865⟩
  • Abderrahman Matoussi. Construction de spécifications formelles abstraites dirigée par les buts. Ordinateur et société [cs.CY]. Université Paris-Est, 2011. Français. ⟨NNT : 2011PEST1036⟩. ⟨tel-00680736⟩
  • Muath Alrammal. Algorithms for XML Stream Processing: Massive Data, External Memory and Scalable Performance. Computer Science [cs]. Université Paris-Est, 2011. English. ⟨tel-01195833⟩
  • Muath Alrammal. Algorithmes de traitement de flux XML : masses de données, mémoire externe et performances extensibles. Other [cs.OH]. Université Paris-Est, 2011. English. ⟨NNT : 2011PEST1002⟩. ⟨tel-00779309⟩
  • Louis Gesbert. Développement systématique et sûreté d’exécution en programmation parallèle structurée. Autre [cs.OH]. Université Paris-Est, 2009. Français. ⟨NNT : 2009PEST0004⟩. ⟨tel-00481376⟩
  • Pavel Vassiliev. Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time. Other [cs.OH]. Université Paris-Est; Sankt-Peterburgskij gosudarstvennyj universitet, 2008. Russian. ⟨NNT : 2008PEST0050⟩. ⟨tel-00462013⟩
  • Guozhi Wei. Optimisation du Handover dans le protocole IPv6 mobile avec la méthode E-HCF. Autre [cs.OH]. Université Paris-Est, 2008. Français. ⟨NNT : 2008PEST0011⟩. ⟨tel-00462081⟩
  • Constantin Enea. Abstraction techniques for verification of concurrent systems. Computer Science [cs]. Université Paris-Est, 2008. English. ⟨NNT : 2008PEST0001⟩. ⟨tel-00623170⟩
  • Frédéric Gava. Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification.. Autre [cs.OH]. Université Paris XII Val de Marne, 2005. Français. ⟨tel-00110831⟩
  • Franck Pommereau. Modèles composables et concurrents pour le temps-réel. Modélisation et simulation. Université Paris 12, 2002. Français. ⟨tel-00114680⟩
  • Olivier Michel. Représentations dynamiques de l'espace dans un langage déclaratif de simulation. Génie logiciel [cs.SE]. Université Paris Sud - Paris XI, 1996. Français. ⟨tel-00305731⟩

Habilitation à diriger des recherches2 documents

  • Franck Pommereau. Algebras of coloured Petri nets and their applications to modelling and verification. Computer Science [cs]. Université de Paris-Est/Créteil, 2009. ⟨tel-02309973⟩
  • Olivier Michel. There's Plenty of Room for Unconventional Programming Languages or Declarative Simulations of Dynamical Systems (with a Dynamical Structure). Software Engineering [cs.SE]. Université d'Evry-Val d'Essonne, 2007. ⟨tel-00305748⟩

Documents récupérés de l'archive ouverte HAL logo