Forschungsgruppen zur Zeit : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ehemalige Forschungsgruppe : | ACASA |
Publikationen MoVe | 2023 | 2024 | Total |
---|---|---|---|
Bücher | 0 | 0 | 0 |
Bucheditionen | 0 | 0 | 0 |
Artikel in wissenschaftlichen Zeitschriften | 2 | 0 | 2 |
Buchkapitel | 0 | 0 | 0 |
Veröffentlichungen in Papierform | 7 | 1 | 8 |
Habilitationen | 0 | 0 | 0 |
Doktorarbeiten | 2 | 1 | 3 |
- B. Bérard, O. Kouchnarenko, J. Mullins, M. Sassolas : “Preserving opacity on Interval Markov Chains under simulation”, Proceedings of 13th International Workshop on Discrete Event Systems (WODES) 2016, IEEE, Xi'an, China, pp. 319-324 [Bérard 2016b]
- Th. Brihaye, M. Estiévenart, G. Geeraerts, H.‑M. Ho, B. Monmege, N. Sznajder : “Real-time Synthesis is Hard!”, Proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'16), vol. 9884, Lecture Notes in Computer Science, Québec City, Canada, pp. 105-120, (Springer) [Brihaye 2016]
- Th. Bui, M. Ziane, S. Stinckwich, T. Ho, B. Roche, N. Papoulias : “Separation of Concerns in Epidemiological Modelling”, MODULARITY Companion 2016 Companion Proceedings of the 15th International Conference on Modularity, Malaga, Spain, pp. 196-200 [Bui 2016a]
- Th. Bui, N. Papoulias, M. Ziane, S. Stinckwich : “Explicit Composition Constructs in DSLs - The case of the epidemiological language Kendrick”, IWST'16 - 11th International Workshop on Smalltalk Technologies, Prague, Czechia, pp. 20:1-20:11, (ACM) [Bui 2016b]
- A. Duret‑Lutz, F. Kordon, D. Poitrenaud, E. Renault : “Heuristics for Checking Liveness Properties with Partial Order Reductions”, Automated Technology for Verification and Analysis, vol. 9938, Lecture Notes in Computer Science, Chiba, Japan, pp. 340-356, (Springer) [Duret-Lutz 2016]
- L. Hillah, A.‑P. Maesano, L. Maesano, F. De Rosa, F. Kordon, P.‑H. Wuillemin : “Service functional testing automation with intelligent scheduling and planning”, Symposium on Applied Computing (SAC), Proceeding of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, pp. 1605-1610 [Hillah 2016]
- D. Khelladi, R. Bendraou, M.‑P. Gervais : “AD-ROOM: a tool for automatic detection of refactorings in object-oriented models”, Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume, Austin, United States, pp. 617-620, (ACM) [Khelladi 2016a]
- D. Khelladi, R. Bendraou, M.‑P. Gervais : “SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints”, Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, pp. 40-47 [Khelladi 2016b]
- D. Khelladi, R. Bendraou, M.‑P. Gervais : “Towards a User-Guided Difference-Based Detection of Atomic Changes”, Engineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on, Dubai, United Arab Emirates, pp. 211-214 [Khelladi 2016c]
- D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “Supporting the co-adaption of process properties”, Proceedings of the International Conference on Software and Systems Process, Austin, TX, United States, pp. 1-5, (ACM) [Khelladi 2016d]
- D. Khelladi, R. Hebig, R. Bendraou, J. Robin, M.‑P. Gervais : “Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL Constraints”, Proceedings on Software Reuse: Bridging with Social-Awareness - 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, }, vol. 9679, Lecture Notes in Computer Science, Limassol, Cyprus, pp. 333-349, (Springer) [Khelladi 2016f]
- L. Li, J. Martinez, T. Ziadi, T. Bissyandé, J. Klein, Y. Le Traon : “Mining families of android applications for extractive SPL adoption”, SPLC '16 - 20th International Systems and Software Product Line Conference, Beijing, China, pp. 271-275, (ACM) [Li 2016a]
- A. Linard, B. Barbot, D. Buchs, M. Colange, C. Démoulins, L. Hillah, A. Martin : “Layered Data: A Modular Formal Definition without Formalisms”, CEUR-WS.org, vol. 1591, CEUR Workshops Proceedings, Toruń, Poland, pp. 287-306 [Linard 2016]
- J. Martinez, T. Ziadi, M. Papadakis, T. Bissyandé, J. Klein, Y. Le Traon : “Feature Location Benchmark for Software Families Using Eclipse Community Releases”, 15th International Conference on Software Reuse, ICSR 2016, vol. 9679, Lecture Notes in Computer Science, Limassol, Cyprus, pp. 267-283, (Springer) [Martinez 2016a]
- J. Martinez, T. Ziadi, T. Bissyandé, J. Klein, Y. Le Traon : “Name suggestions during feature identification: the variclouds approach”, SPLC '16 - 20th International Systems and Software Product Line Conference, Beijing, China, pp. 119-123, (ACM) [Martinez 2016b]
- P. Poizat, G. Salaün, A. Krishna : “Checking Business Process Evolution”, 13th International Conference on Formal Aspects of Component Software (FACS), Besançon, France [Poizat 2016]
- Y. Thierry‑Mieg : “Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology”, Petri Nets and Software Engineering. International Workshop, PNSE'16, Proceedings, Torun, Poland [Thierry-Mieg 2016]