default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th TASE 2017: Sophia Antipolis, France
- Frédéric Mallet, Min Zhang, Eric Madelaine:
11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-1924-7 - Marie-Claude Gaudel:
Formal methods for software testing (invited paper). 1-3 - Jean-Louis Colaço, Bruno Pagano, Marc Pouzet:
SCADE 6: A formal language for embedded critical software development (invited paper). 1-11 - Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva:
Conditional transition systems with upgrades. 1-8 - Yuxin Deng, Yuan Feng
:
Bisimulations for probabilistic linear lambda calculi. 1-8 - Tian-Ming Bu, Hengyang Wu, Yixiang Chen:
Computing behavioural distance for fuzzy transition systems. 1-7 - Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song:
Optimizing backbone filtering. 1-8 - Juliana Bowles, Marco B. Caminati, Suhyun Cha:
An integrated framework for verifying multiple care pathways. 1-8 - Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki:
Assembly program verification for multiprocessors with relaxed memory model using SMT solver. 1-8 - Ning Ge, Marc Pantel, Silvano Dal-Zilio:
Formal verification of user-level real-time property patterns. 1-8 - Chunyan Mu, Shengchao Qin:
Time-sensitive information flow control in timed event-B. 1-8 - Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron:
Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? 1-8 - Haiyang Liu, Tingting Hu, Zongyan Qiu:
Automatic fine-grained locking generation for shared data structures. 1-8 - Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa:
Formal specification of security guidelines for program certification. 1-8 - Claudio Antares Mezzina, Vasileios Koutavas:
A safety and liveness theory for total reversibility. 1-8 - Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine Aït Ameur:
Formal development process of safety-critical embedded human machine interface systems. 1-8 - Bingqing Xu, Qin Li:
A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation. 1-8 - Diego Marmsoler:
On the semantics of temporal specifications of component-behavior for dynamic architectures. 1-6 - Shichao Liu, Ying Jiang:
Modeling and reasoning about wireless networks: A graph-based calculus approach. 1-8 - Jian Liu, Ying Jiang, Yanyun Chen:
VMDV: A 3D visualization tool for modeling, demonstration, and verification. 1-7
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-04 11:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
