Ji Wang

According to our database1, Ji Wang
  • authored at least 181 papers between 1992 and 2018.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Optimal Collision-Free Robot Trajectory Generation Based on Time Series Prediction of Human Motion.
IEEE Robotics and Automation Letters, 2018

Combining Symbolic Execution and Model Checking to Verify MPI Programs.
CoRR, 2018

Trust-based mechanism design for cooperative spectrum sensing in cognitive radio networks.
Computer Communications, 2018

YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017
Dynamic sounding for multi-user MIMO in wireless LANs.
IEEE Trans. Consumer Electronics, 2017

A Method for Measurement of Nonlinearity of Laser Interferometer Based on Optical Frequency Tuning.
Sensors, 2017

Towards collaborative storage scheduling using alternating direction method of multipliers for mobile edge cloud.
Journal of Systems and Software, 2017

Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification.
CoRR, 2017

Untangling Blockchain: A Data Processing View of Blockchain Systems.
CoRR, 2017

UStore: A Distributed Storage With Rich Semantics.
CoRR, 2017

BLOCKBENCH: A Framework for Analyzing Private Blockchains.
CoRR, 2017

CoolConferencing: Enabling Robust Peer-to-Peer Multi-Party Video Conferencing.
IEEE Access, 2017

Optimal Dynamic Reserved Bandwidth Allocation for Cloud-Integrated Cyber-Physical Systems.
IEEE Access, 2017

A named data approach for DTN routing.
Proceedings of the 2017 Wireless Days, Porto, Portugal, March 29-31, 2017, 2017

Coordinated DPC-Based Precoding Design for Energy Efficiency Optimization in Downlink Multi-Cell MIMO Systems.
Proceedings of the 86th IEEE Vehicular Technology Conference, 2017

Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

RGSE: a regular property guided symbolic executor for Java.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

BLOCKBENCH: A Framework for Analyzing Private Blockchains.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Implicit Cooperative Caching based on Information Popularity for Vehicular Networks.
Proceedings of the 12th Workshop on Challenged Networks, 2017

A Lightweight Recommendation Framework for Mobile User's Link Selection in Dense Network.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

MECCAS: Collaborative Storage Algorithm Based on Alternating Direction Method of Multipliers on Mobile Edge Cloud.
Proceedings of the IEEE International Conference on Edge Computing, 2017

2016
Maximize Profit for Big Data Processing in Distributed Datacenters.
Proceedings of the Resource Management for Big Data Platforms, 2016

On MAC optimization for large-scale wireless sensor network.
Wireless Networks, 2016

Fault-Tolerant Scheduling for Real-Time Scientific Workflows with Elastic Resource Provisioning in Virtualized Clouds.
IEEE Trans. Parallel Distrib. Syst., 2016

Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization.
ACM Trans. Embedded Comput. Syst., 2016

In vivo precision of digital topological skeletonization based individual trabecula segmentation (ITS) analysis of trabecular microstructure at the distal radius and tibia by HR-pQCT.
Pattern Recognition Letters, 2016

Integrating Relationships and Attributes: A Model of Multilayer Networks.
Proceedings of the IEEE First International Conference on Data Science in Cyberspace, 2016

Cyber Threat Detection and Application Analysis.
Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2016

Adaptive decision fusion using genetic algorithm.
Proceedings of the 2016 Annual Conference on Information Science and Systems, 2016

A Utility-Aware Approach to Redundant Data Upload in Cooperative Mobile Cloud.
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

2015
Fault-Tolerant Scheduling for Real-Time Tasks on Multiple Earth-Observation Satellites.
IEEE Trans. Parallel Distrib. Syst., 2015

Accurate Vessel Segmentation With Constrained B-Snake.
IEEE Trans. Image Processing, 2015

FESTAL: Fault-Tolerant Elastic Scheduling Algorithm for Real-Time Tasks in Virtualized Clouds.
IEEE Trans. Computers, 2015

A Simple Probabilistic Extension of Modal Mu-calculus.
CoRR, 2015

A Simple Probabilistic Extension of Modal Mu-calculus.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Spectrum: A visual analytics tool to explore movement logs.
Proceedings of the 2015 IEEE Conference on Visual Analytics Science and Technology, 2015

Poster: Segmentation Based Online Performance Problem Diagnosis.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Regular Property Guided Dynamic Symbolic Execution.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Poster: Symbolic Execution of MPI Programs.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

