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]
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 : “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]
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]
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]
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]
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]