734 documents

Journal articles

  • 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〉
  • Marziyeh Bayati. Power Management Policy for Heterogeneous Data Center Based on Histogram and Discrete-Time MDP. Electr. Notes Theor. Comput. Sci., 2018, 337, pp.5--22. 〈10.1016/j.entcs.2018.03.031〉. 〈hal-01818614〉
  • Abdelkrim Abdelli, Lynda Mokdad, Jalel Ben-Othman, Youcef Hammal. Dealing with a Non Green Behaviour in WSN. International Journal of Simulation Modelling Practices and Theory, In press. 〈hal-01724068〉
  • Hyunbum Kim, Lynda Mokdad, Jalel Ben-Othman. Designing UAV Surveillance Frameworks for Smart City and Extensive Ocean with Differential Perspectives. IEEE Communications Magazine, In press. 〈hal-01724066〉
  • El-Habib Boudjema, Christèle Faure, Mathieu Sassolas, Lynda Mokdad. Detection of security vulnerabilities in C language applications. Security and Privacy journal, Wiley, In press. 〈hal-01724075〉
  • 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〉
  • 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〉
  • 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〉
  • Arthur Milchior. Spectra and satisfiability for logics with successor and a unary func- tion. Mathematical Logic Quarterly, Wiley, In press. 〈hal-01676718〉
  • Jean-Michel Fourneau, J. Cohen, A. Fauquette, 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〉
  • 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〉
  • 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. 〈hal-01860370〉
  • 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〉
  • 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. 〈http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf〉. 〈hal-01817877〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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 (IJAACS), 2017. 〈hal-01724118〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Clément Aubert, Ioana Cristescu. Contextual equivalences in configuration structures and reversibility. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016. 〈hal-01229408v2〉
  • 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〉
  • Benoit Monin. Higher Randomness and Forcing with Closed Sets. Theory of Computing Systems, Springer Verlag, 2016, 〈10.1007/s00224-016-9681-5〉. 〈hal-01397294〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Haroun Benkaouha, Abdelkrim Abdelli, Jalel Ben Othman, Lynda Mokdad. Towards an efficient failure detection in MANETS. Wireless Communications and Mobile Computing, Wiley, 2016. 〈hal-01724137〉
  • 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〉
  • 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〉
  • Farah Aït-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-01817339〉
  • 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〉
  • Benoit Monin, Ludovic Patey. Π 0 1 ENCODABILITY AND OMNISCIENT REDUCTIONS. Notre Dame Journal of Formal Logic, University of Notre Dame, 2016. 〈hal-01397286〉
  • 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〉
  • Nicolas Troquard, Daniele Porello. Non-normal modalities in variants of Linear Logic. Journal of Applied Non-Classical Logics, Editions Hermes, 2015, 〈10.1080/11663081.2015.1080422〉. 〈hal-01220724〉
  • 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〉
  • 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-01817517〉
  • Lynda Mokdad, Jalel Ben-Othman, A. T. Nguyen. DJAVAN: Detecting Jamming Attacks in Vehicle Ad hoc Networks. Performance Evaluation, Elsevier, 2015. 〈hal-01724142〉
  • 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〉
  • 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〉
  • 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-01352291〉
  • 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〉
  • 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): Arts & Humanities Titles etc, 2015, 39 (3), pp.9 - 24. 〈10.1162/COMJ_a_00312〉. 〈hal-01263299〉
  • Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, et al.. Entropy Games. CoRR, 2015, abs/1506.04885. 〈hal-01699930〉
  • 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〉
  • 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〉
  • 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. 〈http://www.worldscientific.com/doi/pdf/10.1142/S179304211550092X〉. 〈hal-01260277〉
  • 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〉
  • 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. 〈http://lmcs-online.org/〉. 〈10.2168/LMCS-2014-994〉. 〈hal-01140262〉
  • Catherine Dubois, Régine Laleau. Introduction. Technique et Science Informatiques, Hermès-Lavoisier, 2015, 34 (5), pp.493--494. 〈hal-01575305〉
  • 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〉
  • 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. 〈http://studia.complexica.net〉. 〈hal-01132722〉
  • Jalel Ben-Othman, Lynda Mokdad, Sahar Ghazal. Performance Analysis of WiMAX Networks AC. Wireless Personal Communications Journal-Springer Publisher, 2014. 〈hal-01724180〉
  • 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〉
  • Lynda Mokdad, Jalel Ben-Othman, Bashir Yahya, S. Niagne. Performance evaluation tools for QoS MAC Protocol for Wireless Sensor Networks. Elsevier Adhoc networks, Elsevier, 2014. 〈hal-01724184〉
  • 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〉
  • 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〉
  • 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〉
  • Elisabeth Pelz, Louchka Popova-Zeugmann, Mathias Werner, M Haustein. A Holistic State Equation for Timed Petri Nets. Fundamenta Informatica, 2014. 〈hal-01667554〉
  • 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〉
  • 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 Michea, 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. 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〉
  • Catalin Dima, Bastien Maubert, Sophie Pinchinat. The Expressive Power of Epistemic \textdollar\(μ\)\textdollar-Calculus. CoRR, 2014, abs/1407.5166. 〈hal-01699938〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Paolo Ballarini, Mokdad Lynda, Monnet Quentin. 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.630〉. 〈hal-00832082〉
  • 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〉
  • 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〉
  • 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. 〈http://content.iospress.com/articles/fundamenta-informaticae/fi126-2-3-01〉. 〈10.3233/FI-2013-874〉. 〈hal-01312577〉
  • 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〉
  • 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〉
  • 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〉
  • 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. 〈http://www.lmcs-online.org/ojs/viewarticle.php?id=1377&layout=abstract〉. 〈10.2168/LMCS-9(4:18)2013〉. 〈hal-01223263〉
  • 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〉
  • 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〉
  • 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〉
  • Alexis Bès, Alexander Rabinovich. On countable chains having decidable monadic theory. J. Symb. Log., 2012, 77 (2), pp.593-608. 〈hal-01215405〉
  • 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〉
  • Yurii Rogozhin, Sergey Verlan. P Systems Based on Tag Operations. Computer Science Journal of Moldova, 2012, 20 (3), pp.366-373. 〈hal-01352306〉
  • Yurii Rogozhin, Sergey Verlan. P Systems Based on Tag Operations. Computer Science Journal of Moldova, 2012, 20 (3), pp.366-373. 〈hal-01352370〉
  • 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〉
  • Elisabeth Pelz, L. Popova-Zeugmann. Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delay. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012. 〈hal-01667527〉
  • 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〉
  • Rodica Bozianu, Catalin Dima, Constantin Enea. Model-checking an Epistemic \(μ\)-calculus with Synchronous and Perfect Recall Semantics. CoRR, 2012, abs/1204.2087. 〈hal-01699947〉
  • 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〉
  • 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〉
  • 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〉
  • 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-00807452〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Sergey Verlan, Maurice Margenstern. Universality of Splicing Test Tube Systems with Two Tubes. Fundam. Inform., 2011, 110 (1-4), pp.329-342. 〈hal-01352372〉
  • 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〉
  • 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-01352309〉
  • 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〉
  • 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〉
  • 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〉
  • 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, Editions Hermes, 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〉
  • Brigitte Grau, Régine Laleau, Jean-Yves Ramel. Introduction - Systèmes d'indexation et recherche d'information Modèles pour la conception et l'évaluation. Revue des Sciences et Technologies de l'Information.. Systèmes d'indexation et recherche d'information Modèles pour la conception et l'évaluation. Revue des Sciences et Technologies de l'Information., 2011, 14 (2). 〈hal-01023212〉
  • 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〉
  • 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, 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〉
  • Artiom Alhazov, Sergey Verlan. Minimization Strategies for Maximally Parallel Multiset Rewriting Systems. Theoretical Computer Science, Elsevier, 2011, 412 (17), pp.1581 - 1591. 〈hal-01352380〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Sergey Verlan. Recent Developments on Insertion-Deletion Systems. Computer Science Journal of Moldova, 2010, 18 (2), pp.210-245. 〈hal-01352384〉
  • Sergey Verlan. Recent Developments on Insertion-Deletion Systems. Computer Science Journal of Moldova, 2010, 18 (2), pp.210-245. 〈hal-01352319〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Antoine Spicher, Nazim Fatès, Olivier Simonin. Translating Discrete Multi-Agents Models into Cellular Automata, Application to Diffusion-Limited Aggregation. CCIS 67 Communications in Computer and Information Sciences series, Springer, 2010, Agents and Artificial Intelligence, 67, pp.270-282. 〈10.1007/978-3-642-11819-7〉. 〈inria-00546424〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Frédéric Gervais, Marc Frappier, Régine Laleau. Generating relational database transactions from EB3 attribute definitions. Software and System Modeling, 2009, 8 (3), pp.423-445. 〈hal-01224655〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Amel Mammar, Régine Laleau. Implémentation JAVA d'une spécification B: Application aux bases de données. Technique et Science Informatiques, Hermès-Lavoisier, 2008, 27 (5), pp.537--570. 〈hal-01224657〉
  • Régine Laleau, Fiona Polack. Using formal metamodels to check consistency of functional views in information systems specification. Information & Software Technology, 2008, 50 (7-8), pp.797-814. 〈hal-01224660〉
  • 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-01352393〉
  • Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern. Generalized Communicating P Systems. TCS, 2008, 404 (1-2), pp.170-184. 〈hal-01352328〉
  • 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〉
  • 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〉
  • 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. 〈http://www.rairo-ita.org/articles/ita/abs/2008/01/ita07048/ita07048.html〉. 〈10.1051/ita:2007052〉. 〈hal-01260272〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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-01352403〉
  • Sergey Verlan. On Minimal Context-Free Insertion-Deletion Systems. Journal of Automata, Languages and Combinatorics, 2007, 12 (1-2), pp.317-328. 〈hal-01352405〉
  • 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〉
  • Catalin Dima, Marius Minea, Ferucio Laurentiu Tiplea. Preface. Electr. Notes Theor. Comput. Sci., 2007, 186, pp.1--2. 〈10.1016/j.entcs.2007.05.035〉. 〈hal-01699959〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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, 2006, 13 (4), pp.497-528. 〈hal-00147056〉
  • 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〉
  • 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〉
  • 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, John Wiley & Sons, 2006, 11 (5), pp.487-503. 〈hal-00147053〉
  • 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〉
  • 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 System Modeling Journal, 2005, 4 (3), pp.236-257. 〈hal-00145961〉
  • Patrick Cegielski. Decidability and p-destinies. Journal of Mathematical Sciences, Springer Verlag (Germany), 2005, 130, pp.4620-4623. 〈hal-00095704〉
  • 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〉
  • Franck Pommereau. Petri nets as executable specifications of high-level timed parallel systems.. SCPE/PDPC, 2005, 6.4, pp.71-82. 〈hal-00114670〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Raymond Devillers, Hanna Klaudel, M. Koutny, Franck Pommereau. Aynchronous Box Calculus.. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2003, 54, pp.1-50. 〈hal-00005604〉
  • Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau. Asynchonous Box Calculus. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2003, 54(1), pp.1-50. 〈hal-00114675〉
  • J. Wijsen, Alexis Bès. On query optimization in some SPC temporal algebra. Knowledge and Data Engineering, 2003, 44, pp.165-192. 〈hal-00005597〉
  • 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〉
  • 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〉
  • 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〉
  • Danièle Beauquier. On probabilistic timed automata. Theoretical Computer Science, Elsevier, 2003, 292, pp.65-84. 〈hal-00005596〉
  • 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〉
  • Nathalie Caspard, Karell Bertet. Doubling convex sets in lattices : characterizations and recognition algorithms. Order, Springer Verlag, 2002, 19, pp.181-207. 〈hal-00095564〉
  • 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. Electr. Notes Theor. Comput. Sci., 2002, 68 (5), pp.16--33. 〈10.1016/S1571-0661(04)80518-8〉. 〈hal-01699969〉
  • 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〉
  • Alexis Bès. An Extension of The Cobham-Semënov Theorem. J. Symb. Log., 2000, 65 (1), pp.201-211. 〈hal-01215413〉
  • 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〉
  • 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〉
  • Nathalie Caspard. A Characterization for the canonical basis of a closure operator. Order, Springer Verlag, 1999, 16(3), pp.227-230. 〈hal-00095566〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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. Ann. Pure Appl. Logic, 1997, 89 (1), pp.17-35. 〈hal-01215415〉
  • Nathalie Caspard, Bernard Monjardet. On a dependence relation in finite lattices. Discrete Mathematics, Elsevier, 1997, 165-166, pp.497-505. 〈hal-00095568〉
  • 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. C'est é-lé-mentaire. Quadrature, EDP Sciences, 1996, 24, pp.13-17. 〈hal-00096771〉
  • 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. 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 (JCSS), Elsevier, 1993, 46, pp.271-294. 〈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 papers

  • 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. Springer, Proceedings IFM 2018: 14th International Conference on Integrated Formal Methods, pp.377 - 397, 2018, 〈10.1007/978-3-319-98938-9_22〉. 〈hal-01885098〉
  • 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〉
  • 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. IEEE communication society, 2018. 〈hal-01724057〉
  • 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. Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl. 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. Springer, 10817, pp.262-276, 2018, Lecture Notes in Computer Science. 〈10.1007/978-3-319-91271-4_18〉. 〈hal-01797811〉
  • 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. Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl. 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. Springer, 10817, pp.55--70, 2018, Lecture Notes in Computer Science. 〈hal-01797812〉
  • Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau. An Event-B model of the hybrid ERTMS/ETCS level 3 standard. Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl. 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. Springer, 10817, pp.353-366, 2018, Lecture Notes in Computer Science. 〈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〉
  • 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〉
  • 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〉
  • Etienne Moutot, Pascal Vanier. Slopes of 3-dimensional Subshifts of Finite Type. CSR 2018, Jun 2018, Moscou, Russia. pp.257--268, Computer Science - Theory and Applications - 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings. 〈10.1007/978-3-319-90530-3_22〉. 〈hal-01772574〉
  • 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. Springer, Application and Theory of Petri Nets and Concurrency - Petri Nets 2018, 10877, pp.363-373, Lecture Notes in Computer Sciences. 〈10.1007/978-3-319-91268-4_19〉. 〈hal-01916467〉
  • 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. 2017, 〈10.1007/978-3-319-58747-9_15〉. 〈hal-01058198v4〉
  • Julien Cervelle, Grégory Lafitte. On shift-invariant maximal filters and hormonal cellular automata. LICS: Logic in Computer Science, Jun 2017, Reykjavik, Iceland. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, pp.1-10, 2017, 〈http://lics.siglog.org/lics17/〉. 〈10.1109/LICS.2017.8005145〉. 〈hal-01615278〉
  • 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. IEEE Computer Society, PROCEEDINGS HASE 2017: 18th IEEE International Symposium on High Assurance Systems Engineering, pp.120 - 123, 2017, 〈10.1109/HASE.2017.24〉. 〈hal-01574899〉
  • 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. Springer, Proceedings ASMTA 2017 : international conference on Analytical and Stochastic Modeling Techniques and Applications, pp.1 - 15, 2017, 〈10.1007/978-3-319-61428-1_1〉. 〈hal-01685254〉
  • 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. IEEE Computer Society, Proceedings REW 2017: IEEE 25th International Requirements Engineering Conference Workshops, pp.1 - 5, 2017, 〈10.1109/REW.2017.22〉. 〈hal-01692857〉
  • 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. 2017, 〈http://homepages.cs.ncl.ac.uk/nigel.thomas/PASM17.htm〉. 〈hal-01638313〉
  • 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. IEEE, 〈10.1109/WCNC.2017.7925712〉. 〈hal-01833355〉
  • 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. Lecture Notes in Computer Science, 10240, pp.182-193, 2017. 〈hal-01638808〉
  • Rudolf Freund, Vladimir Rogojin, Sergey Verlan. Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors. Giovanni Pighizzini; Cezar Câmpeanu. 19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. Springer International Publishing, Lecture Notes in Computer Science, LNCS-10316, pp.140-151, 2017, Descriptional Complexity of Formal Systems. 〈10.1007/978-3-319-60252-3_11〉. 〈hal-01657015〉
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. Bi-simulation Between P Colonies and P Systems with Multi-stable Catalysts. Marian Gheorghe and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron. Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers, 2017, Unknown, Unknown Region. Springer, 10725, pp.105--117, 2017, Lecture Notes in Computer Science. 〈10.1007/978-3-319-73359-3_7〉. 〈hal-01757528〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. Computationally Complete Generalized Communicating P Systems with Three Cells. Marian Gheorghe and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron. Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers, 2017, Unknown, Unknown Region. Springer, 10725, pp.118--128, 2017, Lecture Notes in Computer Science. 〈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 . 11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France. 〈https://pfia2017.greyc.fr/iaf/〉. 〈hal-01577780〉
  • 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. 252, pp.11 - 25, 2017, 〈10.4204/EPTCS.252.6〉. 〈hal-01638707〉
  • 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, 2017. 〈hal-01699927〉
  • Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau. Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. Michael J. Butler and Klaus-Dieter Schewe and Atif Mashkoor and Miklós Biró. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, 2016, Linz, Austria. Springer, 9675, pp.394--408, 2016, Lecture Notes in Computer Science. 〈10.1007/978-3-319-33600-8_33〉. 〈hal-01574901〉
  • 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. Springer, Proceedings ASMTA 2016 : 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, pp.1 - 16, 2016, 〈10.1007/978-3-319-43904-4_1〉. 〈hal-01449260〉
  • 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. IEEE Computer Society, Proceedings RCIS 2016 : 10th International Conference on Research Challenges in Information Science, pp.1 - 12, 2016, 〈10.1109/RCIS.2016.7549286〉. 〈hal-01359877〉
  • 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. Springer, Proceedings ISOLA 2016 : 7th International Symposium on Leveraging Applications of Formal Methods, pp.325 - 339, 2016, 〈10.1007/978-3-319-47166-2_23〉. 〈hal-01425977〉
  • 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. IEEE Computer Society, Proceedings RCIS 2016 : 10th International Conference on Research Challenges in Information Science, pp.1 - 12, 2016, 〈10.1109/RCIS.2016.7549285〉. 〈hal-01359879〉
  • 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. IEEE, Proceedings HASE 2016 : 17th International Symposium on High-Assurance Systems Engineering, pp.173 - 180, 2016, 〈10.1109/HASE.2016.10〉. 〈hal-01298113〉
  • 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, 2016, 〈10.1007/978-3-319-43425-4_13〉. 〈hal-01371897〉
  • 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, 2016, 〈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. Lecture Notes in Computer Science, Springer, 9899, pp.177-191, 2016, In Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. 〈hal-01757410〉
  • 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. Lecture Notes in Computer Science, Springer, 10105, pp.83-102, 2016, Membrane Computing - 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers. 〈hal-01757362〉
  • Elisabeth Pelz. Timed Processes of Interval-Timed Petri Nets. CS&P, ceur-ws.org/Vol-1698, Sep 2016, Rostock, Germany. CS&P 2016 Concurrency, Specification and Programming. 〈hal-01800681〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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. 〈hal-01724310〉
  • Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, et al.. Layered Data: A Modular Formal Definition without Formalisms. Lawrence Cabac, Lars Michael Kristensen, and Heiko Rölke. Petri Nets and Software Engineering (PNSE 2016), Jun 2016, Toruń, Poland. CEUR-WS.org, 1591, pp.287-306, 2016, CEUR Workshops Proceedings. 〈http://pn2016.mat.umk.pl/〉. 〈hal-01353944〉
  • 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. Proceedings of 13th International Workshop on Discrete Event Systems (WODES) 2016, IEEE, pp.319-324, 2016, 〈Christos G. Cassandras and Alessandro Giua and Zhiwu Li〉. 〈10.1109/WODES.2016.7497866〉. 〈hal-01347712〉
  • Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickaël Randour, et al.. Non-Zero Sum Games for Reactive Synthesis . Adrian-Horia Dediu; Jan Janoušek; Carlos Martín-Vide; Bianca Truthe LATA 2016 : 10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic. Springer, 9618, pp.3-23, Lecture Notes in Computer Science 〈10.1007/978-3-319-30000-9_1〉. 〈hal-01373546〉
  • 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. IEEE, pp.229--235, 2016, 2016 Fourth International Symposium on Computing and Networking (CANDAR) 〈http://is-candar.org/candar16/〉. 〈10.1109/CANDAR.2016.0048〉. 〈hal-01799305〉
  • Nihal Pekergin, Sovanna Tan, Jean-Michel Fourneau. Quantitative Attack Tree Analysis: Stochastic Bounds and Numerical Analysis. Barbara Kordy and Mathias Ekstedt and Dong Seong Kim. Graphical Models for Security - Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers, 2016, Unknown, Unknown Region. Springer, 9987, pp.119--133, 2016, Lecture Notes in Computer Science. 〈10.1007/978-3-319-46263-9_8〉. 〈hal-01791243〉
  • Luidnel Maignan, Jean-Baptiste Yunès. A Field Based Solution of Mazoyer's FSSP Schema. Samira El Yacoubi, Jaroslaw Wąs, Stefania Bandini. Cellular Automata - 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings, 2016, Fez, Morocco. pp.134--143, 2016, Cellular Automata. 〈10.1007/978-3-319-44365-2_13〉. 〈hal-01799306〉
  • Catalin Dima, Bastien Maubert, Sophie Pinchinat. Relating Paths in Transition Systems: the Fall of the Modal mu-Calculus. Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016., 2016, Unknown, Unknown Region. pp.240--244, 2016. 〈hal-01699929〉
  • 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. Springer, 363, pp.223 - 232, 2016, 〈10.1007/978-3-319-22635-4_20〉. 〈hal-01255053〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Jean-Michel Fourneau, Nihal Pekergin. A Numerical Analysis of Dynamical Fault Trees based on Stochastic Bounds. IEEE QEST, 2015, Madrid, Spain. Springer Verlag, 9259, pp.176-191, 2015, LNCS. 〈hal-01309364〉
  • 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. Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing (CIT/IUCC/DASC/PICOM), 2015 IEEE International Conference on 2015, 〈10.1109/CIT/IUCC/DASC/PICOM.2015.256〉. 〈hal-01314192〉
  • 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. 2015. 〈hal-01314197〉
  • Sergiu Ivanov, Sergey Verlan. Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States. Jérôme Durand-Lose and Benedek Nagy. Machines, Computations, and Universality - 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings, 2015, Unknown, Unknown Region. Springer, 9288, pp.79--93, 2015, Lecture Notes in Computer Science. 〈10.1007/978-3-319-23111-2_6〉. 〈hal-01352286〉
  • Benoit Monin, André Nies. A Unifying Approach to the Gamma Question. LICS 2015, Jul 2015, KYOTO, Japan. 00, pp.585 - 596, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science. 〈10.1109/LICS.2015.60〉. 〈hal-01397264〉
  • Artiom Alhazov, Rudolf Freund, Sergey Verlan. Bridging Deterministic P Systems and Conditional Grammars. Grzegorz Rozenberg and Arto Salomaa and José M. Sempere and Claudio Zandron. Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers, 2015, Unknown, Unknown Region. Springer, 9504, pp.63--76, 2015, Lecture Notes in Computer Science. 〈10.1007/978-3-319-28475-0_5〉. 〈hal-01352292〉
  • Sergey Verlan. Universality in Molecular and Cellular Computing. Arnold Beckmann and Victor Mitrana and Mariya Ivanova Soskova. Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, 2015, Unknown, Unknown Region. Springer, 9136, pp.95--104, 2015, Lecture Notes in Computer Science. 〈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. Grzegorz Rozenberg and Arto Salomaa and José M. Sempere and Claudio Zandron. Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers, 2015, Unknown, Unknown Region. Springer, 9504, pp.117--136, 2015, Lecture Notes in Computer Science. 〈10.1007/978-3-319-28475-0_9〉. 〈hal-01352290〉
  • 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), Jul 2015, York, United Kingdom. MIT Press, 2015, Proceedings of the 13th European Conference on Artificial Life (ECAL'2015). 〈10.7551/978-0-262-33027-5-ch115〉. 〈hal-01257528〉
  • 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. Springer, 9328, pp.20-32, 2015, Lecture Notes in Computer Science. 〈10.1007/978-3-319-24537-9_3〉. 〈hal-01222572〉
  • Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais. Formal refinement of extended state machines. John Derrick and Eerke A. Boiten and Steve Reeves. Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., 2015, Unknown, Unknown Region. 209, pp.1--16, 2015, EPTCS. 〈10.4204/EPTCS.209.1〉. 〈hal-01575304〉
  • 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, 2015. 〈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, 2015, 〈10.1007/978-3-662-48057-1_14〉. 〈hal-01699931〉
  • Clément Aubert. An in-between "implicit" and "explicit" complexity: Automata. DICE 2015 - Developments in Implicit Computational Complexity, Apr 2015, Londres, United Kingdom. 〈http://dice15.computing.dundee.ac.uk/〉. 〈hal-01111737v2〉
  • 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. Springer Verlag, Proceedings ABZ 2014 : 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, pp.255 - 270, 2014, 〈10.1007/978-3-662-43652-3_22〉. 〈hal-01264810〉
  • 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. IEEE, pp.438 - 445, 2014, 〈10.1109/APSEC.2014.103〉. 〈hal-01257892〉
  • 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. Springer international publishing, pp.80 - 94, 2014, 〈10.1007/978-3-319-07512-9_6〉. 〈hal-01254981〉
  • Alex Borello, Julien Cervelle, Pascal Vanier. Turing degrees of limit sets of cellular automata. ICALP 2014, Jul 2014, Copenhaguen, Denmark. Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II, pp.74--85, 2014, 〈10.1007/978-3-662-43951-7_7〉. 〈hal-00947323〉
  • Anatol Slissenko. In Quest of Information in Algorithmic Processes *. International Conf. Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML'2014), Apr 2014, Saint Peterburg, Russia. 2014, Proc. of International Conf. Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML'2014) April 21--25, 2014, Saint Petersburg, Russia. 〈hal-01817887〉
  • 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. 2014, 〈http://ieeexplore.ieee.org/xpl/login.jsp?arnumber=6883303〉. 〈10.1109/ICC.2014.6883303〉. 〈hal-01132739〉
  • 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〉
  • 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〉
  • 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〉
  • 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, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu. Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem. ACM. ACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea. 2014. 〈hal-00905950〉
  • 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. IEEE, 2014, HPCS. 〈hal-00966632〉
  • Laurent Bienvenu, Benoit Monin, Alexander Shen. Algorithmic Identification of Probabilities Is Hard. ALT: Algorithmic Learning Theory, Oct 2014, Bled, Slovenia. LNCS (8776), pp.85-95, 2014, Algorithmic Learning Theory. 〈10.1007/978-3-319-11662-4_7〉. 〈hal-01397246〉
  • Artiom Alhazov, Rudolf Freund, Sergey Verlan. Promoters and Inhibitors in Purely Catalytic P Systems. Marian Gheorghe and Grzegorz Rozenberg and Arto Salomaa and Petr Sos\'ık and Claudio Zandron. Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers, 2014, Unknown, Unknown Region. Springer, 8961, pp.126--138, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-14370-5_8〉. 〈hal-01352294〉
  • 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, 2014, 〈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, 2014, 〈10.1007/978-3-319-11520-7_15〉. 〈hal-01799311〉
  • 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. IEEE, 2014, 〈10.1109/SYNASC.2014.51〉. 〈hal-01105115〉
  • 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. Springer, 2014. 〈hal-00964061〉
  • 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. ACM, pp.23:1--23:10, 2014. 〈hal-01161868〉
  • 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. 2014. 〈hal-00979092〉
  • 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, Feb 2014, Bordeaux, France. 〈hal-00946322〉
  • 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, 2014, 〈10.1007/978-3-662-44522-8_6〉. 〈hal-01699932〉
  • 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, 2014, 〈10.1145/2603088.2603158〉. 〈hal-01699933〉
  • 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, 2014, 〈10.1007/978-3-319-08867-9_29〉. 〈hal-01699934〉
  • 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. IEEE, pp.1--8, 2014, 〈10.1109/ITA.2014.6804286〉. 〈hal-01699936〉
  • Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan. Small Universal Non-deterministic Petri Nets with Inhibitor Arcs. Helmut Jürgensen and Juhani Karhumäki and Alexander Okhotin. Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings, 2014, Unknown, Unknown Region. Springer, 8614, pp.186--197, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-09704-6_17〉. 〈hal-01161698〉
  • Sergiu Ivanov. Polymorphic P Systems with Non-cooperative Rules and No Ingredients. Marian Gheorghe and Grzegorz Rozenberg and Arto Salomaa and Petr Sos\'ık and Claudio Zandron. Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers, 2014, Unknown, Unknown Region. Springer, 8961, pp.258--273, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-14370-5_16〉. 〈hal-01161697〉
  • 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, 2013, 〈10.1109/CMA-RE.2013.6664183〉. 〈hal-01084985〉
  • Christophe Gnaho, Farida Semmak, Régine Laleau. Modeling the Impact of Non-functional Requirements on Functional Requirements. Jeffrey Parsons and Dickson K. W. Chiu. 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. Springer, 8697, pp.59--67, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-319-14139-8_8〉. 〈hal-01575322〉
  • Christophe Gnaho, Farida Semmak, Régine Laleau. An overview of a SysML extension for goal-oriented NFR modelling: Poster paper. Roel Wieringa and Selmin Nurcan and Colette Rolland and Jean-Louis Cavarero. Research Challenges in Information Science (RCIS), 2013, Unknown, Unknown Region. IEEE, pp.1-2, 2013. 〈hal-01224629〉
  • 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. British Computer Society, Proceedings VECoS 2013 : 7th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2013. 〈hal-01335668〉
  • 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. Springer, 8168, pp.13-27, 2013, 〈10.1007/978-3-642-40725-3_3〉. 〈hal-00859795〉
  • 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. IEEE, Proceedings HPCC 2013 : 15th IEEE International Conference on High Performance Computing and Communications, pp.458 - 465, 2013, 〈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. Hermès-Lavoisier, Actes MSR 2013 : Modélisation des Systèmes Réactifs, pp.165 - 179, 2013, 〈10.3166/jesa.47.165-179 〉. 〈hal-01269928〉
  • Julien Cervelle. Constructing Continuous Systems from Discrete Cellular Automata. Paola Bonizzoni and Vasco Brattka and Benedikt Löwe. Computability in Europe (CiE), 2013, Unknown, Unknown Region. Springer, 7921, pp.55-64, 2013, Lecture Notes in Computer Science. 〈hal-01208371〉
  • Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson. Programming with BSP Homomorphisms. Euro-Par, 2013, Aachen, Germany. Springer, 8097, pp.446-457, 2013, 〈10.1007/978-3-642-40047-6_46〉. 〈hal-00822992〉
  • 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〉
  • 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. 2013. 〈hal-00837640〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin. Synthesis from LTL Specifications with Mean-Payoff Objectives. Nir Piterman and Scott A. Smolka. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2013, Unknown, Unknown Region. Springer, 7795, pp.169-184, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-36742-7_12〉. 〈hal-01196260〉
  • Rudolf Freund, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Sergey Verlan, et al.. Flattening in (Tissue) P Systems. Artiom Alhazov and Svetlana Cojocaru and Marian Gheorghe and Yurii Rogozhin and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers, 2013, Unknown, Unknown Region. Springer, 8340, pp.173-188, 2013, Lecture Notes in Computer Science. 〈hal-01352363〉
  • Rudolf Freund, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Sergey Verlan, et al.. Flattening in (Tissue) P Systems. Artiom Alhazov and Svetlana Cojocaru and Marian Gheorghe and Yurii Rogozhin and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers, 2013, Unknown, Unknown Region. Springer, 8340, pp.173-188, 2013, Lecture Notes in Computer Science. 〈hal-01352296〉
  • Sergey Verlan. Using the Formal Framework for P Systems. Artiom Alhazov and Svetlana Cojocaru and Marian Gheorghe and Yurii Rogozhin and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers, 2013, Unknown, Unknown Region. Springer, 8340, pp.56-79, 2013, Lecture Notes in Computer Science. 〈hal-01352364〉
  • 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, 2013, 〈10.1109/CANDAR.2013.98〉. 〈hal-01799312〉
  • Dimitris Vekris, Catalin Dima. Efficient Operational Semantics for $ EB ^3$ for Verification of Temporal Properties. Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.133-149, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_9〉. 〈hal-01514655〉
  • 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, 2013, AAMAS satellite workshop W09. 〈hal-00925767〉
  • Louis Bigo, Jean-Louis Giavitto, Moreno Andreatta, Olivier Michel, Antoine Spicher. Computation and Visualization of Musical Structures in Chord-Based Simplicial Complexes. Jason Yust and Jonathan Wild and John Ashley Burgoyne. MCM 2013 - 4th International Conference Mathematics and Computation in Music, Jun 2013, Montreal, Canada. Springer, 7937, pp.38-51, 2013, Lecture notes in computer science. 〈10.1007/978-3-642-39357-0_3〉. 〈hal-00925748〉
  • 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. 2013, 〈http://ieeexplore.ieee.org/xpl/login.jsp?arnumber=6754926〉. 〈10.1109/ISCC.2013.6754926〉. 〈hal-01132734〉
  • Sergey Verlan. Using the Formal Framework for P Systems. Artiom Alhazov and Svetlana Cojocaru and Marian Gheorghe and Yurii Rogozhin and Grzegorz Rozenberg and Arto Salomaa. CMC 1414th International Conference Membrane Computing ,, Aug 2013, Chisinau, Moldova. Springer, Lecture Notes in Computer Science, 8340, pp.56-79, 2013, Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers. 〈hal-01352297〉
  • 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. IEEE Computer Society, pp.468-477, 2013, 〈10.1109/LICS.2013.53〉. 〈hal-00946161〉
  • 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. 2013. 〈hal-01699940〉
  • Rudolf Freund, Sergiu Ivanov, Marion Oswald, K. G. Subramanian. One-dimensional Array Grammars and P Systems with Array Insertion and Deletion Rules. Turlough Neary and Matthew Cook. Proceedings Machines, Computations and Universality 2013, MCU 2013, Zürich, Switzerland, September 9-11, 2013., 2013, Unknown, Unknown Region. 128, pp.62--75, 2013, EPTCS. 〈10.4204/EPTCS.128.14〉. 〈hal-01161703〉
  • Sergiu Ivanov, Sergey Verlan. About One-Sided One-Symbol Insertion-Deletion P Systems. Artiom Alhazov and Svetlana Cojocaru and Marian Gheorghe and Yurii Rogozhin and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers, 2013, Unknown, Unknown Region. Springer, 8340, pp.225--237, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-54239-8_16〉. 〈hal-01161704〉
  • Henning Fernau, Rudolf Freund, Sergiu Ivanov, Markus L. Schmid, K. G. Subramanian. Array Insertion and Deletion P Systems. Giancarlo Mauri and Alberto Dennunzio and Luca Manzoni and Antonio E. Porreca. Unconventional Computation and Natural Computation - 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings, 2013, Unknown, Unknown Region. Springer, 7956, pp.67--78, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-39074-6_8〉. 〈hal-01161701〉
  • 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. 2013, 〈10.1007/978-3-642-38613-8_5〉. 〈hal-00768310v4〉
  • Hakim Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier. A Design by Contract Approach to Verify Access Control Policies. Isabelle Perseil and Karin Breitman and Marc Pouzet. International Conference on Engineering of Complex Computer Systems (ICECCS), 2012, Unknown, Unknown Region. IEEE Computer Society, pp.263-272, 2012. 〈hal-01224630〉
  • 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. Springer, 7314, pp.76-90, 2012, 〈10.1007/978-3-642-30782-9_6〉. 〈hal-00807469〉
  • Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho. Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. Elhadi Shakshuki and Muhammad Younas. International Conference on Ambient Systems, Networks and Technologies/International Conference on Mobile Web Information Systems (ANT/MobiWIS), 2012, Unknown, Unknown Region. Elsevier, 10, pp.474-481, 2012, Procedia Computer Science. 〈hal-01224634〉
  • 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, 2012, 〈10.1109/PDP.2012.65〉. 〈hal-00745201〉
  • Julien Cervelle. Covering Space in the Besicovitch Topology. Adrian Horia Dediu and Carlos Mart\'ın-Vide. Language and Automata Theory and Applications (LATA), 2012, Unknown, Unknown Region. Springer, 7183, pp.169-178, 2012, Lecture Notes in Computer Science. 〈hal-01208372〉
  • 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. 2012. 〈hal-00718334〉
  • 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, 2012, 〈10.1109/PDCAT.2012.12〉. 〈hal-00950415〉
  • Antoine Spicher, Olivier Michel, Jean-Louis Giavitto. Arbitrary Nesting of Spatial Computations. IFAMAAS (International Foundation for Autonomous Agents and Multiagent Systems). Spatial Computing Workshop, Jun 2012, Valencia, Spain. pp.25-32, 2012. 〈hal-00769286〉
  • Antoine Spicher, Olivier Michel, Jean-Louis Giavitto. Spatial Computing in MGS. Jérôme Durand-Lose, Nataša Jonoska. 11th International Conference Unconventional Computation & Natural Computation (UCNC 2012)., Sep 2012, Orléans, France. Springer, 7445, pp.63-69, 2012, 〈10.1007/978-3-642-32894-7_7〉. 〈hal-00769284〉
  • Artiom Alhazov, Rudolf Freund, Hilbert Heikenwälder, Marion Oswald, Yurii Rogozhin, et al.. Sequential P Systems with Regular Control. Erzsébet Csuhaj-Varjú and Marian Gheorghe and Grzegorz Rozenberg and Arto Salomaa and György Vaszil. Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, 2012, Unknown, Unknown Region. Springer, 7762, pp.112-127, 2012, Lecture Notes in Computer Science. 〈hal-01352301〉
  • Laurent Bienvenu, Benoit Monin. von Neumann’s biased coin revisited. LICS: Logic in Computer Science, Jun 2012, Dubrovnik, Croatia. 2012. 〈hal-01397207〉
  • 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. IEEE, 2012. 〈hal-01195829〉
  • 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. IEEE, 2012. 〈hal-01195830〉
  • Muath Alrammal, Gaétan Hains. Selectivity Estimation Technique for Wikipedia. International Conference on Information & Communications Technology (ICICT), 2012, Unknown, Unknown Region. 2012. 〈hal-01195831〉
  • Rudolf Freund, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez, Sergey Verlan. A Formal Framework for P Systems with Dynamic Structure. Erzsébet Csuhaj-Varjú and Marian Gheorghe and György Vaszil. Proceedings of 13th International Conference on Membrane Computing, 2012, Unknown, Unknown Region. MTA SZTAKI, Hungarian Academy of Sciences, pp.199--210, 2012. 〈hal-01352299〉
  • Sergey Verlan, Juan Quiros. Fast Hardware Implementations of P Systems. Erzsébet Csuhaj-Varjú and Marian Gheorghe and Grzegorz Rozenberg and Arto Salomaa and György Vaszil. Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, 2012, Unknown, Unknown Region. Springer, 7762, pp.404-423, 2012, Lecture Notes in Computer Science. 〈hal-01352304〉
  • Rudolf Freund, Yurii Rogozhin, Sergey Verlan. P Systems with Minimal Left and Right Insertion and Deletion. Jérôme Durand-Lose and Natasa Jonoska. Unconventional Computation and Natural Computation - 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings, 2012, Unknown, Unknown Region. Springer, 7445, pp.82-93, 2012, Lecture Notes in Computer Science. 〈hal-01352300〉
  • Rudolf Freund, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez, Sergey Verlan. A Formal Framework for P Systems with Dynamic Structure. Erzsébet Csuhaj-Varjú and Marian Gheorghe and György Vaszil. Proceedings of 13th International Conference on Membrane Computing, 2012, Unknown, Unknown Region. MTA SZTAKI, Hungarian Academy of Sciences, pp.199--210, 2012. 〈hal-01352365〉
  • Rudolf Freund, Yurii Rogozhin, Sergey Verlan. P Systems with Minimal Left and Right Insertion and Deletion. Jérôme Durand-Lose and Natasa Jonoska. Unconventional Computation and Natural Computation - 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings, 2012, Unknown, Unknown Region. Springer, 7445, pp.82-93, 2012, Lecture Notes in Computer Science. 〈hal-01352366〉
  • Artiom Alhazov, Rudolf Freund, Hilbert Heikenwälder, Marion Oswald, Yurii Rogozhin, et al.. Sequential P Systems with Regular Control. Erzsébet Csuhaj-Varjú and Marian Gheorghe and Grzegorz Rozenberg and Arto Salomaa and György Vaszil. Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, 2012, Unknown, Unknown Region. Springer, 7762, pp.112-127, 2012, Lecture Notes in Computer Science. 〈hal-01352367〉
  • Sergey Verlan, Juan Quiros. Fast Hardware Implementations of P Systems. Erzsébet Csuhaj-Varjú and Marian Gheorghe and Grzegorz Rozenberg and Arto Salomaa and György Vaszil. Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, 2012, Unknown, Unknown Region. Springer, 7762, pp.404-423, 2012, Lecture Notes in Computer Science. 〈hal-01352369〉
  • 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. IEEE, 2012, International Conference on High Performance Computing and Simulation (HPCS). 〈hal-00708821〉
  • 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, 2012, 〈10.1109/ISPDC.2012.10〉. 〈hal-00868689〉
  • 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, 2012. 〈hal-01161014〉
  • 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. 2012, 〈http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6249414〉. 〈10.1109/ISCC.2012.6249414〉. 〈hal-01132738〉
  • 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. IEEE, pp.173--177, 2012, 〈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, 2012, 〈10.1007/978-3-642-32897-8_7〉. 〈hal-01699944〉
  • Alexis Bès, Olivier Carton. Algebraic Characterization of FO for Scattered Linear Orderings. Marc Bezem. 25th International Workshop of Computer Science Logic (CSL), part of 20th Annual Conference of the EACSL, 2011, Unknown, Unknown Region. Schloss Dagstuhl―Leibniz-Zentrum fuer Informatik, 12, pp.67--81, 2011, Leibniz International Proceedings in Informatics (LIPIcs). 〈10.4230/LIPIcs.CSL.2011.67〉. 〈hal-01215407〉
  • 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. Springer, 2011, LNBIP. 〈hal-01224638〉
  • 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. IEEE, 2011. 〈hal-01224640〉
  • 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. ICST, Proceedings VALUETOOLS 2011 : 5th International ICST Conference on Performance Evaluation Methodologies and Tools, pp.418 - 424, 2011. 〈hal-01301870〉
  • 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. British Computer Society, Proceedings VECoS 2011 : 5th International Workshop on Verification and Evaluation of Computer and Communication Systems, pp.1 - 12, 2011. 〈hal-01303049〉
  • 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. ICST, Proceedings VALUETOOLS 2011 : 5th International ICST Conference on Performance Evaluation Methodologies and Tools, pp.197 - 206, 2011. 〈hal-01301868〉
  • 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. 2011. 〈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. Springer, 6527, pp.177--193, 2011, LNCS. 〈hal-01224637〉
  • 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, 2011, 〈10.1109/ICCITECHNOL.2011.5762687〉. 〈hal-00667197〉
  • 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, 2011, 〈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. IEEE communication society, 2011. 〈hal-00667337〉
  • 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. ACM, pp.17-34, 2011, 〈10.1145/2034751.2034759〉. 〈hal-00605566〉
  • 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. Proceedings of VALUETOOLS’11. 〈hal-01113442〉
  • 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. IEEE Computer Society, pp.321--328, 2011. 〈hal-01195832〉
  • 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. Springer-Verlag, 6888, pp.218-226, 2011, LNCS. 〈hal-01223274〉
  • Wadoud Bousdira, Louis Gesbert, Frédéric Loulergue. Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML. (JFLA), 2011, France. Hermann, pp.117-146, 2011, Studia Informatica Universalis. 〈hal-00592542〉
  • 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. Salinesi, Camille and Pastor, Oscar. WISSE 2011 - 1st International Workshop on Information Systems Security Engineering (in CAiSE 2011), Jun 2011, London, United Kingdom. Springer, 83, pp.592-606, 2011, Lecture Notes in Business Information Processing. 〈10.1007/978-3-642-22056-2_62〉. 〈hal-00860806〉
  • Serge Haddad, Lynda Mokdad, Samir Youcef. Selection of the Best composite Web Service Based on Quality of Service. Abramowicz, Witold and Alt, Rainer and Fähnrich, Klaus-Peter and Franczyk, Bogdan and Maciaszek, Leszek A. 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. Gesellschaft für Informatik, 177, pp.255-266, 2010. 〈hal-00772681〉
  • 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, 2011, 〈10.1109/PDMC-HiBi.2010.14〉. 〈hal-00669177〉
  • 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, 2010. 〈hal-00626814〉
  • 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, 2010. 〈hal-00626812〉
  • Alexis Bès, Alexander Rabinovich. Decidable Expansions of Labelled Linear Orderings. Andreas Blass and Nachum Dershowitz and Wolfgang Reisig. Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, 2010, Unknown, Unknown Region. Springer, 6300, pp.95--107, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-15025-8_5〉. 〈hal-01215408〉
  • 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. Springer-Verlag, 2010, LNCS. 〈hal-01224646〉
  • Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Stochastic comparisons applied to G-Networks with catastrophes. Springer. ISCIS2010, Sep 2010, London, United Kingdom. 62, www.springerlink.com, 2010. 〈hal-00545738〉
  • 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. Springer Verlag, 5987, www.springerlink.com, 2010, 〈10.1007/978-3-642-12104-3_17〉. 〈hal-00545740〉
  • Hind Castel-Taleb, Idriss Ismael-Aouled, Nihal Pekergin. Stochastic comparisons for performability of telecommunication systems. ASMTA2010, Jun 2010, Cardiff, United Kingdom. Springer Verlag, 6148, www.springerlink.com, 2010, LNCS. 〈10.1007/978-3-642-13568-2_14〉. 〈hal-00545739〉
  • 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, 2010. 〈hal-01224649〉
  • Tristan Crolard, Emmanuel Polonowski. Deriving a Hoare-Floyd logic for non-local jumps from a formulae-as-types notion of control. Marina Walden, Luigia Petre. The 22nd Nordic Workshop on Programming Theory, Nov 2010, Turku, Finland. Turku Centre for Computer Science, pp.70--71, 2010, TUCS General Publication. 〈hal-00651455〉
  • Serge Grigorieff, Pierre Valarcher. Evolving MultiAlgebras unify all usual sequential computation models. Jean-Yves Marion and Thomas Schwentick. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France. pp.417-428, 2010, Proceedings of the 27th Annual Symposium on the Theoretical Aspects of Computer Science. 〈inria-00455373〉
  • 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. 6372, pp.298--313, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-15928-2_20〉. 〈hal-00820206〉
  • Erzsébet Csuhaj-Varjú, György Vaszil, Sergey Verlan. On Generalized Communicating P Systems with One Symbol. Marian Gheorghe and Thomas Hinze and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, 2010, Unknown, Unknown Region. Springer, 6501, pp.160-174, 2010, Lecture Notes in Computer Science. 〈hal-01352320〉
  • Erzsébet Csuhaj-Varjú, György Vaszil, Sergey Verlan. On Generalized Communicating P Systems with One Symbol. Marian Gheorghe and Thomas Hinze and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, 2010, Unknown, Unknown Region. Springer, 6501, pp.160-174, 2010, Lecture Notes in Computer Science. 〈hal-01352385〉
  • Rudolf Freund, Marian Kogler, Yurii Rogozhin, Sergey Verlan. Graph-Controlled Insertion-Deletion Systems. Ian McQuillan and Giovanni Pighizzini. Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, 2010, Unknown, Unknown Region. 31, pp.88-98, 2010, Electronic Proceedings in Theoretical Computer Science. 〈hal-01352317〉
  • Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. A Small Universal Splicing P System. Marian Gheorghe and Thomas Hinze and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, 2010, Unknown, Unknown Region. Springer, 6501, pp.95-102, 2010, Lecture Notes in Computer Science. 〈hal-01352318〉
  • Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. A Small Universal Splicing P System. Marian Gheorghe and Thomas Hinze and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, 2010, Unknown, Unknown Region. Springer, 6501, pp.95-102, 2010, Lecture Notes in Computer Science. 〈hal-01352383〉
  • Rudolf Freund, Marian Kogler, Yurii Rogozhin, Sergey Verlan. Graph-Controlled Insertion-Deletion Systems. Ian McQuillan and Giovanni Pighizzini. Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, 2010, Unknown, Unknown Region. 31, pp.88-98, 2010, Electronic Proceedings in Theoretical Computer Science. 〈hal-01352382〉
  • Cyril Dumont, Fabrice Mourlin. Model checking applied to mobile agent system. Sophia-Antipolis Formal Analysis Workshop, Oct 2010, Sophia-Antipolis, France. 2p, 2010. 〈hal-00612682〉
  • Cyril Dumont, Fabrice Mourlin. Adaptive runtime for numerical code. International Conference of Modeling and Simulation (MOSIM'10), May 2010, Hammamet, Tunisia. pp.0, 2010. 〈hal-00514538〉
  • Wadoud Bousdira, Frédéric Gava, Louis Gesbert, Frédéric Loulergue, Guillaume Petiot. Functional Parallel Programming with Revised Bulk Synchronous Parallel ML. Koji Nakano. 2nd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA), 2010, Hiroshima, Japan. IEEE Computer Society, pp.191-196, 2010, 〈10.1109/IC-NC.2010.57〉. 〈inria-00515223〉
  • 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. Springer, 5977, pp.404, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-11811-1_38〉. 〈hal-00431272〉
  • 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, 2010, 〈10.1109/SASOW.2010.73〉. 〈hal-00869214〉
  • 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, 2010. 〈hal-00465463〉
  • Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau. Systematic translation rules from ASTD to Event-B. Mery, Dominique and Merz, Stephan. Integrated Formal Methods - IFM 2010, Oct 2010, Nancy, France. Springer Berlin / Heidelberg, 6396, pp.245-259, 2010, Lecture Notes in Computer Science. 〈inria-00525182〉
  • 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. IEEE Computer Society Press, pp.695-700, 2010, 〈10.1109/ISCC.2010.5546538〉. 〈hal-00779930〉
  • Sovanna Tan, Frédéric Gava. Modular implementation of dense matrix operations in a high-level BSP language. Waleed W. Smari and John P. McIntire. Proceedings of the 2010 International Conference on High Performance Computing & Simulation, HPCS 2010, June 28 - July 2, 2010, Caen, France, 2010, Unknown, Unknown Region. IEEE, pp.643--649, 2010, 〈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, 2010, 〈10.4204/EPTCS.25.12〉. 〈hal-01699952〉
  • 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. British Computer Society, 2010, eWiC. 〈http://ewic.bcs.org/content/ConMediaFile/15733〉. 〈hal-00788886〉
  • 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. 2010. 〈hal-00492745v2〉
  • Julien Cervelle, Enrico Formenti, Pierre Guillon. Ultimate Traces of Cellular Automata. Jean-Yves Marion and Thomas Schwentick. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France. pp.155-166, 2010, Proceedings of the 27th Annual Symposium on the Theoretical Aspects of Computer Science. 〈inria-00455807〉
  • 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, 2009, 〈10.1109/ISCIS.2009.5291864〉. 〈hal-00666664〉
  • Farida Semmak, Régine Laleau, Christophe Gnaho. Supporting Variability in Goal-based Requirements. André Flory and Martine Collard. Proceedings of the IEEE International Conference on Research Challenges in Information Science (RCIS), 2009, Unknown, Unknown Region. pp.271-280, 2009. 〈hal-01224652〉
  • 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. Springer, Proceedings ASMTA 2009 : 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications 5513, pp.294 - 308, 2009, 〈10.1007/978-3-642-02205-0_21〉. 〈hal-01369734〉
  • Hind Castel-Taleb, Nihal Pekergin. Stochastic monotonicity in queueing networks. EPEW 2009 : 6th European Performance Engineering Workshop, Jul 2009, Imperial College London United Kingdom. Springer, Proceedings EPEW 2009 : 6th European Performance Engineering Workshop, 5652, pp.116 - 130, 2009, 〈10.1007/978-3-642-02924-0_10〉. 〈hal-01366211〉
  • Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. Expressing KAOS Goal Refinement Patterns with Event-B. Butler, Michael and Hallerstede, Stefan and Voisin, Laurent. Rodin User and Developer Workshop 2009 - Extended Abstracts, 2009, Unknown, Unknown Region. Technical Report, DEPLOY Project, Electronics and Computer Science, University of Southampton, 2009. 〈hal-01224651〉
  • 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. 2009. 〈hal-01224653〉
  • 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. 2009. 〈hal-01224654〉
  • Rudolf Freund, Marian Kogler, Sergey Verlan. P Automata with Controlled Use of Minimal Communication Rules. H. Bordihn and R. Freund and M. Holzer and M. Kutrib and F. Otto. Workshop on Non-Classical Models of Automata and Applications, NCMA 2009, Wroclaw, Poland, 2009, Unknown, Unknown Region. Oesterreichische Computer Gesellschaft, pp.107--120, 2009. 〈hal-01352386〉
  • Sergey Verlan. Look-Ahead Evolution for P Systems. Gheorghe Paun and Mario J. Pérez-Jiménez and Agustin Riscos-Nú~nez and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers, 2009, Unknown, Unknown Region. Springer, 5957, pp.479-485, 2009, Lecture Notes in Computer Science. 〈hal-01352388〉
  • Muath Alrammal, Gaétan Hains, Mohamed Zergaoui. Performance Measurements towards the Optimization of Stream Processing for XML Data. Hamid R. Arabnia and Victor A. Clincy. Proceedings of the 2009 International Conference on Internet Computing(ICOMP'09), 2009, Unknown, Unknown Region. CSREA Press, pp.227--233, 2009. 〈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. AAAI, 2009. 〈hal-01195838〉
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of P Systems with Small Size Insertion and Deletion Rules. Turlough Neary and Damien Woods and Anthony Karel Seda and Niall Murphy. Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008, 2009, Unknown, Unknown Region. 1, pp.108-117, 2009, Electronic Proceedings in Theoretical Computer Science. 〈hal-01352387〉
  • Rudolf Freund, Marian Kogler, Sergey Verlan. P Automata with Controlled Use of Minimal Communication Rules. H. Bordihn and R. Freund and M. Holzer and M. Kutrib and F. Otto. Workshop on Non-Classical Models of Automata and Applications, NCMA 2009, Wroclaw, Poland, 2009, Unknown, Unknown Region. Oesterreichische Computer Gesellschaft, pp.107--120, 2009. 〈hal-01352321〉
  • Sergey Verlan. Look-Ahead Evolution for P Systems. Gheorghe Paun and Mario J. Pérez-Jiménez and Agustin Riscos-Nú~nez and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers, 2009, Unknown, Unknown Region. Springer, 5957, pp.479-485, 2009, Lecture Notes in Computer Science. 〈hal-01352323〉
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of P Systems with Small Size Insertion and Deletion Rules. Turlough Neary and Damien Woods and Anthony Karel Seda and Niall Murphy. Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008, 2009, Unknown, Unknown Region. 1, pp.108-117, 2009, Electronic Proceedings in Theoretical Computer Science. 〈hal-01352322〉
  • Nihal Pekergin, Sana Younes. Model Checking by Censoring Markov Chains and Stochastic Comparison. Hélène WAESELYNCK. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 7 p., 2009. 〈hal-00380667〉
  • 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. Actes AFADL, pp.71-86, 2009. 〈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, 2009, 〈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, 2009, 〈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. Springer, pp.144-158, 2009, LNCS. 〈10.1007/978-3-642-02205-0_11〉. 〈hal-00788924〉
  • Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. Towards Efficient Verification of Systems with Dynamic Process Creation. 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), Sep 2008, Istanbul, Turkey. 5160, pp.186--200, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-85762-4_13〉. 〈hal-00666665〉
  • Cyril Dumont, Fabrice Mourlin. Space Based Architecture for numerical solving. IEEE. 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, 2008, IEEE Digital Library. 〈10.1109/CIMCA.2008.157〉. 〈hal-00378342〉
  • Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. A First Attempt to Express KAOS Refinement Patterns with Event B. E. Borger and J. Bowen and M. Butler. Int. Conf. on ASM, B and Z (ABZ), 2008, Unknown, Unknown Region. Springer, 5238, pp.338, 2008, LNCS. 〈hal-01224661〉
  • 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. IEEE, Proceedings SPECTS 2008 : International Symposium on Performance Evaluation of Computer and Telecommunication Systems, pp.98 - 104, 2008. 〈hal-01342661〉
  • 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. Springer Berlin / Heidelberg, 5062, pp.72--91, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-68746-7_9〉. 〈hal-00340476〉
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. One-Sided Insertion and Deletion: Traditional and P Systems Case. Erzsébet Csuhaj-Varjú and Rudolf Freund and Marion Oswald and Kai Salomaa. International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria, 2008, Unknown, Unknown Region. Oesterreichische Computer Gesellschaft, 244, pp.53--64, 2008. 〈hal-01352396〉
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. One-Sided Insertion and Deletion: Traditional and P Systems Case. Erzsébet Csuhaj-Varjú and Rudolf Freund and Marion Oswald and Kai Salomaa. International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria, 2008, Unknown, Unknown Region. Oesterreichische Computer Gesellschaft, 244, pp.53--64, 2008. 〈hal-01352331〉
  • Rudolf Freund, Sergey Verlan. P Systems Working in the k-Restricted Minimally Parallel Mode. Erzsébet Csuhaj-Varjú and Rudolf Freund and Marion Oswald and Kai Salomaa. International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria, 2008, Unknown, Unknown Region. Oesterreichische Computer Gesellschaft, 244, pp.43--52, 2008. 〈hal-01352395〉
  • Sergey Verlan, Yurii Rogozhin. New Choice for Small Universal Devices: Symport/Antiport P Systems. Turlough Neary and Damien Woods and Anthony Karel Seda and Niall Murphy. Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings, 2008, Unknown, Unknown Region. Cork University Press, pp.305-314, 2008. 〈hal-01352397〉
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of P Systems with Small Size Insertion and Deletion Rules. Turlough Neary and Damien Woods and Anthony Karel Seda and Niall Murphy. Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings, 2008, Unknown, Unknown Region. Cork University Press, pp.137-148, 2008. 〈hal-01352401〉
  • Sergey Verlan, Yurii Rogozhin. New Choice for Small Universal Devices: Symport/Antiport P Systems. Turlough Neary and Damien Woods and Anthony Karel Seda and Niall Murphy. Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings, 2008, Unknown, Unknown Region. Cork University Press, pp.305-314, 2008. 〈hal-01352332〉
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of P Systems with Small Size Insertion and Deletion Rules. Turlough Neary and Damien Woods and Anthony Karel Seda and Niall Murphy. Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings, 2008, Unknown, Unknown Region. Cork University Press, pp.137-148, 2008. 〈hal-01352336〉
  • Artiom Alhazov, Maurice Margenstern, Sergey Verlan. Fast Synchronization in P Systems. David W. Corne and Pierluigi Frisco and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers, 2008, Unknown, Unknown Region. Springer, 5391, pp.118-128, 2008, Lecture Notes in Computer Science. 〈hal-01352329〉
  • Rudolf Freund, Sergey Verlan. P Systems Working in the k-Restricted Minimally Parallel Mode. Erzsébet Csuhaj-Varjú and Rudolf Freund and Marion Oswald and Kai Salomaa. International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria, 2008, Unknown, Unknown Region. Oesterreichische Computer Gesellschaft, 244, pp.43--52, 2008. 〈hal-01352330〉
  • Sergey Verlan, Yurii Rogozhin. New Choice for Small Universal Devices: Symport/Antiport P Systems. Turlough Neary and Damien Woods and Anthony Karel Seda and Niall Murphy. Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008, 2008, Unknown, Unknown Region. 1, pp.235-241, 2008, Electronic Proceedings in Theoretical Computer Science. 〈hal-01352333〉
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Further Results on Insertion-Deletion Systems with One-Sided Contexts. Carlos Mart\'ın-Vide and Friedrich Otto and Henning Fernau. Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers, 2008, Unknown, Unknown Region. Springer, 5196, pp.333-344, 2008, Lecture Notes in Computer Science. 〈hal-01352335〉
  • Artiom Alhazov, Maurice Margenstern, Sergey Verlan. Fast Synchronization in P Systems. David W. Corne and Pierluigi Frisco and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers, 2008, Unknown, Unknown Region. Springer, 5391, pp.118-128, 2008, Lecture Notes in Computer Science. 〈hal-01352394〉
  • Sergey Verlan, Yurii Rogozhin. New Choice for Small Universal Devices: Symport/Antiport P Systems. Turlough Neary and Damien Woods and Anthony Karel Seda and Niall Murphy. Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008, 2008, Unknown, Unknown Region. 1, pp.235-241, 2008, Electronic Proceedings in Theoretical Computer Science. 〈hal-01352398〉
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Further Results on Insertion-Deletion Systems with One-Sided Contexts. Carlos Mart\'ın-Vide and Friedrich Otto and Henning Fernau. Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers, 2008, Unknown, Unknown Region. Springer, 5196, pp.333-344, 2008, Lecture Notes in Computer Science. 〈hal-01352400〉
  • 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, 2008, 〈10.1007/978-3-642-02734-5_8〉. 〈hal-01699955〉
  • 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, 2008, 〈10.1007/978-3-540-93920-7_6〉. 〈hal-01699956〉
  • 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. 239, pp.119--129, 2009, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2009.05.034〉. 〈hal-00340494〉
  • Cyril Dumont, Fabrice Mourlin. A Mobile Computing Architecture for Numerical Simulation. IEEE. International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Nov 2007, Papeete, French Polynesia. pp.68-74, 2007, IEEE Digital Library. 〈10.1109/UBICOMM.2007.2〉. 〈hal-00186756〉
  • 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. IEEE Computer Society, pp.201-208, 2007, 〈10.1109/PDCAT.2007.77〉. 〈inria-00452532〉
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. How to Synchronize the Activity of All Components of a P System?. Gy. Vaszil. International Workshop: Automata for Cellular and Molecular Computing, Budapest, Hungary, August 31, 2007, Proceedings, 2007, Unknown, Unknown Region. MTA SZTAKI, pp.11--23, 2007. 〈hal-01352407〉
  • Artiom Matveevici, Yurii Rogozhin, Sergey Verlan. Insertion-Deletion Systems with One-Sided Contexts. Jérôme Olivier Durand-Lose and Maurice Margenstern. Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, 2007, Unknown, Unknown Region. Springer, 4664, pp.205-217, 2007, Lecture Notes in Computer Science. 〈hal-01352410〉
  • Myrto Arapinis, Marie Duflot. Bounding Messages for Free in Security Protocols. V. Arvind and S. Prasad. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, 2007, Unknown, Unknown Region. Springer, 4855, pp.376--387, 2007, Lecture Notes in Computer Science. 〈hal-01195943〉
  • Artiom Alhazov, Rudolf Freund, Marion Oswald, Sergey Verlan. Partial Halting in P Systems Using Membrane Rules with Permitting Contexts. Jérôme Olivier Durand-Lose and Maurice Margenstern. Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, 2007, Unknown, Unknown Region. Springer, 4664, pp.110-121, 2007, Lecture Notes in Computer Science. 〈hal-01352341〉
  • Rudolf Freund, Sergey Verlan. A Formal Framework for Static (Tissue) P Systems. George Eleftherakis and Petros Kefalas and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, 2007, Unknown, Unknown Region. Springer, 4860, pp.271-284, 2007, Lecture Notes in Computer Science. 〈hal-01352339〉
  • Artiom Matveevici, Yurii Rogozhin, Sergey Verlan. Insertion-Deletion Systems with One-Sided Contexts. Jérôme Olivier Durand-Lose and Maurice Margenstern. Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, 2007, Unknown, Unknown Region. Springer, 4664, pp.205-217, 2007, Lecture Notes in Computer Science. 〈hal-01352345〉
  • Artiom Alhazov, Rudolf Freund, Marion Oswald, Sergey Verlan. Partial Halting in P Systems Using Membrane Rules with Permitting Contexts. Jérôme Olivier Durand-Lose and Maurice Margenstern. Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, 2007, Unknown, Unknown Region. Springer, 4664, pp.110-121, 2007, Lecture Notes in Computer Science. 〈hal-01352406〉
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. Producer/Consumer in Membrane Systems and Petri Nets. S. Barry Cooper and Benedikt Löwe and Andrea Sorbi. 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. Springer, 4497, pp.43-52, 2007, Lecture Notes in Computer Science. 〈hal-01352408〉
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. Producer/Consumer in Membrane Systems and Petri Nets. S. Barry Cooper and Benedikt Löwe and Andrea Sorbi. 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. Springer, 4497, pp.43-52, 2007, Lecture Notes in Computer Science. 〈hal-01352343〉
  • Rudolf Freund, Sergey Verlan. A Formal Framework for Static (Tissue) P Systems. George Eleftherakis and Petros Kefalas and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, 2007, Unknown, Unknown Region. Springer, 4860, pp.271-284, 2007, Lecture Notes in Computer Science. 〈hal-01352404〉
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. How to Synchronize the Activity of All Components of a P System?. Gy. Vaszil. International Workshop: Automata for Cellular and Molecular Computing, Budapest, Hungary, August 31, 2007, Proceedings, 2007, Unknown, Unknown Region. MTA SZTAKI, pp.11--23, 2007. 〈hal-01352342〉
  • 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, 2007, 〈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, 2007, 〈10.1007/978-3-540-75254-7_2〉. 〈hal-01699958〉
  • 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, 2007, 〈10.1007/978-3-540-75292-9_13〉. 〈hal-01699960〉
  • 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, 2007, 〈10.1109/SYNASC.2007.67〉. 〈hal-01699961〉
  • 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, 2006. 〈hal-00340477〉
  • 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. INSTICC Press, pp.44 - 51, 2006. 〈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. ENST, pp.25-39, 2006. 〈hal-00145959〉
  • 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. Springer, 3967, pp.475-486, 2006, LNCS. 〈10.1007/11753728_48〉. 〈inria-00452573〉
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. Length-Separating Test Tube Systems. Chengde Mao and Takashi Yokomori. DNA Computing, 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers, 2006, Unknown, Unknown Region. Springer, 4287, pp.58-70, 2006, Lecture Notes in Computer Science. 〈hal-01352411〉
  • Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern. Computational Completeness of Tissue P Systems with Conditional Uniport. Hendrik Jan Hoogeboom and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers, 2006, Unknown, Unknown Region. Springer, 4361, pp.521-535, 2006, Lecture Notes in Computer Science. 〈hal-01352412〉
  • Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern. Computational Completeness of Tissue P Systems with Conditional Uniport. Hendrik Jan Hoogeboom and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa. Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers, 2006, Unknown, Unknown Region. Springer, 4361, pp.521-535, 2006, Lecture Notes in Computer Science. 〈hal-01352347〉
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. Length-Separating Test Tube Systems. Chengde Mao and Takashi Yokomori. DNA Computing, 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers, 2006, Unknown, Unknown Region. Springer, 4287, pp.58-70, 2006, Lecture Notes in Computer Science. 〈hal-01352346〉
  • Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski. Bulk Synchronous Parallel ML with Exceptions. Peter Kacsuk and Thomas Fahringer and Zsolt Nemeth. Distributed and Parallel Systems (DAPSYS 2006), Sep 2006, Innsbruck, Austria. Springer, pp.33-42, 2007, Distributed and Parallel Systems. 〈10.1007/978-0-387-69858-8_4〉. 〈inria-00452559〉
  • 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. 2006. 〈inria-00452566〉
  • 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. ENST, pp.3-7, 2006. 〈hal-00145960〉
  • Tristan Crolard, Samuel Lacas, Pierre Valarcher. On the expressive power of Loop language. 17th Nordic Workshop on Programming Theory, 2005, Copenhaguen, Denmark. 2005. 〈hal-00083374〉
  • Philippe Andary, Bruno Patrou, Pierre Valarcher. About implementation of primitive recursive algorithms. International Workshop on Abstract State Machine, 2005, Paris, France. 2005. 〈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. 2005. 〈hal-00083376〉
  • Marie Duflot, Danièle Beauquier, Marius Minea. A Probabilistic Property-Specific Approach to Information Flow. 2005, Springer, pp.206-220, 2005, LNCS 3685. 〈10.1007/11560326_16〉. 〈hal-00091587〉
  • Alexis Bès, Olivier Carton. A Kleene Theorem for Languages of Words Indexed by Linear Orderings. 2005, Springer-Verlag, pp.158-167, 2005, Lect. Notes in Comput. Sci. 3572. 〈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. 2005. 〈hal-00095595〉
  • Patrick Cegielski, Denis Richard, Maxim Vsemirnov. On the additive theory of prime numbers II. Yuri Shoukourian. 2005, The National Academy of Sciences of Armenia Publishers, pp.39-47, 2005. 〈hal-00096769〉
  • Patrick Cegielski, Irene Guessarian, Yuri Matiyasevich. Multiple serial episode matching. Y. Shoukourian. 2005, The National Academy of Sciences of Armenia Publishers, pp.26-38, 2005. 〈hal-00020564〉
  • 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, 2005. 〈hal-01699962〉
  • 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, 2005, 〈10.1007/11539452_11〉. 〈hal-01699963〉
  • 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. University of Limerick, Ireland, pp.91--106, 2005. 〈hal-01224666〉
  • 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. IEEE Computer Society Press, pp.416--425, 2004. 〈hal-01224670〉
  • Jean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. HFE and BDDs: A Practical Attempt at Cryptanalysis. Feng, Niedereiter, Xing. 2004, Birkhauser, pp.11, 2004. 〈hal-00081338〉
  • Xiaocheng Ge, Fiona Polack, Régine Laleau. Secure Databases: an Analysis of Clark-Wilson Model in a Database Environment. Persson A. and Stirna J. 16th International Conference on Advanced Information Systems Engineering, CAiSE 2004, 2004, Riga, Latvia. Springer, 3084, pp.234--247, 2004, Lecture Notes in Computer Science. 〈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. 2004. 〈hal-01224667〉
  • 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. Springer-Verlag, pp.372-387, 2004, LNCS 2988. 〈hal-00094616〉
  • Myrto Arapinis, Anatol Slissenko. A Pattern Based Language for Programming of Heuristics of Proof Search. Petcu, D. and Negru, V. and Zaharie, D. and Jebelen, T. Proceeding of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC-2004), Sep 2004, Timisoara, Romania. Editura MIRTON, pp.400--411, 2004. 〈hal-01195944〉
  • Franck Pommereau. Petri nets as Executable Specifications of High-Level Timed Parallel Systems. Bubak, M. and van Albada, D. and Sloot, P. and Dongarra, J. 2004, Springer, pp.331-338, 2004, Lecture Notes in Computer Science. 〈hal-00114671〉
  • Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Box Calculus with High-Level Buffers. 2004, SCS, pp.1-6, 2004. 〈hal-00114672〉
  • Franck Pommereau. Causal Time Calculus. 2004, Springer, pp.1-12, 2004, Lecture Notes in Computer Science. 〈hal-00114673〉
  • 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, 2004, 〈10.1007/978-3-540-30206-3_16〉. 〈hal-01699964〉
  • Amel Mammar, Régine Laleau. UML2SQL : un environnement intégré pour le développement d'implémentations relationnelles à partir de diagrammes UML. Jacques Julliand. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, 2004, Besançon, France. pp.333--336, 2004. 〈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. Jacques Julliand. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, 2004, Besançon, France. pp.77--91, 2004. 〈hal-01224671〉
  • Jean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. Analysis of HFE from a BDD point of view. CCC'03, 2003, China. 2003. 〈hal-00081341〉
  • 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, 2003. 〈hal-00094624〉
  • Tristan Crolard. A formulae-as-types interpretation of Subtractive Logic. First Workshop on the Logic for Pragmatics, 2003, Verona, Italy. 2003. 〈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. 2003. 〈hal-00095597〉
  • 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. 2003. 〈hal-00095598〉
  • Patrick Cegielski, Denis Richard, Maxim Vsemirnov. On the additive theory of prime numbers I. Yuri Shoukourian. 2003, The National Academy of Sciences of Armenia Publishers, pp.90-99, 2003. 〈hal-00096752〉
  • Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Petri nets with causal time for system verification. 2003, Elsevier, pp.1-16, 2003, Electronic Notes in Theoretical Computer Science 68(5). 〈hal-00114682〉
  • 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, 2003. 〈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, 2003, 〈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, 2003, 〈10.1007/978-3-540-40903-8_14〉. 〈hal-01699967〉
  • Andreea Barbu, Fabrice Mourlin. From Higher Order Pi-Calculus Specification to RMI Implementation. 2003, pp.?-?, 2003. 〈hal-00005605〉
  • Raymond Devillers, Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. Operational Semantics for PBC with Asynchronous Communication. 2002, SCS, pp.1-6, 2002. 〈hal-00114684〉
  • 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. IEEE Computer Society, pp.177, 2002, 〈10.1109/LICS.2002.1029827〉. 〈hal-01699968〉
  • Jef Wijsen, Alexis Bès. Temporal Tableau Queries. TIME, 2001, Unknown, Unknown Region. pp.136-143, 2001. 〈hal-01215412〉
  • 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, 2001. 〈hal-00094632〉
  • Hanna Klaudel, Franck Pommereau. A concurrent semantics of static exceptions in a parallel programming language. J.-M. Colom and M. Koutny. 2001, Springer, pp.204-223, 2001, Lecture Notes in Computer Science 2075. 〈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. IEEE Computer Society, pp.410--417, 2001, 〈10.1109/EMPDP.2001.905069〉. 〈hal-01699970〉
  • Hanna Klaudel, Franck Pommereau. A concurrent and compositional Petri net semantics of preemption. W. Grieskamp, T. Santen and B. Stoddart. 2000, Springer, pp.318-337, 2000, Lecture Notes in Computer Science 1945. 〈hal-00114693〉
  • Franck Pommereau. FIFO buffers in tie sauce. P. Kacsuk and G. Kotsis. 2000, Kluwer Academic Publishers, pp.95-104, 2000. 〈hal-00114694〉
  • 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, 2000, 〈10.1007/3-540-46541-3_23〉. 〈hal-01699972〉
  • Arnaud Durand, Miki Hermann, Phokion G. Kolaitis. Subtractive Reductions and Complete Problems for Counting Complexity Classes. M. Nielsen et B. Rovan. 25th International Symposium on Mathematical Foundations of Computer Science - MFCS'2000, 2000, Bratislava, Slovaquie, Springer-Verlag, 1893, pp.323-332, 2000, Lecture Notes in Computer Science. 〈inria-00099381〉
  • Tristan Crolard. Typing coroutines in subtractive logic. 1999, INRIA, pp.1-19, 1999, Collection Didactique. 〈hal-00094662〉
  • Hanna Klaudel, Franck Pommereau. Asynchronous links in the PBC and M-nets. P. S. Thiagarajan and R. Yap. 1999, Springer, pp.190-200, 1999, Lecture Notes in Computer Science 1742. 〈hal-00114697〉
  • 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, 1999, 〈10.1007/3-540-48321-7_17〉. 〈hal-01699973〉
  • Arnaud Durand, Miki Hermann, Laurent Juban. On the complexity of recognizing the Hilbert basis of a linear Diophantine system. M. Kutylowski, L. Pacholski, T. Wierzbicki. 24th International Symposium on Mathematical Foundations of Computer Science - MFCS'99, 1999, Szklarska Poreba, Poland, Springer-Verlag, 1672, pp.92-102, 1999, Lecture Notes in Computer Science. 〈inria-00098956〉

