مقالات بحثية تمّ التفويض بإتاحتها للجميع - Julien Brunelمزيد من المعلومات
عدد المقالات البحثية غير المتاحة للجميع في أي موقع: 1
WYSIWIB: exploiting fine‐grained program structure in a scriptable API‐usage protocol‐finding process
JL Lawall, J Brunel, N Palix, RR Hansen, H Stuart, G Muller
Software: Practice and Experience 43 (1), 67-92, 2013
التفويضات: Danish Council for Technology and Innovation
عدد المقالات البحثية المتاحة للجميع في موقع ما: 13
Lightweight specification and analysis of dynamic systems with rich configurations
N Macedo, J Brunel, D Chemouil, A Cunha, D Kuperberg
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
التفويضات: Fundação para a Ciência e a Tecnologia, Portugal
The electrum analyzer: model checking relational first-order temporal specifications
J Brunel, D Chemouil, A Cunha, N Macedo
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
التفويضات: Fundação para a Ciência e a Tecnologia, Portugal
Pardinus: A temporal relational model finder
N Macedo, J Brunel, D Chemouil, A Cunha
Journal of Automated Reasoning 66 (4), 861-904, 2022
التفويضات: Fundação para a Ciência e a Tecnologia, Portugal, Agence Nationale de la …
Performing safety analyses with AADL and AltaRica
J Brunel, P Feiler, J Hugues, B Lewis, T Prosvirnova, C Seguin, L Wrage
Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017 …, 2017
التفويضات: US Department of Defense
Analyzing the fundamental liveness property of the Chord protocol
J Brunel, D Chemouil, J Tawa
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
التفويضات: Fundação para a Ciência e a Tecnologia, Portugal
Proposition of an action layer for electrum
J Brunel, D Chemouil, A Cunha, T Hujsa, N Macedo, J Tawa
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
التفويضات: Fundação para a Ciência e a Tecnologia, Portugal
A bounded domain property for an expressive fragment of first-order linear temporal logic
Q Peyras, J Brunel, D Chemouil
26th International Symposium on Temporal Representation and Reasoning (TIME …, 2019
التفويضات: Fundação para a Ciência e a Tecnologia, Portugal
Mechanically verifying the fundamental liveness property of the chord protocol
JP Bodeveix, J Brunel, D Chemouil, M Filali
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019
التفويضات: Fundação para a Ciência e a Tecnologia, Portugal, Agence Nationale de la …
A decidable and expressive fragment of many-sorted first-order linear temporal logic
Q Peyras, J Brunel, D Chemouil
Information and Computation 280, 104641, 2021
التفويضات: Fundação para a Ciência e a Tecnologia, Portugal
Adding records to Alloy
J Brunel, D Chemouil, A Cunha, N Macedo
International Conference on Rigorous State-Based Methods, 212-219, 2023
التفويضات: Fundação para a Ciência e a Tecnologia, Portugal
Verifying temporal relational models with Pardinus
J Brunel, D Chemouil, A Cunha, N Macedo
9th international conference on rigorous state-based methods, 2023
التفويضات: Fundação para a Ciência e a Tecnologia, Portugal, Agence Nationale de la …
Verifying temporal relational models with Pardinus
N Macedo, J Brunel, D Chemouil, A Cunha
International Conference on Rigorous State-Based Methods, 254-261, 2023
التفويضات: Fundação para a Ciência e a Tecnologia, Portugal, Agence Nationale de la …
Spécification légère et analyse de systèmes dynamiques munis de configurations riches
N Macedo, J Brunel, D Chemouil, A Cunha, D Kuperberg
Approches Formelles dans l'Assistance au Développement de Logiciels, 2017
التفويضات: Fundação para a Ciência e a Tecnologia, Portugal
يتم تحديد معلومات التمويل والنشر من خلال برنامج كمبيوتر تلقائيًا.