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 |
- M. Almeida Da Silva, R. Bendraou, J. Robin, X. Blanc : “Flexible Deviation Handling during Software Process Enactment”, 15th IEEE Workshops on International Enterprise Distributed Object Computing Conference (EDOCW), Helsinki, Finland, pp. 34-41, (IEEE) [Almeida Da Silva 2011a]
- M. Almeida Da Silva, X. Blanc, R. Bendraou : “Deviation Management during Process Execution”, 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lawrence, Kan, United States, pp. 528-531, (ACM) [Almeida Da Silva 2011b]
- A. Ben Salem, A. Duret‑Lutz, F. Kordon : “{Generalized Büchi Automata versus Testing Automata for Model Checking}”, 2nd workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo 2011), vol. 726, CEUR-WS, Newcastle, United Kingdom, pp. 65-79, (CEUR) [Ben Salem 2011]
- G. Benattar, B. Bérard, D. Lime, J. Mullins, O. Roux, M. Sassolas : “Channel Synthesis for Finite Transducers”, AFL 2011 - 13th International Conference on Automata and Formal Languages, Debrecen, Hungary, pp. 79-92 [Benattar 2011a]
- M. Colange, S. Baarir, F. Kordon, Y. Thierry‑Mieg : “Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag”, 32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), vol. 6709, Lecture Notes in Computer Science, Newcastle, United Kingdom, pp. 338-347, (Springer) [Colange 2011]
- J.‑M. Couvreur, D. Poitrenaud, P. Weil : “Branching Processes of General Petri Nets”, Petri Nets 2011 - 32nd International Conference on Petri Nets and Other Models of Concurrency, vol. 6709, Lecture Notes in Computer Science, Newcastle, United Kingdom, pp. 129-148, (Springer) [Couvreur 2011]
- S. Ductor, Z. Guessoum, M. Ziane : “Adaptive Replication of Fault-Tolerant Multi-Agent Systems”, 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, vol. 2, Lyon, France, pp. 304-307, (IEEE Computer Society Press) [Ductor 2011]
- A. Duret‑Lutz, K. Klai, D. Poitrenaud, Y. Thierry‑Mieg : “Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking”, 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11), vol. 6996, Lecture Notes in Computer Science, Taipei, Taiwan, Province of China, pp. 336-350, (Springer) [Duret-Lutz 2011]
- X. Dutreilh, S. Kirgizov, O. Melekhova, J. Malenfant, N. Rivierre, I. Truck : “Using Reinforcement Learning for Autonomic Resource Allocation in Clouds: towards a fully automated workflow”, 7th International Conference on Autonomic and Autonomous Systems (ICAS’2011), Venice, Italy, pp. 67-74 [Dutreilh 2011]
- G. Geeraerts, J.‑F. Raskin, N. Sznajder : “Event Clock Automata : From Theory to Practice”, FORMATS 2011 - 9th International Conference on Formal Modelling and Analysis of Timed Systems, vol. 6919, Lecture Notes in Computer Science, Aalborg, Denmark, pp. 209-224, (Springer) [Geeraerts 2011]
- A. Gonçalves, M. Almeida Da Silva, P. Deransart, J. Robin : “Towards a Generic Trace for Rule Based Constraint Reasoning”, 8th Workshop on Constraint Handling Rules (CHR), Cairo, Egypt, pp. 32-47 [Gonçalves 2011]
- M. Gouyette, O. Barais, J. Le Noir, C. Brun, M. Almeida Da Silva, X. Blanc, D. Exertier, J.‑M. Jézéquel : “Movida studio: a modeling environment to create viewpoints and manage variability in views”, Journées sur l'Ingénierie Dirigée par les Modèles IDM 2011 Lille, 7-8 juin 2011, vol. 1, Lille, France, pp. 141-145, (service reprographie de Polytech, Université Lille I) [Gouyette 2011]
- L. Hillah, F. Kordon, Ch. Lakos, L. Petrucci : “{Extending PNML Scope: the Prioritised Petri Nets Experience}”, Petri Net and Software Engineering (PNSE 2011), vol. 723, CEUR-WS, Newcastle, United Kingdom, pp. 92-106, (CEUR) [Hillah 2011]
- J. Le Noir, O. Delande, D. Exertier, M. Almeida Da Silva, X. Blanc : “Operation Based Model Representation: Experiences on Inconsistency Detection”, ECMFA 2011 - 7th European Conference on Modelling Foundations and Applications, vol. 6698, Lecture Notes in Computer Science, Birmingham, United Kingdom, pp. 85-96, (Springer) [Le Noir 2011]
- J. Michaux, X. Blanc, P. Sutra, M. Shapiro : “A Semantically Rich Approach for Collaborative Model Edition”, Symp. on Applied Computing (SAC), vol. 26, Taichung, Taiwan, Province of China, pp. 1470-1475, (Assoc. for Computing Machinery) [Michaux 2011]
- Y. Thierry‑Mieg, B. Bérard, F. Kordon, D. Lime, O. Roux : “{Compositional Analysis of Discrete Time Petri nets}”, 1st workshop on Petri Nets Compositions (CompoNet 2011), vol. 726, CEUR-WS, Newcastle, United Kingdom, pp. 17-31, (CEUR) [Thierry-Mieg 2011]
- L. Wouters, M.‑P. Gervais : “xOWL an Executable Modeling Language for Domain Experts”, Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, Helsinki, Finland, pp. 215-224 [Wouters 2011]
- Y. Zhang, B. Bérard, L. Hillah, F. Kordon, Y. Thierry‑Mieg : “Modeling complex systems with VeriJ”, 5th Verification and Evaluation of Computer and Communication System (VECOS), Tunis, Tunisia, pp. 34-45, (British Informatics Society Ltd) [Zhang 2011a]
- T. Ziadi, M. Almeida Da Silva, L. Hillah, M. Ziane : “A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams”, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, Las Vegas, United States, pp. 107-116, (IEEE) [Ziadi 2011]