MPISE: Symbolic Execution of MPI Programs.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014
Real-Time Tasks Oriented Energy-Aware Scheduling in Virtualized Clouds.
IEEE Trans. Cloud Computing, 2014

Static analysis of lists by combining shape and numerical abstractions.
Sci. Comput. Program., 2014

Counterexample-Preserving Reduction for Symbolic Model Checking.
J. Applied Mathematics, 2014

Robustness Analysis of Floating-Point Programs by Self-Composition.
J. Applied Mathematics, 2014

A topology-aware method for scientific application deployment on cloud.
IJWGS, 2014

An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters.
Electr. Notes Theor. Comput. Sci., 2014

MPISE: Symbolic Execution of MPI Programs.
CoRR, 2014

An image-space energy-saving visualization scheme for OLED displays.
Computers & Graphics, 2014

MTracer: A Trace-Oriented Monitoring Framework for Medium-Scale Distributed Systems.
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

An Abstract Domain to Infer Octagonal Constraints with Absolute Value.
Proceedings of the Static Analysis - 21st International Symposium, 2014

Power Distribution Network Reconfiguration by Evolutionary Integer Programming.
Proceedings of the Parallel Problem Solving from Nature - PPSN XIII, 2014

A 9-bit 1-MS/s 7-μW SAR ADC for ultra low power radio.
Proceedings of the 2014 NORCHIP, Tampere, Finland, October 27-28, 2014, 2014

A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Making sense of daily life data: From commonalities to anomalies: VAST 2014 Mini Challenge #2.
Proceedings of the 2014 IEEE Conference on Visual Analytics Science and Technology, 2014

Event-based text visual analytics.
Proceedings of the 2014 IEEE Conference on Visual Analytics Science and Technology, 2014

Analysis and Design of Fault-Tolerant Scheduling for Real-Time Tasks on Earth-Observation Satellites.
Proceedings of the 43rd International Conference on Parallel Processing, 2014

ReCloud: semantics-based word cloud visualization of user reviews.
Proceedings of the Graphics Interface 2014, 2014

Decision fusion for parallel sequential sensors.
Proceedings of the 17th International Conference on Information Fusion, 2014

Distributed decision fusion using the Neyman-Pearson criterion.
Proceedings of the 17th International Conference on Information Fusion, 2014

Perfect versus imperfect monitoring in multi-agent opportunistic channel access.
Proceedings of the 9th International Conference on Cognitive Radio Oriented Wireless Networks and Communications, 2014

Trust-based data fusion mechanism design in cognitive radio networks.
Proceedings of the IEEE Conference on Communications and Network Security, 2014

Trace Bench: An Open Data Set for Trace-Oriented Monitoring.
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

Towards crowd-based customer service: a mixed-initiative tool for managing Q&A sites.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

Synchronization Error Detection of MPI Programs by Symbolic Execution.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Towards an Open Data Set for Trace-Oriented Monitoring.
Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014

2013
Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives.
J. Applied Mathematics, 2013

Robust Relay Precoding Design for Two Way Relay Systems with Delayed and Limited Feedback.
IEEE Communications Letters, 2013

Internet-based Virtual Computing Environment: Beyond the data center as a computer.
Future Generation Comp. Syst., 2013

Counterexample-Preserving Reduction for Symbolic Model Checking
CoRR, 2013

An Operational Semantics for Model Checking Long Running Transactions.
Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013

Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking.
Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

Static analysis of list-manipulating programs via bit-vectors and numerical abstractions.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Counterexample-Preserving Reduction for Symbolic Model Checking.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Real-Time Fault-Tolerant Scheduling Based on Primary-Backup Approach in Virtualized Clouds.
Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013

Fisheye word cloud for temporal sentiment exploration.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

2012
Failure-divergence semantics and refinement of long running transactions.
Theor. Comput. Sci., 2012

S2PF: speculative symbolic PathFinder.
ACM SIGSOFT Software Engineering Notes, 2012

Solutions of nonlinear thickness-shear vibrations of an infinite isotropic plate with the homotopy analysis method.
Numerical Algorithms, 2012

A spectral clustering-based optimal deployment method for scientific application in cloud computing.
IJWGS, 2012

Segmenting the Femoral Head and Acetabulum in the Hip Joint Automatically Using a Multi-Step Scheme.
IEICE Transactions, 2012

Speculative Symbolic Execution
CoRR, 2012