Books

  • 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〉
  • 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〉
  • 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〉
  • 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, Jean-Francis Michon, Pierre Valarcher. Boolean Functions: Cryptography and Applications.. Presses Universitaires de Rouen et du Havre, pp.204, 2005. 〈hal-00081317〉
  • 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〉
  • 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 sections

  • 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〉
  • 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〉
  • 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〉. 〈http://link.springer.com/book/10.1007%2F978-3-319-33924-5〉. 〈hal-01377667〉
  • 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〉
  • 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〉
  • 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 〈http://www.worldscientific.com/worldscibooks/10.1142/10046〉. 〈hal-01377659〉
  • 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〉
  • 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, 〈http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/〉. 〈hal-01107296〉
  • 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〉
  • 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〉
  • 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. 〈http://store.elsevier.com/Modeling-and-Simulation-of-Computer-Networks-and-Systems/isbn-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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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 proceedings

  • 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. 〈hal-01792687〉
  • 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. 19(6) 2014. 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-01352368〉
  • 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〉
  • Régine Laleau. Numero special "Inforsid 2010". Regine Laleau. 16 (1), 2011. 〈hal-01224636〉
  • Brigitte Grau, Régine Laleau, Jean-Yves Ramel. Systèmes d'indexation et recherche d'information Modèles pour la conception et l'évaluation. Lavoisier, 2011. 〈hal-01067835〉
  • Brigitte Grau, Régine Laleau, Jean-Yves Ramel. Numéo spécial CORIA, CIFED, INFORSID 2010: Systèmes d'indexation et recherche d'information, modèles pour la conception et l'évaluation. Brigitte Grau and Régine Laleau and Jean-Yves Ramel. RSTI, 14 (2), Document Numérique, 2011. 〈hal-01224639〉
  • 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〉
  • Sébastien Fournier, Régine Laleau. Actes du 28eme Congres INFORSID. Sebastien FOURNIER and Regine LALEAU. 2010. 〈hal-01224648〉
  • 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 publications

  • Emmanuel Polonowski. DBGen User Manual. TR--LACL--2012--4. This document introduces DBGen, an automatic generator of De Bruijn infrastructure for the Coq pr.. 2012. 〈hal-00763341〉
  • Tristan Crolard, Emmanuel Polonowski. A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables. TR-LACL-2009-3. Technical Report of the LACL. 2009. 〈hal-00385416〉
  • Emmanuel Polonowski. LoopW Technical Reference v0.3. TR-LACL-2009-8. Technical report of the LACL, TR-LACL-2009-8. 2009. 〈hal-00443669〉
  • Tristan Crolard, Emmanuel Polonowski, Pierre Valarcher. Extending the Loop Language with Higher-Order Procedural Variables. TR-LACL-2008-3. Technical Report of the LACL. 2008. 〈hal-00385411〉
  • Danièle Beauquier, Frédéric Gauche. How to Guarantee Secrecy for Cryptographic Protocols. Rapport interne. 2007. 〈hal-00138766〉
  • Emmanuel Polonowski. Deriving SN from PSN: a general proof technique. TR-LACL-2006-5. Technical report of the LACL, TR-LACL-2006-5. 2006. 〈hal-00420464〉
  • Jean-Baptiste Yunès, Jean-Francis Michon, Pierre Valarcher. Sequence of Enumeration of QROBDD. Internet database. 2004. 〈hal-00081330〉
  • Frédéric Gervais. EB4 : Vers une méthode combinée de spécification formelle des systèmes d'information. CNAM, Université de Sherbroooke (Québec). 2004. 〈hal-01223282〉
  • Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Box Calculus with Coloured Buffers. Technical report 2002-16, LACL. 2002. 〈hal-00114687〉
  • Franck Pommereau, Christian Stehno. FIFO buffers is hot tie sauce. Technical report 2001-04, LACL. 2001. 〈hal-00114692〉

