Abstract is missing.
- Formal development process of safety-critical embedded human machine interface systemsNing Ge, Arnaud Dieumegard, Eric Jenn, Bruno daAusbourg, Yamine Aït Ameur. 1-8 [doi]
- A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimationBingqing Xu, Qin Li. 1-8 [doi]
- Bisimulations for probabilistic linear lambda calculiYuxin Deng, Yuan Feng. 1-8 [doi]
- Modeling and reasoning about wireless networks: A graph-based calculus approachShichao Liu, Ying Jiang. 1-8 [doi]
- Computing behavioural distance for fuzzy transition systemsTian-Ming Bu, Hengyang Wu, Yixiang Chen. 1-7 [doi]
- Formal verification of user-level real-time property patternsNing Ge, Marc Pantel, Silvano Dal-Zilio. 1-8 [doi]
- An integrated framework for verifying multiple care pathwaysJuliana Bowles, Marco B. Caminati, S. Cha. 1-8 [doi]
- A safety and liveness theory for total reversibilityClaudio Antares Mezzina, Vasileios Koutavas. 1-8 [doi]
- Time-sensitive information flow control in timed event-BChunyan Mu, Shengchao Qin. 1-8 [doi]
- Formal methods for software testing (invited paper)Marie-Claude Gaudel. 1-3 [doi]
- VMDV: A 3D visualization tool for modeling, demonstration, and verificationJian Liu, Ying Jiang, Yanyun Chen. 1-7 [doi]
- Assembly program verification for multiprocessors with relaxed memory model using SMT solverPattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki. 1-8 [doi]
- Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron. 1-8 [doi]
- SCADE 6: A formal language for embedded critical software development (invited paper)Jean-Louis Colaço, Bruno Pagano, Marc Pouzet. 1-11 [doi]
- Formal specification of security guidelines for program certificationZeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa. 1-8 [doi]
- Optimizing backbone filteringYueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song. 1-8 [doi]
- Conditional transition systems with upgradesHarsh Beohar, Barbara König 0001, Sebastian Küpper, Alexandra Silva 0001. 1-8 [doi]
- On the semantics of temporal specifications of component-behavior for dynamic architecturesDiego Marmsoler. 1-6 [doi]
- Automatic fine-grained locking generation for shared data structuresHaiyang Liu, Tingting Hu, Zongyan Qiu. 1-8 [doi]