A logistic regression model for Semantic Web service matchmaking.
SCIENCE CHINA Information Sciences, 2012

Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

Speculative Symbolic Execution.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Online Optimization of VM Deployment in IaaS Cloud.
Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Topology-Aware Deployment of Scientific Applications in Cloud Computing.
Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

2011
SAWSDL-iMatcher: A customizable and effective Semantic Web Service matchmaker.
J. Web Sem., 2011

Introduction to the Special Issue for the 10th International Conference on Quality Software (QSIC 2010).
Softw., Pract. Exper., 2011

A Programming Language Approach to Internet-Based Virtual Computing Environment.
J. Comput. Sci. Technol., 2011

Study on the Composite ABS Control of Vehicles with Four Electric Wheels.
JCP, 2011

Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering, 2011

SAWSDL Service Discovery Based on Fine-Grained Data Semantics.
IEICE Transactions, 2011

Quantitative analysis for symbolic heap bounds of CPS software.
Comput. Sci. Inf. Syst., 2011

Using complex network features for fast clustering in the web.
Proceedings of the 20th International Conference on World Wide Web, 2011

A Transmit Precoding Scheme for Downlink Multiuser MIMO Systems.
Proceedings of the 74th IEEE Vehicular Technology Conference, 2011

Multi-Cell Collaborative Transmission Combining Closed-Loop and Open-Loop Techniques.
Proceedings of the 74th IEEE Vehicular Technology Conference, 2011

A bipartite graph based social network splicing method for person name disambiguation.
Proceedings of the Proceeding of the 34th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2011

A Wikipedia Based Semantic Graph Model for Topic Tracking in Blogsphere.
Proceedings of the IJCAI 2011, 2011

Failure-Divergence Refinement of Compensating Communicating Processes.
Proceedings of the FM 2011: Formal Methods, 2011

Linear Absolute Value Relation Analysis.
Proceedings of the Programming Languages and Systems, 2011

The first international workshop on dependability of clouds, data centers and virtual computing environments: DCDV 2011.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

The First International Workshop on Dependability of Clouds, data centers and Virtual Computing Environments.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Toward Optimal Deployment of Communication-Intensive Cloud Applications.
Proceedings of the IEEE International Conference on Cloud Computing, 2011

2010
Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs.
Comput. J., 2010

Research on trusted computing and its development.
SCIENCE CHINA Information Sciences, 2010

An Abstract Domain to Discover Interval Linear Equalities.
Proceedings of the Verification, 2010

Towards Building Efficient Content-Based Publish/Subscribe Systems over Structured P2P Overlays.
Proceedings of the 39th International Conference on Parallel Processing, 2010

2009
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis.
J. Comput. Sci. Technol., 2009

Distribution Network Reconfiguration Based on Particle Clonal Genetic Algorithm.
JCP, 2009

A tighter analysis of Piterman's Büchi determinization.
Inf. Process. Lett., 2009

Symbolic model checking APSL.
Frontiers Comput. Sci. China, 2009

Automated Worst-Case Execution Time Analysis Based on Program Modes.
Comput. J., 2009

Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.
Proceedings of the Static Analysis, 16th International Symposium, 2009

A framework for constructing peer-to-peer overlay networks in Java.
Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

DPM: A Demand-driven Virtual Disk Prefetch Mechanism for Mobile Personal Computing Environments.
Proceedings of the NPC 2009, 2009

Efficient social network approximate analysis on blogosphere based on network structure characteristics.
Proceedings of the 3rd Workshop on Social Network Mining and Analysis, 2009

A Method of Correction for Marine Seismic Acquisition.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

Mobility of Internet-Based Virtual Computing Environment.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

Fast, On-Demand Software Deployment with Lightweight, Independent Virtual Disk Images.
Proceedings of the Eighth International Conference on Grid and Cooperative Computing, 2009

2008
An adaptive casteship mechanism for developing multi-agent systems.
IJCAT, 2008

Shape Analysis by Refining on Abstract Evaluation Path.
Electr. Notes Theor. Comput. Sci., 2008

Symbolic Model Checking APSL.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Extracting Semantic Constraint from Description Text for Semantic Web Service Discovery.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Computing Must and May Alias to Detect Null Pointer Dereference.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Information Flow Detection and Tracking on Web2.0 BLOGS Based on Social Networks.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Particle Clonal Genetic Algorithm Using Sequence Coding for Solving Distribution Network Reconfiguration.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Automating Software FMEA via Formal Analysis of Dependence Relations.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
Modelling and model checking suspendible business processes via statechart diagrams and CSP.
Sci. Comput. Program., 2007

