Conferences in DBLP
Ittai Balaban , Amir Pnueli , Lenore D. Zuck Ranking Abstraction as Companion to Predicate Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Constance L. Heitmeyer Developing High Quality Software with Formal Methods: What Else Is Needed? [Citation Graph (0, 0)][DBLP ] Conf ] Teruo Higashino , Hirozumi Yamaguchi A Testing Architecture for Designing High-Reliable MANET Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Strubbe , Rom Langerak A Composition Operator for Systems with Active and Passive Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Youcef Hammal A Formal Semantics of UML StateCharts by Means of Timed Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Benedikt Bollig , Martin Leucker A Hierarchy of Implementable MSC Languages. [Citation Graph (0, 0)][DBLP ] Conf ] A. Prasad Sistla , Min Zhou Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Dezhuang Zhang , Rance Cleaveland Fast Generic Model-Checking for Data-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Lijun Zhang , Holger Hermanns , David N. Jansen Logic and Model Checking for Hidden Markov Models. [Citation Graph (0, 0)][DBLP ] Conf ] Bow-Yaw Wang Proving forall-µ-Calculus Properties with SAT-Based Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Oskar Wibling , Joachim Parrow , Arnold Neville Pears Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Somsak Vanit-Anunchai , Jonathan Billington , Tul Kongprakaiwoot Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] César Sánchez , Henny B. Sipma , Venkita Subramonian , Christopher D. Gill , Zohar Manna Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Lakos A Petri Net View of Mobility. [Citation Graph (0, 0)][DBLP ] Conf ] Kais Klai , Serge Haddad , Jean-Michel Ilié Modular Verification of Petri Nets Properties: A Structure-Based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Rita Dorofeeva , Khaled El-Fakih , Nina Yevtushenko An Improved Conformance Testing Method. [Citation Graph (0, 0)][DBLP ] Conf ] Jessica Chen , Robert M. Hierons , Hasan Ural Resolving Observability Problems in Distributed Test Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Chi-Lan Chang , Yun-Peng Chiu , Chin-Laung Lei Automatic Generation of Conflict-Free IPsec Policies. [Citation Graph (0, 0)][DBLP ] Conf ] Gerrit Rothmaier , Heiko Krumm A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Junyan Qian , Baowen Xu Model Checking for Timed Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Kairong Qian , Albert Nymeyer , Steven Susanto Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Pao-Ann Hsiung , Yen-Hung Lin Modeling and Verification of Safety-Critical Systems Using Safecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen Helke , Florian Kammüller Structure Preserving Data Abstractions for Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Astrid Kiehn , S. Arun-Kumar Amortised Bisimulations. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Ciaffaglione , Matthew Hennessy , Julian Rathke Proof Methodologies for Behavioural Equivalence in DPI. [Citation Graph (0, 0)][DBLP ] Conf ] Naijun Zhan , Mila E. Majster-Cederbaum Deriving Non-determinism from Conjunction and Disjunction. [Citation Graph (0, 0)][DBLP ] Conf ] Jameleddine Hassine , Juergen Rilling , Rachida Dssouli Abstract Operational Semantics for Use Case Maps. [Citation Graph (0, 0)][DBLP ] Conf ] Matteo Pradella , Matteo Rossi , Dino Mandrioli ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Bassel Daou , Gregor von Bochmann Submodule Construction for Extended State Machine Models. [Citation Graph (0, 0)][DBLP ] Conf ] Abdessamad Imine , Pascal Molli , Gérald Oster , Michaël Rusinowitch Towards Synchronizing Linear Collaborative Objects with Operational Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Arshad Jhumka , Neeraj Suri Designing Efficient Fail-Safe Multitolerant Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Couvreur , Yann Thierry-Mieg Hierarchical Decision Diagrams to Exploit Model Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Chang Yu , Li-Hsing Yen Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth J. Turner Formalising Web Services. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Chatain , Loïc Hélouët , Claude Jard From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Joel Kelso , George Milne Properties as Processes: Their Specification and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Yueh-Ting Wu , Wanjiun Liao , Cheng-Lin Tsao Epoch Distance of the Random Waypoint Model in Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Kai-Hui Chang , Jeh-Yen Kang , Han-Wei Wang , Wei-Ting Tu , Yi-Jong Yeh , Sy-Yen Kuo Automatic Partitioner for Behavior Level Distributed Logic Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] César Sánchez , Matteo Slanina , Henny B. Sipma , Zohar Manna Expressive Completeness of an Event-Pattern Reactive Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandra Desmoulin , César Viho Formalizing Interoperability Testing: Quiescence Management and Test Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Yujun Zhang , Zhongcheng Li Formal Description of Mobile IPv6 Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Horst Wedde , Arnim Wedig , Anca Lazarescu , Ralf Paaschen , Elisei Rotaru Incremental Modeling Under Large-Scale Distributed Interaction. [Citation Graph (0, 0)][DBLP ] Conf ] Yongjian Li The Inductive Approach to Strand Space. [Citation Graph (0, 0)][DBLP ] Conf ] Peng Wu 0002 , Dongmei Zhang Compositional Modelling and Verification of IPv6 Mobility. [Citation Graph (0, 0)][DBLP ] Conf ] 