Conferences in DBLP
(tase) Patrick Cousot , Radhia Cousot , Jérôme Feret , Antoine Miné , Laurent Mauborgne , David Monniaux , Xavier Rival Varieties of Static Analyzers: A Comparison with ASTREE. [Citation Graph (0, 0)][DBLP ] Conf ] Jeannette M. Wing Software Security. [Citation Graph (0, 0)][DBLP ] Conf ] Mathai Joseph Abstractions for Real Real-time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Edd Turner , Michael Leuschel , Corinna Spermann , Michael Butler Symmetry Reduced Model Checking for B. [Citation Graph (0, 0)][DBLP ] Conf ] Jinzhao Wu , Lin Zhao Multi-Valued Model Checking via Groebner Basis Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Ansgar Fehnker , Ralf Huuck , Patrick Jayet , Michel Lussenburg , Felix Rauch Model Checking Software at Compile Time. [Citation Graph (0, 0)][DBLP ] Conf ] Zhiming Chang , XinJun Mao , Zhichang Qi An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Zuliani A Formal Derivation of Grover's Quantum Search Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Fei Xu , Li Zhang Unified Modeling and Analysis based on Petri nets and Pi calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Cong-Cong Xing An Object Type Graph System. [Citation Graph (0, 0)][DBLP ] Conf ] Jiancheng Ni , Zhishu Li , Jirong Sun , Jianchuan Xing Self-adaptive Intrusion Detection System for Computational Grid. [Citation Graph (0, 0)][DBLP ] Conf ] Maria João Frade , Ando Saabas , Tarmo Uustalu Foundational certification of data-flow analyses. [Citation Graph (0, 0)][DBLP ] Conf ] Yu Guo , Xinyu Jiang , Yiyun Chen , Chunxiao Lin A Certified Thread Library for Multithreaded User Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Yiyun Chen , Lin Ge , Baojian Hua , Zhaopeng Li , Cheng Liu Design of a Certifying Compiler Supporting Proof of Program Safety. [Citation Graph (0, 0)][DBLP ] Conf ] X. W. Huang , L. Jiao , W. M. Lu A Semantic Preorder on Refinement and Fairness. [Citation Graph (0, 0)][DBLP ] Conf ] Mercedes G. Merayo , Manuel Núñez , Ismael Rodríguez Generation of optimal finite test suites for timed systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Aiguier , Delphine Longuet Test Selection Criteria for Modal Specifications of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jiacun Wang , William M. Tepfenhart , Daniela Rosca , Anni Tsai Resource-Constrained Workflow Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Yunni Xia , Hanpin Wang , Yu Huang , Wanling Qu Queuing analysis and performance evaluation of workflow through WFQN. [Citation Graph (0, 0)][DBLP ] Conf ] Fei Xu , Zhiwei Yu A Workflow Verification Method Based on Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Förster , Gregor Engels , Tim Schattkowsky , Ragnhild Van Der Straeten Verification of Business Process Quality Constraints Based on Visual Process Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Fei Pu , Wenhui Zhang Partition Refinement in Abstract Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Cyrille Artho , Christian Sommer 0002 , Shinichi Honiden Model Checking Networked Programs in the Presence of Transmission Failures. [Citation Graph (0, 0)][DBLP ] Conf ] Naiyong Jin , Chengjie Shen Dynamic Verifying The Properties of The Simple Subset of PSL. [Citation Graph (0, 0)][DBLP ] Conf ] Donghuo Chen , Guangquan Zhang , Jinzhao Wu QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yongtao Ma , Zhenhua Duan , Xiaobing Wang , Xiaoxiao Yang An Interpreter for Framed Tempura and Its Application. [Citation Graph (0, 0)][DBLP ] Conf ] Lingzhong Zhao , Tianlong Gu , Junyan Qian Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Howard Barringer , David E. Rydeheard , Dov M. Gabbay A Logical Framework for Monitoring and Evolving Software Components. [Citation Graph (0, 0)][DBLP ] Conf ] Jing Dong , Tu Peng , Zongyan Qiu Commutability of Design Pattern Instantiation and Integration. [Citation Graph (0, 0)][DBLP ] Conf ] Hung Ledang , Dang Van Hung Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Pizka , Elmar Juergens Automating Language Evolution. [Citation Graph (0, 0)][DBLP ] Conf ] Franck Cassez , Stavros Tripakis , Karine Altisen Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Chunxiao Lin , Andrew McCreight , Zhong Shao , Yiyun Chen , Yu Guo Foundational Typed Assembly Language with Certified Garbage Collection. [Citation Graph (0, 0)][DBLP ] Conf ] Yanyan Xu , Wei Chen , Liang Xu , Wenhui Zhang Evaluation of SAT-based Bounded Model Checking of ACTL Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Hongwei Zeng , Huaikou Miao , Jing Liu Specification-based Test Generation and Optimization Using Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Viliam Holub , Petr Tuma Streaming State Space: A Method of Distributed Model Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Phan C. Vinh , Jonathan P. Bowen A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Hai H. Wang , Shengchao Qin , Jun Sun , Jin Song Dong Realizing Live Sequence Charts in SystemVerilog. [Citation Graph (0, 0)][DBLP ] Conf ] Sun Meng QCCS: A Formal Model to Enforce QoS Requirements in Service Composition. [Citation Graph (0, 0)][DBLP ] Conf ] Yifeng Sun , David Levy A Software Process for Modeling Complex Systems with UML-RT. [Citation Graph (0, 0)][DBLP ] Conf ] Ingo Feinerer , Gernot Salzer Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Tun Lu , Ning Gu Survivability-Aware Configuration Management of Service-Oriented System Based on Service Dependency. [Citation Graph (0, 0)][DBLP ] Conf ] Shengyuan Wang , Yuan Dong Improving Combinability of Petri Nets with Inheritance, Aggregation and Association. [Citation Graph (0, 0)][DBLP ] Conf ] Jeff W. Sanders , Matteo Turilli Dynamics of Control. [Citation Graph (0, 0)][DBLP ] Conf ] Jianmin Jiang , Jinzhao Wu , Hongping Shu Symmetry in Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Grazia Buscemi , Laura Ferrari , Corrado Moiso , Ugo Montanari Constraint-Based Policy Negotiation and Enforcement for Telco Services. [Citation Graph (0, 0)][DBLP ] Conf ] Jing Li , Huibiao Zhu , Geguang Pu Conformance Validation between Choreography and Orchestration. [Citation Graph (0, 0)][DBLP ] Conf ] Wen-jun Li , Xiao-jun Liang , Hua-mei Song , Xiao-cong Zhou QoS-Driven Service Composition Modeling with Extended Hierarchical CPN. [Citation Graph (0, 0)][DBLP ] Conf ] 