MoVe - Conference papers

Current teams :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Former teams :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Former research topics :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publications MoVe	2015	2016	2017	2018	2019	2020	Total
Books	0	1	0	0	0	0	1
Edited books	2	2	3	2	3	0	12
Journal articles	9	12	11	5	7	5	49
Book chapters	0	2	1	1	3	0	7
Conference papers	30	18	28	19	18	13	126
Habilitations	1	2	1	0	1	0	5
Thesis	2	3	0	0	3	0	8

LIP6

É. André, F. Kordon, L. Petrucci : “Teaching formal methods: Experience at UPMC and UP13 with CosyVerif”, 25^th 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”, 20^th 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”, 6^th 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”, 14^th 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”, 8^th 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”, 26^th 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 5^th 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 8^th 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”, 1^st 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 1^st 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”, 10^th 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”, 7^th 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”, 14^th 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 19^th 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 - 10^th 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 26^th 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 29^th 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”, 10^th 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 - 16^th 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”, 9^th 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”, 29^th Symposium On Applied Computing, SAC 2014, Gyeongju, Korea, Republic of, pp. 1064-1071, (ACM) [Ziadi 2014]