Interface theory-based formalisation and verification of orchestration in BPEL4WS.
IJBPIM, 2007

A Contract-based Approach to Specifying and Verifying Safety Critical Systems.
Electr. Notes Theor. Comput. Sci., 2007

Engineering Adaptive Multi-Agent Systems with ODAM Methodology.
Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2007

Axiomatizing Extended Temporal Logic Fragments Via Instantiation.
Proceedings of the Theoretical Aspects of Computing, 2007

Compositional Verification of UML Dynamic Models.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006
Slicing Execution for Model Checking C Programs.
International Journal of Software Engineering and Knowledge Engineering, 2006

Internet-based virtual computing environment (iVCE): Concepts and architecture.
Science in China Series F: Information Sciences, 2006

Model Checking Suspendible Business Processes via Statechart Diagrams and CSP.
Proceedings of the Modelling, 2006

Towards Formal Interfaces for Web Services with Transactions.
Proceedings of the Advanced Internet Based Systems and Applications, 2006

The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Verifying Choreographic Descriptions of Web Services Based on CSP.
Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

Towards a Framework for Scalable Model Checking of Concurrent C Programs.
Proceedings of the Leveraging Applications of Formal Methods, 2006

The Classification of Tumor Using Gene Expression Profile Based on Support Vector Machines and Factor Analysis.
Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

Automated WCET Analysis Based on Program Modes.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

Stateful Dynamic Partial-Order Reduction.
Proceedings of the Formal Methods and Software Engineering, 2006

Representing Wholes by Structure.
Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Real-Time Continuous Collision Detection Based on Swept Volume and Depth Texture.
Proceedings of the 16th International Conference on Artificial Reality and Telexistence, 2006

Developing Multi-Agent Systems with Dynamic Binding Mechanism.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Automatic Extraction of Hierarchical Relations from Text.
Proceedings of the Semantic Web: Research and Applications, 2006

An Interface Theory Based Approach to Verification of Web Services.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines.
Proceedings of the Computational Intelligence and Security, International Conference, 2006

SVM-Based Tumor Classification with Gene Expression Data.
Proceedings of the Advanced Data Mining and Applications, Second International Conference, 2006

2005
Efficient transmission of MPEG-2 video bit streams over HIPERLAN/2.
Wireless Communications and Mobile Computing, 2005

Verification of C Programs using Slicing Execution.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Caste-Centric Agent-Oriented Programming.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

2/3 Alternating Simulation Between Interface Automata.
Proceedings of the Formal Methods and Software Engineering, 2005

Modeling Organization Structure of Multi-Agent System.
Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Agent Oriented Programming Based on SLABS.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Contract-Based Formal Specification of Safety Critical Systems.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Towards an agent oriented programming language with caste and scenario mechanisms.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Improvements Towards Formalizing UML State Diagrams in CSP.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004
MetaData Pro: Ontology-Based Metadata Processing for Web Resources.
Proceedings of the Web Information Systems, 2004

Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models.
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Property-Oriented Test Generation from UML Statecharts.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software.
Proceedings of the Parallel and Distributed Processing and Applications, 2004

Reverse Observation Equivalence Between Labelled State Transition Systems.
Proceedings of the Theoretical Aspects of Computing, 2004

Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata.
Proceedings of the Formal Methods and Software Engineering, 2004

A Framework to Specify and Evaluate Coordination in MAS with Logic.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Scenario Mechanism in Agent-Oriented Programming.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

Property-Oriented Testing of Real-Time Systems.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003
Improved Method to Generate Path-Wise Test Data.
J. Comput. Sci. Technol., 2003

Deriving Software Statistical Testing Model from UML Model.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

2002
Video Communication with QoS Guarantees over HIPERLAN/2.
Proceedings of the 4th International Symposium on Multimedia Software Engineering, 2002

Slicing Hierarchical Automata for Model Checking UML Statecharts.
Proceedings of the Formal Methods and Software Engineering, 2002

2001
On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

Model Checking UML Statecharts.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1998
Verifying automata specification of distributed probabilistic real-time systems.
J. Comput. Sci. Technol., 1998

1994
Formal Design of Hybrid Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1992
Temporal Reasoning About Real Time Reactive Systems.
Proceedings of the Automated Reasoning, 1992


  Loading...