Equipes atuais : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Time anterior : | ACASA |
Publicações MoVe | 2023 | 2024 | Total |
---|---|---|---|
Livros | 0 | 0 | 0 |
Livros Editados | 0 | 0 | 0 |
Jornais | 3 | 1 | 4 |
Capítulos de livros | 0 | 0 | 0 |
Artigos de Conferencia | 8 | 7 | 15 |
Habilitações (Livre Docência) | 0 | 0 | 0 |
Teses | 2 | 1 | 3 |
- É. André, F. Kordon, L. Petrucci : “Teaching formal methods: Experience at UPMC and UP13 with CosyVerif”, 25th EAEEIE annual International Conference, Cesme, Turkey, pp. 25-28, (IEEE) [André 2014]
- S. Baarir, A. Duret‑Lutz : “Mechanizing the Minimization of Deterministic Generalized Büchi Automata”, Formal Techniques for Distributed Objects, Components, and Systems, vol. 8461, Lecture Notes in Computer Science, Berlin, Germany, pp. 266-283, (Springer) [Baarir 2014]
- A. Ben Salem, A. Duret‑Lutz, F. Kordon, Y. Thierry‑Mieg : “Symbolic Model Checking of stutter invariant properties Using Generalized Testing Automata”, 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, vol. 8413, Lecture Notes in Computer Science, Grenoble, France, pp. 440-454, (Springer) [Ben Salem 2014]
- M. BenabdelHafid, B. Bérard, M. Boufaïda : “Analyzing Behavioral Compatibility for Web Service Choreography Using Colored Petri Nets and ASK-CTL”, 6th International Conference on Advanced Service Computing, Venice, Italy, pp. 32-39, (Xpert Publishing Services) [BenabdelHafid 2014]
- B. Bérard, J. Mullins : “Verification of Information Flow Properties under Rational Observation”, 14th Int. Workshop on Automated Verification of Critical Systems, Enschede, Netherlands, pp. 61-75, (CTIT – Institute for ICT Research in Context, University of Twente) [Bérard 2014a]
- B. Bérard, O. Carton : “Channel Synthesis Revisited”, 8th International Conference on Languages and Automata Theory and Applications -- LATA, vol. 8370, Lecture Notes in Computer Science, Madrid, Spain, pp. 149-160, (Springer International Publishing) [Bérard 2014b]
- R. Boukharrou, Ah. Chaouche, J.‑M. Ilié, D. Saidouni : “Contextual-Timed Planning Management for Ambient Systems”, 26th IEEE International Conference on Tools with Artificial Intelligence, Limassol, Cyprus, pp. 107-114, (IEEE Computer Society) [Boukharrou 2014]
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “A Dynamical Plan Revising for Ambient Systems”, The 5th International Conference on Ambient Systems, Networks and Technologies, vol. 32, Procedia computer science, Hasselt, Belgium, pp. 37-44, (Elsevier) [Chaouche 2014a]
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “A Formal Approach for Contextual Planning Management: Application to Smart Campus Environment”, Advances in Artificial Intelligence - IBERAMIA 2014, vol. 8864, Lecture Notes in Artificial Intelligence, Santiago, Chile, pp. 791-803, (Springer) [Chaouche 2014b]
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “From Intentions to Plans: A Contextual Planning Guidance”, The 8th International Symposium on Intelligent Distributed Computing, vol. 570, Studies in Computational Intelligence, Madrid, Spain, pp. 403-413 [Chaouche 2014d]
- S. Dupuy‑Chessa, B. Combemale, M.‑P. Gervais, Th. Nodenot, X. Le Pallec, L. Wouters : “Vers une approche centrée humain pour la définition de langages de modélisation graphiques”, 32ème congrès Inforsid'2014, Lyon, France, pp. 79-94 [Dupuy-Chessa 2014]
- R. Hebig, R. Bendraou : “On the Need to Study the Impact of Model Driven Engineering on Software Processes”, International Conference on Software and Systems Process (ICSSP), Nanjing, Jiangsu, China, pp. 164-168, (ACM) [Hebig 2014a]
- R. Hebig, R. Bendraou, M. Völter, M. Chaudron : “Model-Driven Development Processes and Practices: Foundations and Research Perspectives”, 1st International Workshop on Model-Driven Development Processes and Practices, Valencia, Spain, pp. 2-6, (CEUR) [Hebig 2014b]
- M. Jaume, Th. Laurent : “Teaching formal methods and discrete mathematics”, Proceedings of the 1st Workshop on Formal Integrated Development Environment (F-IDE 2014), vol. 149, Electronic Proceedings in Theoretical Computer Science, Grenoble, France, pp. 30-43 [Jaume 2014]
- M. Kermani, M. Boufaïda, E. Paviot‑Adet : “A Model to Specify Inter-company Cooperation”, 10th International Conference on Web Information Systems and Technologies (WEBIST 2014), Barcelona, Spain, pp. 318-323 [Kermani 2014a]
- M. Kermani, M. Boufaïda, E. Paviot‑Adet : “Decision Tree and Agent-Based Approach to Specify Inter-Company Cooperation Using Offline Services Composition”, 7th International Conference of Interoperability for Enterprises Systems and applications -- I-ESA, vol. 7, Proceedings of the I-ESA Conferences, Albi, France, pp. 381-392, (Springer) [Kermani 2014b]
- F. Kordon, F. Hulin‑Hubard : “BenchKit, a Tool for Massive Concurrent Benchmarking”, 14th International Conference on Application of Concurrency to System Design (ACSD'14), Tunis, Tunisia, pp. 159-165, (IEEE Computer Society Press) [Kordon 2014]
- S. Lamprier, T. Ziadi, N. Baskiotis, L. Hillah : “Exact and Efficient Temporal Steering of Software Behavioral Model Inference”, Proc. of 19th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Tianjin, China, pp. 166-175, (IEEE) [Lamprier 2014]
- Y. Laurent, R. Bendraou, S. Baarir, M.‑P. Gervais : “Alloy4SPV : A Formal Framework for Software Process Verification”, ECMFA 2014 - 10th European Conference on Modelling Foundations and Applications, vol. 8569, Lecture Notes in Computer Science, York, United Kingdom, pp. 83-100, (Springer) [Laurent 2014a]
- Y. Laurent, R. Bendraou, S. Baarir, M.‑P. Gervais : “Formalization of fUML: An Application to Process Verification”, CAiSE 2014 - The 26th International Conference on Advanced Information Systems Engineering, vol. 8484, Lecture Notes in Computer Science, Thessaloniki, Greece, pp. 347-363, (Springer) [Laurent 2014b]
- Y. Laurent, R. Bendraou, S. Baarir, M.‑P. Gervais : “Planning for Declarative Processes”, SAC'14 - The 29th Annual ACM Symposium on Applied Computing, Gyeongju, Korea, Republic of, pp. 1126-1133, (ACM) [Laurent 2014c]
- J. Martinez, T. Ziadi, J. Klein, Y. Le Traon : “Identifying and Visualising Commonality and Variability in Model Variants”, 10th European Conference on Modelling Foundations and Applications, vol. 8569, Lecture Notes in Computer Science, York, United Kingdom, pp. 117-131, (Springer) [Martinez 2014a]
- J. Martinez, T. Ziadi, R. Mazo, Tegawendé F. Bissyandé, J. Klein, Y. Le Traon : “Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines”, IEEE Working Conference on Software Visualization (VISSOFT 2014), Victoria, Canada, pp. 50-59 [Martinez 2014b]
- L. Millet, M. Potop‑Butucaru, N. Sznajder, S. Tixeuil : “On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering”, SSS 2014 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems, vol. 8756, Lecture Notes in Computer Science, Paderborn, Germany, pp. 237-251, (Springer) [Millet 2014]
- A. Yessad, I. Mounier, J.‑M. Labat, F. Kordon, Th. Carron : “Have you found the error? A Formal Framework for Learning Game Verification”, 9th European Conference on Technology Enhanced Learning, vol. 8719, Lecture Notes in Computer Science, Graz, Austria, pp. 476-481, (Springer) [Yessad 2014a]
- T. Ziadi, Ch. Henard, M. Papadakis, M. Ziane, Y. Le Traon : “Towards a Language-Independent Approach for Reverse-Engineering of Software Product Lines”, 29th Symposium On Applied Computing, SAC 2014, Gyeongju, Korea, Republic of, pp. 1064-1071, (ACM) [Ziadi 2014]