Equipes atuais : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Time anterior : | ACASA |
Publicações MoVe | 2023 | 2024 | Total |
---|---|---|---|
Livros | 0 | 0 | 0 |
Livros Editados | 0 | 0 | 0 |
Jornais | 2 | 0 | 2 |
Capítulos de livros | 0 | 0 | 0 |
Artigos de Conferencia | 7 | 1 | 8 |
Habilitações (Livre Docência) | 0 | 0 | 0 |
Teses | 2 | 1 | 3 |
- S. Baarir, F. Kordon : “Modeling and Verifying Distributed Systems with Petri Nets (tutorial)”, 2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), Constantine, Algeria, pp. 92-92, (IEEE Press) [Baarir 2012]
- Y. Ben Maïssa, F. Kordon, S. Mouline, Y. Thierry‑Mieg : “Modeling and Analyzing Wireless Sensor Networks with VeriSensor”, Petri Net and Software Engineering (PNSE), vol. 851, CEUR Workshop Proceedings, Hamburg, Germany, pp. 60-76 [Ben Maïssa 2012]
- R. Bendraou, M. Almeida Da Silva, M.‑P. Gervais, X. Blanc : “Support for deviation detections in the context of multi-viewpoint-based development processes”, CAiSE'12 Forum at the 24th International Conference on Advanced Information Systems Engineering, vol. 855, Gdansk, Poland, pp. 23-31, (CEUR) [Bendraou 2012b]
- B. Bérard, S. Haddad, M. Sassolas, N. Sznajder : “Concurrent Games on VASS with Inhibition”, 23rd International Conference on Concurrency Theory (CONCUR'12), vol. 7454, Lecture Notes in Computer Science, Newcastle upon Tyne, United Kingdom, pp. 39-52, (Springer) [Bérard 2012b]
- M. Colange, F. Kordon, Y. Thierry‑Mieg, S. Baarir : “State Space Analysis using Symmetries on Decision Diagrams”, 12th International Conference on Application of Concurrency to System Design (ACSD'2012), Hamburg, Germany, pp. 164-172, (IEEE Computer Society) [Colange 2012a]
- M. Colange, L. Hillah, F. Kordon, P. Parutto : “Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented Approach”, Development, Operation and Management of Large-Scale Complex IT Systems, 17th Monterey Workshop, Revised Selected Papers, vol. 7539, Lecture Notes in Computer Science, Oxford, United Kingdom, pp. 330-352, (Springer) [Colange 2012b]
- S. Dhouib, S. Kchir, S. Stinckwich, T. Ziadi, M. Ziane : “RobotML, a Domain-Specific Language to Design, Simulate and Deploy Robotic Applications”, Third international conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR'12), vol. 7628, Lecture Notes In Computer Science, Tsukuba, Japan, pp. 149-160, (Springer-Verlag) [Dhouib 2012]
- A. Farid, D. Saidouni, J.‑M. Ilié : “A Model for Job-Shop Problem”, IEEE International Conference on Information Technology and e-Services (ICITeS 2012), Sousse, Tunisia, pp. 640-645, (IEEE) [Farid 2012]
- F. Kordon, B. Bérard, Y. Thierry‑Mieg, Y. Ben Maïssa : “Hierarchy is Good For Discrete Time: a Compositional Approach to Discrete Time Verification”, Dagstuhl seminar "Architecture-Driven Semantic Analysis of Embedded Systems", Dagstuhl, Germany, pp. 38-39 [Kordon 2012b]
- K. Marcal de Oliveira, V. Thion, S. Dupuy‑Chessa, M.‑P. Gervais, S. Si‑Said Cherfi, Ch. Kolski : “Limites de l'évaluation d'un système d'information : une analyse fondée sur l'expérience pratique”, 30ème Conférence INFormatique des ORganisations et Systèmes d'Information et de Décision (INFORSID), Montpellier, France, pp. 395-410 [Marcal de Oliveira 2012]
- L. Millet, M. Lorrillere, L. Arantes, S. Gançarski, H. Naacke, J. Sopena : “Facing peak loads in a P2P transaction system”, Proceedings of the First Workshop on P2P and Dependability (P2PDEP'12), P2P-Dep '12, Sibiu, Romania, pp. 1-7, (ACM) [Millet 2012]
- D. Saidouni, Ah. Chaouche, J.‑M. Ilié : “On the Fly PSO Inspired Algorithm For Graph Distribution”, 2nd International Symposium on Modelling and Implementation of Complex Systems, vol. 21, Procedia Computer Science, Constantine, Algeria, pp. 156-163 [Saidouni 2012]
- N. Sznajder : “Fair Synthesis of Asynchronous Distributed Systems”, Software Synthesis (Dagstuhl Seminar 12152), vol. 2 (4), Dagstuhl, Germany, pp. 33, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) [Sznajder 2012]
- L. Wouters, M.‑P. Gervais : “Ontology Transformations”, Proceedings of the 16th IEEE International Enterprise Distributed Object Computing Conference, Beijing, China, pp. 71-80 [Wouters 2012]
- T. Ziadi, L. Frias, M. Almeida Da Silva, M. Ziane : “Feature Identification from the Source Code of Product Variants”, 16th European Conference on Software Maintenance and Reengineering (CSMR), Szeged, Hungary, pp. 417-422, (IEEE Computer Science) [Ziadi 2012]