Подразделения : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Бывшая команда : | ACASA |
Публикации MoVe | 2023 | 2024 | Total |
---|---|---|---|
Книги | 0 | 0 | 0 |
Издания книг | 0 | 0 | 0 |
Статьи в журналах | 2 | 0 | 2 |
Статьи | 0 | 0 | 0 |
Статьи конференций | 7 | 1 | 8 |
Хабилитации | 0 | 0 | 0 |
Thesis | 2 | 1 | 3 |
- É. André, B. Barbot, C. Démoulins, L. Hillah, F. Hulin‑Hubard, F. Kordon, A. Linard, L. Petrucci : “A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems”, 15th International Conference on Formal Engineering Methods (ICFEM'13), vol. 8144, Lecture Notes in Computer Science, Queenstown, New Zealand, pp. 199-214, (Springer Berlin Heidelberg) [André 2013a]
- É. André, Y. Lembachar, L. Petrucci, F. Hulin‑Hubard, A. Linard, L. Hillah, F. Kordon : “CosyVerif: An Open Source Extensible Verification Environment”, 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Singapore, Singapore, pp. 33-36, (IEEE Computer Society Press) [André 2013b]
- B. Bérard, L. Millet, M. Gradinariu Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “Vérification formelle et robots mobiles”, 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), Pornic, France, pp. 1-4, (Nisse, Nicolas et Rousseau, Franck et Busnel, Yann) [Bérard 2013c]
- B. Bérard, S. Haddad, A. Jovanovic, D. Lime : “Parametric Interrupt Timed Automata”, 7th Workshop on Reachability Problems in Computational Models (RP'13), vol. 8169, Lecture Notes in Computer Science, Uppsala, Sweden, pp. 59-69, (Springer Berlin Heidelberg) [Bérard 2013g]
- A. Beslic, R. Bendraou, J. Sopena, J.‑Y. Rigolet : “Towards a solution avoiding Vendor Lock-in to enable Migration Between Cloud Platforms”, MDHPCL 2013 - 2nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing, Miami, Florida, United States, pp. 5-14 [Beslic 2013]
- X. Bonnaire, R. Cortes, F. Kordon, O. Marin : “A Scalable Architecture for Highly Reliable Certification”, TrustCom'2013 - IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Melbourne, Australia, pp. 328-335, (IEEE) [Bonnaire 2013]
- Th. Carron, F. Kordon, J.‑M. Labat, I. Mounier, A. Yessad : “Toward Improvement of Serious Game Reliability”, 7th European Conference on Games Based Learning, vol. 2, Porto, Portugal, pp. 80-87, (Academic Conferences and Publishing International) [Carron 2013a]
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “A Higher-order Agent Model for Ambient Systems”, The 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013), vol. 21, Procedia Computer Science, Niagara Falls, Ontario, Canada, pp. 156-163 [Chaouche 2013]
- M. Colange, S. Baarir, F. Kordon, Y. Thierry‑Mieg : “Towards Distributed Software Model-Checking using Decision Diagrams”, 25th International Conference on Computer Aided Verification (CAV), vol. 8044, Lecture Notes in Computer Science, Saint-Petersbourg, Russian Federation, pp. 830-845, (Springer Verlag) [Colange 2013]
- I. Fall, R. Bendraou, M.‑P. Gervais, X. Blanc : “Towards a Full Specification and Use of Overlap Relationships between Work Products in MDE Software Processes”, 22nd International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2013, Hammamet, Tunisia, pp. 209-217, (IEEE) [Fall 2013]
- M. Güdemann, P. Poizat, G. Salaün, A. Dumont : “VerChor: A Framework for Verifying Choreographies”, Fundamental Approaches to Software Engineering 2013, vol. 7793, Lecture Note in Computer Science, Rome, Italy, pp. 226-230 [Güdemann 2013]
- M. Jaume, R. Andriatsimandefitra, V. Viet Triem Tong, L. Mé : “Secure states versus Secure executions: From access control to flow control”, ICISS 2013 - 9th International Conference on Information Systems Security, vol. 8303, Lecture Notes in Computer Science, Calcutta, India, pp. 148-162, (Springer) [Jaume 2013]
- S. Kchir, T. Ziadi, M. Ziane, S. Stinckwich : “A Top-Down Approach to Managing Variability in Robotics Algorithms.”, Proceedings of the Fourth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2013), Tokyo, Japan, pp. 6, (DSLRob13) [Kchir 2013]
- R. Khefifi, P. Poizat, F. Saïs : “Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space”, 11th International Conference on Service Oriented Computing, ICSOC 2013, vol. 8274, Lecture Notes in Computer Science, Berlin, Germany, pp. 575-583, (Springer) [Khefifi 2013a]
- R. Khefifi, P. Poizat, F. Saïs : “Data-Flow Oriented Service Composition: AI-Planning or Petri Nets?”, 2nd Workshop "From Open Sources to Web of Data" (SOS-DLWD 2013), Lille, France [Khefifi 2013b]
- F. Kordon, X. Bonnaire, R. Cortes, O. Marin : “Verification of a Quasi certification Protocol over a DHT”, Dagstuhl Seminar "Formal Verification of Distributed Algorithms" n°13141, Dagstuhl, Germany [Kordon 2013h]
- S. Lamprier, N. Baskiotis, T. Ziadi, L. Hillah : “CARE: a platform for reliable Comparison and Analysis of Reverse-Engineering techniques”, 18th IEEE International Conference on Engineering of Complex Computer Systems -- ICECCS, Singapore, Singapore, pp. 252-255, (IEEE) [Lamprier 2013]
- Y. Laurent, R. Bendraou, M.‑P. Gervais : “Executing and debugging UML models: an fUML extension”, SAC'13 - The 28th Annual ACM Symposium on Applied Computing, Coimbra, Portugal, pp. 1095-1102, (ACM) [Laurent 2013a]
- Y. Laurent, R. Bendraou, M.‑P. Gervais : “Generation of Process Using Multi-Objective Genetic Algorithm”, International Conference on Software and System Process, ICSSP 2013, San Francisco, CA, United States, pp. 161-165, (ACM) [Laurent 2013b]
- H. Nguyen, P. Poizat, F. Zaïdi : “Automatic Skeleton Generation for Data-Aware Service Choreographies”, 24th IEEE International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, United States, pp. 320-329, (IEEE) [Nguyen 2013]
- E. Renault, A. Duret‑Lutz, F. Kordon, D. Poitrenaud : “Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking”, Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), vol. 7795, Lecture Notes in Computer Science, Rome, Italy, pp. 580-593, (Springer) [Renault 2013a]
- E. Renault, A. Duret‑Lutz, F. Kordon, D. Poitrenaud : “Three SCC-based Emptiness Checks for Generalized Büchi Automata”, Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13), vol. 8312, Lecture Notes in Computer Science, Stellenbosch, South Africa, pp. 668-682, (Springer) [Renault 2013b]
- D. Saidouni, M. Bouneb, J.‑M. Ilié : “Maximality Semantics for Recursive Petri Nets”, Proc. of the 27th European Conference On Modelling and Simulation (ECMS13), Alesund, Norway, pp. 544-550, (European Concil for Modeling and Simulation) [Saidouni 2013]
- L. Wouters, M.‑P. Gervais : “Notation-driven vs metamodel-driven development of domain-specific modeling languages: an empirical study”, SAC 2013 - 28th Annual ACM Symposium on Applied Computing, Coimbra, Portugal, pp. 1145-1146, (ACM) [Wouters 2013]
- Y. Zhang, B. Bérard, L. Hillah, Y. Thierry‑Mieg : “Semi-Automatic Controller Design of Java-like Models”, Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, pp. 3:1-3:7, (ACM) [Zhang 2013]
- T. Ziadi, T. Saher, S. Kchir, S. Stinckwich : “Software Product Lines for the development of Families of DSLs for Robotics”, 6ème Journée Lignes de Produits, Paris, France, pp. ldpidm-3 [Ziadi 2013]