Esparza, Javier;Kuperberg, Denis;Muscholl, Anca;Walukiewicz, Igor
Soundness in negotiations
Logical Methods in Computer Science ; Volume 14
2018
Issue 1 ; 1860-5974

La Torre, Salvatore;Muscholl, Anca;Walukiewicz, Igor
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
2015

Baschenis, Félix;Gauwin, Olivier;Muscholl, Anca;Puppis, Gabriele
Minimizing Resources of Sweeping and Streaming String Transducers
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
2016

Almagor, Shaull;Kuperberg, Denis;Kupferman, Orna
The Sensing Cost of Monitoring and Synthesis
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
2015

Mundhenk, Philipp;Steinhorst, Sebastian;Lukasiewycz, Martin;Fahmy, Suhaib A.;Chakraborty, Samarjit
Security analysis of automotive architectures using probabilistic model checking
Proceedings of the 52nd Annual Design Automation Conference on - DAC '15
ACM Press
2015

Rungger, Matthias;Zamani, Majid
Compositional construction of approximate abstractions
Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15
ACM Press
2015

Chang, Wanli;Roy, Debayan;Zhang, Licong;Chakraborty, Samarjit
Model-based design of resource-efficient automotive control software
Proceedings of the 35th International Conference on Computer-Aided Design - ICCAD '16
ACM Press
2016

Macedo, Nuno;Brunel, Julien;Chemouil, David;Cunha, Alcino;Kuperberg, Denis
Lightweight specification and analysis of dynamic systems with rich configurations
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016
ACM Press
2016

Roy, Debayan;Zhang, Licong;Chang, Wanli;Goswami, Dip;Chakraborty, Samarjit
Multi-Objective Co-Optimization of FlexRay-Based Distributed Control Systems
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
IEEE
2016

Yunge, Daniel;Park, Sangyoung;Kindt, Philipp;Pravadelli, Graziano;Chakraborty, Samarjit
Dynamic service synthesis and switching for medical IoT and ambient assisted living
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)
IEEE
2016