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

S. Baarir, C. Braunstein, R. Clavel, E. Encrenaz, J.‑M. Ilié, R. Leveugle, I. Mounier, L. Pierre, D. Poitrenaud : “Complementary formal approaches for dependability analysis”, The 24^th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, Chicago, Illinois, United States, pp. 331-339, (IEEE Computer Society) [Baarir 2009a]
S. Baarir, M. Beccuti, C. Dutheillet, G. Franceschinis : “From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets”, Proc. 4^th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), Pisa, Italy, pp. 43:1-43:10, (ICST) [Baarir 2009b]
G. Benattar, B. Bérard, D. Lime, J. Mullins, O. Roux, M. Sassolas : “Covert Channels with Transducers”, Proceedings of the LICS Workshop on Foundations of Computer Security (FCS'09), Los Angeles, California, United States [Benattar 2009]
R. Bendraou, J.‑M. Jézéquel, F. Fleurey : “Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Simulation”, ICSP 2009 - International Conference on Software Process, vol. 5543, Lecture Notes in Computer Science, Vancouver, Canada, pp. 148-160, (Springer) [Bendraou 2009]
B. Bérard, S. Haddad : “Interrupt Timed Automata”, Proceedings of the 12^th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'09), vol. 5504, Lecture Notes in Computer Science, York, United Kingdom, pp. 197-211, (Springer) [Bérard 2009b]
O. Bertrand, A. Calonne, Ch. Choppy, S. Hong, K. Klai, F. Kordon, Y. Okuji, E. Paviot‑Adet, L. Petrucci, J.‑P. Smets : “Verification of large-scale distributed database systems in the NEOPPOD project”, Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, Paris, France, pp. 315-316 [Bertrand 2009]
X. Blanc, A. Mougenot, I. Mounier, T. Mens : “Incremental Detection of Model Inconsistencies based on Model Operations”, 21^st International Conference on Advanced Information Systems Engineering (CAiSE'09), vol. 5565, Lecture Notes in Computer Science, Amsterdam, Netherlands, pp. 32-46, (Springer) [Blanc 2009]
G. Ciardo, G. Mecham, E. Paviot‑Adet, M. Wan : “P-Semiflow Computation with Decision Diagrams”, Proceedings of the 30^th International Conference on Applications and Theory of Petri Nets, vol. 5606, Lecture Notes in Computer Science, Paris, France, pp. 143-162, (Springer) [Ciardo 2009]
D. Dahmani, J.‑M. Ilié, M. Ioualalen : “Reachabilty Analysis For Recursive Petri Nets With Shared Places”, International Workshop on Abstractions for Petri nets Analysis and Other Models of Concurrency (APNOC'2009), in conjunction with the 30^th Int. Conf. on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2009), Paris, France, pp. 65-79, (P13) [Dahmani 2009]
S. Ductor, Z. Guessoum, M. Ziane : “Gestion des ressources et réplication adaptative pour fiabiliser les SMA”, Rencontre des Jeunes Chercheurs en Intelligence Artificielle, Hammamet, Tunisia, pp. 47-62 [Ductor 2009a]
S. Ductor, Z. Guessoum, M. Ziane : “Resource Management and Adaptive Replication for Fault-Tolerant MAS”, Fourth International Workshop on Massively Multi-Agent Systems, Budapest, Hungary, pp. 63-77, (Springer) [Ductor 2009b]
A. Duret‑Lutz, D. Poitrenaud, J.‑M. Couvreur : “On-the-fly Emptiness Check of Transition-Based Streett Automata”, 7^th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, vol. 5799, Lecture Notes in Computer Science, Macao, China, pp. 213-227, (Springer) [Duret-Lutz 2009]
S. Haddad, F. Kordon, L. Petrucci, J.‑F. Pradat‑Peyre, N. Trèves : “Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains”, Proceedings of the 28^th American Control Conference (ACC'09), Saint Louis, MO, United States, pp. 5018-5025, (IEEE) [Haddad 2009a]
C. KAISER, J.‑F. Pradat‑Peyre : “Weak Fairness Semantic Drawbacks in Java Multithreading”, 14^th International Conference on Reliable Software Technologies, vol. 5570, Lecture Notes in Computer Science, Brest, France, pp. 90-104, (Springer Verlag) [KAISER 2009]
F. Kordon : “Model Driven Enginering versus Organic Computing, two complementary approaches”, 12^th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09) -- panel paper, Tokyo, Japan, pp. 99-100, (IEEE Computer Society) [Kordon 2009a]
A. Lajmi, S. Cauvin, M. Ziane : “A software factory for the generation of CAPE-OPEN compliant Process Modelling Components”, 10^th International Symposium on Process Systems Engineering, vol. 27, Computer Aided Chemical Engineering, Salvador, Bahia, Brazil, pp. 207-212, (Elsevier) [Lajmi 2009]
B. Le Duc, P. Châtel, N. Rivierre, J. Malenfant, Ph. Collet, I. Truck : “Non-functional Data Collection for Adaptive Business Processes and Decision Making”, 4^th International Workshop on Middleware for Service Oriented Computing (MW4SOC'09), Urbana Champaign, IL, United States, pp. 7-12, (ACM) [Le Duc 2009]
A. Moreau, J. Malenfant, M. Dao : “Data Flow Repair in Web Service Orchestration at Runtime”, The Fourth International Conference on Internet and Web Applications and Services, ICIW 2009, Venise, Italy, pp. 43-48, (IEEE) [Moreau 2009]
A. Mougenot, A. Darrasse, X. Blanc, M. Soria : “Uniform random generation of huge metamodel instances”, Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009), Enschede, Netherlands, pp. 130-145 [Mougenot 2009a]
A. Mougenot, X. Blanc, M.‑P. Gervais : “D-Praxis: A Peer-to-Peer Collaborative Model Editing Framework”, 9^th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS'09), vol. 5523, Lecture Notes in Computer Science, Lisbonne, Portugal, pp. 16-29, (Springer) [Mougenot 2009b]
C. Parra, X. Blanc, L. Duchien : “Context Awareness for Dynamic Service-Oriented Product Lines”, SPLC 2009 Proceedings of the 13^th International Software Product Line Conference, vol. 1, San Francisco, United States, pp. 131-140 [Parra 2009]
X. Renault, F. Kordon, J. Hugues : “Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri Nets”, Proceedings of the 20^th International Workshop on Rapid System Prototyping, Paris, France, pp. 26-33, (IEEE) [Renault 2009a]
X. Renault, F. Kordon, J. Hugues : “From AADL architectural models to Petri Nets: Checking model viability”, 12^th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Tokyo, Japan, pp. 313-320, (IEEE Computer Society) [Renault 2009b]
Y. Thierry‑Mieg, D. Poitrenaud, A. Hamez, F. Kordon : “Hierarchical Set Decision Diagrams and Regular Models”, 15^th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), vol. 5505, Lecture Notes in Computer Science, York, United Kingdom, pp. 1-15, (Springer) [Thierry-Mieg 2009]
N. Trèves, L. Hillah, F. Kordon, L. Petrucci : “A primer on the Petri Net Markup Language and ISO/IEC 15909-2”, 10^th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN'09), Aarhus, Denmark, pp. 19 [Trèves 2009]
T. Ziadi, X. Blanc, A. Raji : “From Requirements to Code Revisited”, 12^th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Tokyo, Japan, pp. 228-235 [Ziadi 2009]