Model checking Program generation Model engineering Modeling Petri nets
二 guests 12个月以来
Anissa KHEIREDDINE, Ahmed Chawki CHAOUCHE.
Selected publications
B. Barbot, B. Bérard, Y. Duplouy, S. Haddad : “Integrating Simulink Models into the Model Checker Cosmos” Application and Theory of Petri Nets and Concurrency - Petri Nets 2018, vol. 10877, Lecture Notes in Computer Sciences, Bratislava, Slovakia, pp. 363-373, (Springer)[Barbot 2018b]
R. Bendraou, B. Combemale, X. Crégut, M.‑P. Gervais : “Definition of an eXecutable SPEM 2.0” 14th Asia-Pacific Software Engineering Conference (APSEC), Nagoya, Japan, pp. 390-397, (IEEE Computer Society)[Bendraou 2007a]
B. Bérard, B. Bollig, P. Bouyer, M. Függer, N. Sznajder : “Synthesis in presence of dynamic links” Information and Computation, vol. 289 (Part B), pp. 104856, (Elsevier)[Bérard 2022a]
B. Bérard, S. Haar, L. Hélouët : “Hyper Partial Order Logic” 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, vol. 122, Leibniz International Proceedings in Informatics (LIPIcs), Ahmedabad, India, pp. 20:1-20:21, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik)[Bérard 2018c]
B. Bérard, L. Hélouët, J. Mullins : “Non-interference in partial order models” ACM Transactions on Embedded Computing Systems (TECS), vol. 16 (2), Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2015, pp. 44:1-44:34, (ACM)[Bérard 2017a]
B. Bérard, O. Kouchnarenko, J. Mullins, M. Sassolas : “Opacity for linear constraint Markov chains” Discrete Event Dynamic Systems, vol. 28 (1), pp. 83-108, (Springer Verlag)[Bérard 2018a]
B. Bollig, M. Lehaut, N. Sznajder : “Round-Bounded Control of Parameterized Systems” 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), vol. 11138, Proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Los Angeles, California, United States, pp. 370-386, (Springer)[Bollig 2018]
S. Houhou, S. Baarir, P. Poizat, Ph. Quéinnec : “A Direct Formal Semantics for BPMN Time-Related Constructs” ENASE 2021 - 16th International Conference on Evaluation of Novel Approaches to Software Engineering, online, Czechia, pp. 138-149[Houhou 2021]
M. Kerdoudi, T. Ziadi, Ch. Tibermacine, S. Sadou : “Recovering Software Architecture Product Lines” ICECCS 2019 - 24th International Conference on Engineering of Complex Computer Systems, Nansha, Guangzhou, China, pp. 226-235, (IEEE)[Kerdoudi 2019b]
J. Martinez, N. Ordoñez, Xh. Tërnava, T. Ziadi, J. Aponte, E. Figueiredo, M. Valente : “Feature Location Benchmark with ArgoUML SPL” Systems and Software Product Line Conference (SPLC), Gothenburg, Sweden[Martinez 2018b]
S. Pinchinat, B. Fila, F. Wacheux, Y. Thierry‑Mieg : “Attack Trees: A Notion of Missing Attacks” GraMSec 2019 - 6th International Workshop on Graphical Models for Security, vol. 11720, Lecture Notes in Computer Science, Hoboken, NJ, United States, pp. 23-49[Pinchinat 2019]
N. Sznajder, B. Bérard, B. Bollig, M. Lehaut : “Parameterized Synthesis for Fragments of First-Order Logic over Data Words” Proceedings of the 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'20), vol. 12077, Lecture Notes in Computer Science, Dublin, Ireland, pp. 97-118, (Springer)[Sznajder 2020]
V. Vallade, L. Le Frioux, S. Baarir, J. Sopena, V. Ganesh, F. Kordon : “Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving” SAT 2020 - 23rd International Conference on Theory and Applications of Satisfiability Testing, vol. 12178, Lecture Notes in Computer Science, Alghero / Virtual, Italy, pp. 11-27[vallade 2020b]
H. Xu, S. Baarir, T. Ziadi, L. Hillah, S. Essodaigui, Y. Bossu : “Optimisation for the product configuration system of Renault: towards an integration of symmetries” 25th ACM International Systems and Software Product Line Conference - Volume B, vol. B, SPLC '21: Proceedings of the 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, pp. 86-90, (ACM)[Xu 2021]