Conferences in DBLP
Nicolas Halbwachs , Pascal Raymond Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Krishna V. Palem Emerging Application Domains and the Computing Fabric. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto M. Amadio , Sanjiva Prasad The Game of the Name in Cryptographic Tables. [Citation Graph (0, 0)][DBLP ] Conf ] Tiziana Calamoneri , Irene Finocchi , Yannis Manoussakis , Rossella Petreschi A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Chantana Chantrapornchai , Sissades Tongsima , Edwin Hsing-Mean Sha Rapid Prototyping Techniques for Fuzzy Controllers. [Citation Graph (0, 0)][DBLP ] Conf ] IlYoung Chung , Chong-Sun Hwang Transactional Cache Management with Aperiodic Invalidation Scheme in Mobile Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Koen Claessen , David Sands Observable Sharing for Functional Circuit Description. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Fernando Llana Díaz , David de Frutos-Escrig Relating May and Must Testing Semantics for Discrete Timed Process Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Lars-Åke Fredlund , Dilian Gurov A Framework for Formal Reasoning about Open Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Galmiche , Dominique Larchey-Wendling Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jerry den Hartog Verifying Probabilistic Programs Using a Hoare like Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jesper G. Henriksen An Expressive Extension of TLC. [Citation Graph (0, 0)][DBLP ] Conf ] Dang Van Hung , Dimitar P. Guelev Completeness and Decidability of a Fragment of Duration Calculus with Iteration. [Citation Graph (0, 0)][DBLP ] Conf ] Mia Indrika Logical Relations in Circuit Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Koji Iwanuma , Kenichi Kishino Lemma Generalization and Non-unit Lemma Matching for Model Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Fairouz Kamareddine , François Monin On Automating Inductive and Non-inductive Termination Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Hanna Klaudel , Franck Pommereau Asynchronous Links in the PBC and M-Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Knoop Demand-Driven Model Checking for Context-Free Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Seng Wai Loke , Heinz W. Schmidt , Arkady B. Zaslavsky Programming the Mobility Behaviour of Agents by Composing Itineraries. [Citation Graph (0, 0)][DBLP ] Conf ] Madhavan Mukund , K. Narayan Kumar , Scott A. Smolka Faster Model Checking for Open Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ekawit Nantajeewarawat , Vilas Wuwongse An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Niehren , Tim Priesnitz Entailment of Non-structural Subtype Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Ichiro Ogata A CPS-Transform of Constructive Classical Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuhiro Ogata , Kokichi Futatsugi Formal Verification of the MCS List-Based Queuing Lock. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Reffel BDD-Nodes Can Be More Expressive. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Ritter , Holger Hinrichsen , Hans Eveking Formal Verification of Descriptions with Distinct Order of Memory Operations. [Citation Graph (0, 0)][DBLP ] Conf ] Abhik Roychoudhury , K. Narayan Kumar , C. R. Ramakrishnan , I. V. Ramakrishnan Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Anil Seth On L k Q ) Types and Boundedness of IFP (Q ) on Finite Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Hong Shen , Keqin Li , Si-Qing Zheng Separators Are as Simple as Cutsets. [Citation Graph (0, 0)][DBLP ] Conf ] Chia Jim Tong , Hoong Chuin Lau , Andrew Lim Ant Colony Optimization for the Ship Berthing Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony H. W. Chan , Michael R. Lyu Security Modeling and Evaluation for the Mobile Code Paradigm. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Flake , Christian Geiger CASA - Structured Design of a Specification Language for Intelligent Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Joon-Min Gil , Chong-Sun Hwang An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Koji Kagawa Programming with Explicit Regions. [Citation Graph (0, 0)][DBLP ] Conf ] Mila E. Majster-Cederbaum , Frank Salger A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Kok Meng Yew , M. Zahidur Rahman , Sai Peck Lee Formal Verification of Secret Sharing Protocol Using Coq. [Citation Graph (0, 0)][DBLP ] Conf ] Nguyen Duc Quang On Feasibility, Boundedness, and Redundancy of Systems of Linear Constraints over R 2 -Plane. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Rauch Deduction in Logic of Association Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Shisanu Tongchim , Prabhas Chongstitvatana Asynchronous Migration in Parallel Genetic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Tony Tsang , Richard Lai Verification Results for a Multimedia Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Qing Yu , Doan B. Hoang Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks. [Citation Graph (0, 0)][DBLP ] Conf ] 