Preprints, Working Papers, ...

  • Arthur Milchior. A Quasi-Linear Time Algorithm Deciding Whether Weak B\"uchi Automata Reading Vectors of Reals Recognize Saturated Languages. 2018. 〈hal-01676719〉
  • 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〉
  • Benoit Monin, Ludovic Patey. Pigeons do not jump high. 20 pages. 2018. 〈hal-01888793〉
  • Pierre Guillon, Emmanuel Jeandel, Jarkko Kari, Pascal Vanier. Undecidable word problem in subshift automorphism groups. 2018. 〈hal-01862896v2〉
  • Anatol Slissenko. On entropic convergence of algorithms in terms of domain partitions. 2016. 〈hal-01817834〉
  • Aaron Meurer​, Christopher P Smith, Mateusz Paprocki, Ondřej Čertík, Sergey B Kirpichev, et al.. SymPy: Symbolic computing in Python. 2016. 〈hal-01404156〉
  • Serge Grigorieff, Irene Guessarian, Patrick Cégielski. CHARACTERIZING CONGRUENCE PRESERVING FUNCTIONS Z/nZ → Z/mZ VIA RATIONAL POLYNOMIALS. 2016. 〈hal-01260934〉
  • Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, et al.. Entropy Games and Matrix Multiplication Games. Accepted to STACS 2016. 2015. 〈hal-01164086v3〉
  • Patrick Cegielski, Serge Grigorieff, Irene Guessarian. On Lattices of Regular Sets of Natural Integers Closed under Decrementation. 2013. 〈hal-00870130〉
  • Patrick Cegielski, Serge Grigorieff. Newton representation of functions over natural integers having integral difference ratios. 2013. 〈hal-00870168〉
  • El Houcein El Abdalaoui, Mohamed Dahmoune, Djelloul Ziadi. On the transition reduction problem for finite automata. 22 pages, 7 figures, submitted. 2012. 〈hal-00779496〉
  • Julien Cohen, Jean-Louis Giavitto, Olivier Michel. Variable elimination for building interpreters. 33 pages. 2010. 〈hal-00482002〉
  • Patrick Cegielski, Irene Guessarian, Yuri Matiyasevich. Tree inclusion problems. 2007. 〈hal-00159125〉
  • 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. Rapport interne LACL 2007-06. 2007. 〈hal-00155280〉
  • Alexis Bès, Patrick Cégielski. Weakly Maximal Decidable Structures. Rapport interne LACL 2007-06. 2007. 〈hal-00155281〉
  • Alexis Bès, Patrick Cégielski. Non-Maximal Decidable Structures. Rapport interne LACL 2007-06. 2007. 〈hal-00155282〉
  • Franck Pommereau. Petri nets as executable specifications of high-level timed parallel systems.. 2005. 〈hal-00114669〉

Reports

  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Wadoud Bousdira, Frédéric Loulergue, L. Gesbert. Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML. [Rapport de recherche] 2010. 〈inria-00465842〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Abderrahman Matoussi, Régine Laleau. A First Attempt to Express KAOS Refinement Patterns with Event B. [Research Report] LACL. 2008. 〈hal-01224663〉
  • 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〉
  • 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〉
  • 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〉

Theses

  • 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〉
  • Victor Allombert. Functional abstraction for programming multi-level architectures : formalisation and implementation. Logic [math.LO]. 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〉
  • 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, 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〉
  • 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〉
  • 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〉
  • 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〉
  • Charif Mahmoudi. Orchestration d'agents mobiles en communauté. Traitement du signal et de l'image. Université Paris-Est, 2014. Français. 〈NNT : 2014PEST1186〉. 〈tel-01415666〉
  • Benoit Monin. Higher computability and Randomness. Computer Science [cs]. Paris Diderot, 2014. English. 〈tel-01397190〉
  • 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〉
  • Dimitrios Vekris. Verification of EB-3 specifications with model checking techniques. Computer science. Université Paris-Est, 2014. English. 〈NNT : 2014PEST1117〉. 〈tel-01140261〉
  • 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〉
  • 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〉
  • Chong Li. Un modèle de transition logico-matérielle pour la simplification de la programmation parallèle. Autre [cs.OH]. Université Paris-Est, 2013. Français. 〈NNT : 2013PEST1089〉. 〈tel-00952082〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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, 2008. Russian. 〈NNT : 2008PEST0050〉. 〈tel-00462013〉
  • 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 recherches

  • 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〉