Jin Song Dong

According to our database1, Jin Song Dong authored at least 290 papers between 1993 and 2023.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Extracting optimal explanations for ensemble trees via automated reasoning.
Appl. Intell., June, 2023

Formalizing UML State Machines for Automated Verification - A Survey.
ACM Comput. Surv., 2023

Empirical Study on Transformer-based Techniques for Software Engineering.
CoRR, 2023

Knowledge Expansion and Counterfactual Interaction for Reference-Based Phishing Detection.
Proceedings of the 32nd USENIX Security Symposium, 2023

DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Sports Injury Prediction in Professional Tennis.
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Recognizing a Sequence of Events from Tennis Video Clips: Addressing Timestep Identification and Subtle Class Differences.
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Enhancing Federated Learning Robustness Using Data-Agnostic Model Pruning.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2023

On-the-Fly Adapting Code Summarization on Trainable Cost-Effective Language Models.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Post-GDPR Threat Hunting on Android Phones: Dissecting OS-level Safeguards of User-unresettable Identifiers.
Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

Empower Post-hoc Graph Explanations with Information Bottleneck: A Pre-training and Fine-tuning Perspective.
Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023

B<sup>2</sup>-Sampling: Fusing Balanced and Biased Sampling for Graph Contrastive Learning.
Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023

DeepArc: Modularizing Neural Networks for the Model Maintenance.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Supervised Robustness-preserving Data-free Neural Network Pruning.
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Sports Analytics Using Probabilistic Model Checking and Deep Learning.
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Insight Analysis for Tennis Strategy and Tactics.
Proceedings of the IEEE International Conference on Data Mining, 2023

2022
Automatic Fairness Testing of Neural Classifiers Through Adversarial Sampling.
IEEE Trans. Software Eng., 2022

Stochastic Ghost Batch for Self-distillation with Dynamic Soft Label.
Knowl. Based Syst., 2022

Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.
Formal Aspects Comput., 2022

Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective.
CoRR, 2022

Geometric Theory for Program Testing.
CoRR, 2022

Paoding: Supervised Robustness-preserving Data-free Neural Network Pruning.
CoRR, 2022

A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement.
CoRR, 2022

Inferring Phishing Intention via Webpage Appearance and Dynamics: A Deep Vision Based Approach.
Proceedings of the 31st USENIX Security Symposium, 2022

Repairing Adversarial Texts Through Perturbation.
Proceedings of the Theoretical Aspects of Software Engineering, 2022

RegMiner: mining replicable regression dataset from code repositories.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Debugging and Explaining Metric Learning Approaches: An Influence Function Based Perspective.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Assessing certificate validation user interfaces of WPA supplicants.
Proceedings of the ACM MobiCom '22: The 28th Annual International Conference on Mobile Computing and Networking, Sydney, NSW, Australia, October 17, 2022

Repairing Failure-inducing Inputs with Input Reflection.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Are they Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

RegMiner: towards constructing a large regression dataset from code evolution history.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Temporality Spatialization: A Scalable and Faithful Time-Travelling Visualization for Deep Classifier Training.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

gDefects4DL: A Dataset of General Real-World Deep Learning Program Defects.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks.
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Explaining Regressions via Alignment Slicing and Mending.
IEEE Trans. Software Eng., 2021

Scrutinizing Implementations of Smart Home Integrations.
IEEE Trans. Software Eng., 2021

Adversarial Adaptive Neighborhood With Feature Importance-Aware Convex Interpolation.
IEEE Trans. Inf. Forensics Secur., 2021

Characterizing Cryptocurrency-themed Malicious Browser Extensions.
Proc. ACM Meas. Anal. Comput. Syst., 2021

An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model.
J. Autom. Reason., 2021

Silas: A high-performance machine learning foundation for logical reasoning and verification.
Expert Syst. Appl., 2021

GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems.
Eng. Appl. Artif. Intell., 2021

Generalizing Neural Networks by Reflecting Deviating Data in Production.
CoRR, 2021

Constructing Regression Dataset from Code Evolution History.
CoRR, 2021

Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning.
CoRR, 2021

It's Not Just the Site, It's the Contents: Intra-domain Fingerprinting Social Media Websites Through CDN Bursts.
Proceedings of the WWW '21: The Web Conference 2021, 2021

Phishpedia: A Hybrid Deep Learning Based Approach to Visually Identify Phishing Webpages.
Proceedings of the 30th USENIX Security Symposium, 2021

Graph-based seed object synthesis for search-based unit testing.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Identifying privacy weaknesses from multi-party trigger-action integration platforms.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Self-Checking Deep Neural Networks in Deployment.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020
Automated synthesis of local time requirement for service composition.
Softw. Syst. Model., 2020

A blockchain-based decentralized booking system.
Knowl. Eng. Rev., 2020

N-PAT: A Nested Model-Checker.
CoRR, 2020

Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Recovering fitness gradients for interprocedural Boolean flags in search-based testing.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

White-box fairness testing through adversarial sampling.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Deep Learning Application in Broadcast Tennis Video Annotation.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

RL: a Language for Formal Engineering.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

N-PAT: A Nested Model-Checker - (System Description).
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Model Driven Inputs to aid Athlete's Decision Making.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019
Grasshopper Optimization Algorithm: Theory, Literature Review, and Application in Hand Posture Estimation.
Proceedings of the Nature-Inspired Optimizers, 2019

Genetic Algorithm: Theory, Literature Review, and Application in Image Reconstruction.
Proceedings of the Nature-Inspired Optimizers, 2019

Particle Swarm Optimization: Theory, Literature Review, and Application in Airfoil Design.
Proceedings of the Nature-Inspired Optimizers, 2019

Ant Colony Optimizer: Theory, Literature Review, and Application in AUV Path Planning.
Proceedings of the Nature-Inspired Optimizers, 2019

Introduction to Nature-Inspired Algorithms.
Proceedings of the Nature-Inspired Optimizers, 2019

Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking.
ACM Trans. Model. Comput. Simul., 2019

There is Limited Correlation between Coverage and Robustness for Deep Neural Networks.
CoRR, 2019

Silas: High Performance, Explainable and Verifiable Machine Learning.
CoRR, 2019

Analyzing Recurrent Neural Network by Probabilistic Abstraction.
CoRR, 2019

A formalisation of the SPARC TSO memory model for multi-core machine code.
CoRR, 2019

Smart Grid Metering Networks: A Survey on Security, Privacy and Open Research Issues.
IEEE Commun. Surv. Tutorials, 2019

LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking.
Proceedings of the Information Security - 22nd International Conference, 2019

2018
Towards Model Checking Android Applications.
IEEE Trans. Software Eng., 2018

A Formal Specification and Verification Framework for Timed Security Protocols.
IEEE Trans. Software Eng., 2018

Confidence-based robust optimisation using multi-objective meta-heuristics.
Swarm Evol. Comput., 2018

Enhanced multi-objective particle swarm optimisation for estimating hand postures.
Knowl. Based Syst., 2018

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS.
Formal Aspects Comput., 2018

Break the dead end of dynamic slicing: localizing data and control omission bug.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

On the Sequential Massart Algorithm for Statistical Model Checking.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Verification of Strong Nash-equilibrium for Probabilistic BAR Systems.
Proceedings of the Formal Methods and Software Engineering, 2018

Towards Trustworthy AI for Autonomous Systems.
Proceedings of the Formal Methods and Software Engineering, 2018

Towards Dependable and Explainable Machine Learning Using Automated Reasoning.
Proceedings of the Formal Methods and Software Engineering, 2018

Formal Analysis of a Proof-of-Stake Blockchain.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

HOMESCAN: Scrutinizing Implementations of Smart Home Integrations.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

2017
Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols.
Proceedings of the Security and Privacy in Communication Networks, 2017

A Framework for Formal Analysis of Privacy on SSO Protocols.
Proceedings of the Security and Privacy in Communication Networks, 2017

Mining implicit design templates for actionable code reuse.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Feedback-based debugging.
Proceedings of the 39th International Conference on Software Engineering, 2017

App genome: callback sequencing in Android.
Proceedings of the 39th International Conference on Software Engineering, 2017

A Verification Framework for Stateful Security Protocols.
Proceedings of the Formal Methods and Software Engineering, 2017

Towards Solving Decision Making Problems Using Probabilistic Model Checking.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016
Formalizing and verifying stochastic system architectures using Monterey Phoenix.
Softw. Syst. Model., 2016

From verified model to executable program: the PAT approach.
Innov. Syst. Softw. Eng., 2016

Editorial.
Formal Aspects Comput., 2016

Optimizing selection of competing services with probabilistic hierarchical refinement.
Proceedings of the 38th International Conference on Software Engineering, 2016

Scaling BDD-based Timed Verification with Simulation Reduction.
Proceedings of the Formal Methods and Software Engineering, 2016

Service Adaptation with Probabilistic Partial Models.
Proceedings of the Formal Methods and Software Engineering, 2016

Improving Quality of Use Case Documents through Learning and User Interaction.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Towards Using Concurrent Java API Correctly.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Automatic Construction of Callback Model for Android Application.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Verification of Nash-Equilibrium for Probabilistic BAR Systems.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Automated Verification of Timed Security Protocols with Clock Drift.
Proceedings of the FM 2016: Formal Methods, 2016

2015
A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata.
IEEE Trans. Software Eng., 2015

BOWL: augmenting the Semantic Web with beliefs.
Innov. Syst. Softw. Eng., 2015

Event and Strategy Analytics.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract).
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Interpolation Guided Compositional Verification (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Optimizing selection of competing features via feedback-directed evolutionary algorithms.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Reliability assessment for distributed systems via communication abstraction and refinement.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Formal Analysis of a Single Sign-On Protocol Implementation for Android.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Sports Strategy Analytics Using Probabilistic Reasoning.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Verifying Parameterized Timed Security Protocols.
Proceedings of the FM 2015: Formal Methods, 2015

2014
Learning Assumptions for CompositionalVerification of Timed Systems.
IEEE Trans. Software Eng., 2014

Towards Formal Modelling and Verification of Pervasive Computing Systems.
Trans. Comput. Collect. Intell., 2014

Parameter synthesis for hierarchical concurrent real-time systems.
Real Time Syst., 2014

Complexity of the Soundness Problem of Workflow Nets.
Fundam. Informaticae, 2014

Model checking approach to automated planning.
Formal Methods Syst. Des., 2014

Model checking with fairness assumptions using PAT.
Frontiers Comput. Sci., 2014

Towards verification of computation orchestration.
Formal Aspects Comput., 2014

Stateful Security Protocol Verification.
CoRR, 2014

Automated runtime recovery for QoS-based service composition.
Proceedings of the 23rd International World Wide Web Conference, 2014

RaPiD: a toolkit for reliability analysis of non-deterministic systems.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Automatic early defects detection in use case documents.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Event Analytics.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition.
Proceedings of the 36th International Conference on Software Engineering, 2014

TAuth: Verifying Timed Security Protocols.
Proceedings of the Formal Methods and Software Engineering, 2014

Practical Analysis Framework for Software-Based Attestation Scheme.
Proceedings of the Formal Methods and Software Engineering, 2014

SCC-Based Improved Reachability Analysis for Markov Decision Processes.
Proceedings of the Formal Methods and Software Engineering, 2014

Symbolic Analysis of an Electric Vehicle Charging Protocol.
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Towards a Combination of CafeOBJ and PAT.
Proceedings of the Specification, Algebra, and Software, 2014

2013
Verifying Linearizability via Optimized Refinement Checking.
IEEE Trans. Software Eng., 2013

Modeling and verifying hierarchical real-time systems using stateful timed CSP.
ACM Trans. Softw. Eng. Methodol., 2013

State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction.
Proceedings of the Verification, 2013

USMMC: a self-contained model checker for UML state machines.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop.
Proceedings of the IEEE Ninth World Congress on Services, 2013

AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations.
Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

Constraint-based automatic symmetry detection.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Automatically partition software into least privilege components using dynamic data dependency analysis.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Combining model checking and testing with an application to reliability prediction and distribution.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

Improved Reachability Analysis in DTMC via Divide and Conquer.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

A Formal Semantics for Complete UML State Machines with Communications.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Generating C# Programs from CSP# Models.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Dynamic synthesis of local time requirement for service composition.
Proceedings of the 35th International Conference on Software Engineering, 2013

Build your own model checker in one month.
Proceedings of the 35th International Conference on Software Engineering, 2013

A UTP Semantics for Communicating Processes with Shared Variables.
Proceedings of the Formal Methods and Software Engineering, 2013

PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

CELL: A Compositional Verification Framework.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Timed Automata.
Proceedings of the Handbook of Finite State Based Models and Applications., 2012

Formal modeling and validation of Stateflow diagrams.
Int. J. Softw. Tools Technol. Transf., 2012

Quantitative methods in security and safety critical applications (NII Shonan Meeting 2012-10).
NII Shonan Meet. Rep., 2012

SeVe: automatic tool for verification of security protocols.
Frontiers Comput. Sci. China, 2012

Editorial.
Formal Aspects Comput., 2012

Planning as Model Checking Tasks.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction.
Proceedings of the PRIMA 2012: Principles and Practice of Multi-Agent Systems, 2012

Analyzing multi-agent systems with probabilistic model checking approach.
Proceedings of the 34th International Conference on Software Engineering, 2012

ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT).
Proceedings of the Impact Analysis of Solutions for Chronic Disease Prevention and Management, 2012

More Anti-chain Based Refinement Checking.
Proceedings of the Formal Methods and Software Engineering, 2012

An Analytical and Experimental Comparison of CSP Extensions and Tools.
Proceedings of the Formal Methods and Software Engineering, 2012

Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization.
Proceedings of the Formal Methods and Software Engineering, 2012

Automatic Generation of Provably Correct Embedded Systems.
Proceedings of the Formal Methods and Software Engineering, 2012

Formal Analysis of Pervasive Computing Systems.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Translating PDDL into CSP# - The PAT Approach.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Model Checking Software Architecture Design.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Improved BDD-Based Discrete Analysis of Timed Systems.
Proceedings of the FM 2012: Formal Methods, 2012

Automatic Compositional Verification of Timed Systems.
Proceedings of the FM 2012: Formal Methods, 2012

A Model Checker for Hierarchical Probabilistic Real-Time Systems.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Using Monterey Phoenix to Formalize and Verify System Architectures.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Complexity of the Soundness Problem of Bounded Workflow Nets.
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011
A philosophy-driven entity classification and enrichment for ontology mapping.
Expert Syst. J. Knowl. Eng., 2011

Towards bug-free implementation for wireless sensor networks.
Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

A model checking framework for hierarchical systems.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Towards a Model Checker for NesC and Wireless Sensor Networks.
Proceedings of the Formal Methods and Software Engineering, 2011

Differencing Labeled Transition Systems.
Proceedings of the Formal Methods and Software Engineering, 2011

Verification of Orchestration Systems Using Compositional Partial Order Reduction.
Proceedings of the Formal Methods and Software Engineering, 2011

PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems.
Proceedings of the Formal Methods and Software Engineering, 2011

On Combining State Space Reductions with Global Fairness Assumptions.
Proceedings of the FM 2011: Formal Methods, 2011

An Efficient Algorithm for Learning Event-Recording Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
A verification system for interval-based specification languages.
ACM Trans. Softw. Eng. Methodol., 2010

Analyzing hierarchical complex real-time systems.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

SpecDiff: debugging formal specifications.
Proceedings of the ASE 2010, 2010

Mild Dementia Care at Home - Integrating Activity Monitoring, User Interface Plasticity and Scenario Verification.
Proceedings of the Aging Friendly Technology for Health and Independence, 2010

Developing Model Checkers Using PAT.
Proceedings of the Automated Technology for Verification and Analysis, 2010

Model-Based Methods for Linking Web Service Choreography and Orchestration.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009
SCP special issue on the grand challenge - Preface.
Sci. Comput. Program., 2009

Software monitoring through formal specification animation.
Innov. Syst. Softw. Eng., 2009

Editorial.
Formal Aspects Comput., 2009

A formal framework for modeling and validating Simulink diagrams.
Formal Aspects Comput., 2009

Integrating Specification and Programs for System Modeling and Verification.
Proceedings of the TASE 2009, 2009

Towards Expressive Specification and Efficient Model Checking.
Proceedings of the TASE 2009, 2009

Formal Verification of Scalable NonZero Indicators.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction.
Proceedings of the Formal Methods and Software Engineering, 2009

Scalable Multi-core Model Checking Fairness Enhanced Systems.
Proceedings of the Formal Methods and Software Engineering, 2009

Fair Model Checking with Process Counter Abstraction.
Proceedings of the FM 2009: Formal Methods, 2009

PAT: Towards Flexible Verification under Fairness.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Timed Automata Patterns.
IEEE Trans. Software Eng., 2008

Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach.
Int. J. Agent Oriented Softw. Eng., 2008

Compositional encoding for bounded model checking.
Frontiers Comput. Sci. China, 2008

Bounded Model Checking of Compositional Processes.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Enhancing Semantic Web Services with Inheritance.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Ontology Generation through the Fusion of Partial Reuse and Relation Extraction.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Model Checking CSP Revisited: Introducing a Process Analysis Toolkit.
Proceedings of the Leveraging Applications of Formal Methods, 2008

An analyzer for extended compositional process algebras.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A verification system for timed interval calculus.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Specifying and Verifying Event-Based Fairness Enhanced Systems.
Proceedings of the Formal Methods and Software Engineering, 2008

Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.
Proceedings of the Formal Methods and Software Engineering, 2008

2007
Realizing Live Sequence Charts in SystemVerilog.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base.
Proceedings of the Third ISWC Workshop on Uncertainty Reasoning for the Semantic Web Busan, 2007

Evolution and Runtime Monitoring of Software Systems.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

A Verification Framework for Agent Knowledge.
Proceedings of the Formal Methods and Software Engineering, 2007

Machine-Assisted Proof Support for Validation Beyond Simulink.
Proceedings of the Formal Methods and Software Engineering, 2007

2006
Design Synthesis from Interaction and State-Based Specifications.
IEEE Trans. Software Eng., 2006

Generic Fault Tolerant Software Architecture Reasoning and Customization.
IEEE Trans. Reliab., 2006

Reasoning support for Semantic Web ontology family languages using Alloy.
Multiagent Grid Syst., 2006

Computer-aided dispatch system family architecture and verification: an integrated formal approach.
IEE Proc. Softw., 2006

Context Awareness Systems Design and Reasoning.
Proceedings of the Leveraging Applications of Formal Methods, 2006

HighSpec: a tool for building and checking OZTA models.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

From semantic web to expressive software specifications: a modeling languages spectrum.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Verification of Computation Orchestration Via Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2006

A Reasoning Method for Timed CSP Based on Constraint Solving.
Proceedings of the Formal Methods and Software Engineering, 2006

Applying Timed Interval Calculus to Simulink Diagrams.
Proceedings of the Formal Methods and Software Engineering, 2006

Formal Specification-based Online Monitoring.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Semantic Web Languages - Towards an Institutional Perspective.
Proceedings of the Algebra, Meaning, and Computation, 2006

Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL.
Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005
Formal Designs for Embedded and Hybrid Systems.
Int. J. Softw. Eng. Knowl. Eng., 2005

Preface.
Proceedings of the International Workshop on Web Languages and Formal Methods, 2005

Soundness proof of Z semantics of OWL using institutions.
Proceedings of the 14th international conference on World Wide Web, 2005

TCOZ Approach to OWL-S Process Model Design.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Reasoning Support for SWRL-FOL Using Alloy.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Institution Morphisms for Relating OWL and Z.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

The Semantics and Tool Support of OZTA.
Proceedings of the Formal Methods and Software Engineering, 2005

Model Checking Live Sequence Charts.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Extracting FSMs from Object-Z Specifications with History Invariants.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Integrating Object-Z with Timed Automata.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Software Engineering Approaches to Semantic Web.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Synthesis of Distributed Processes from Scenario-Based Specifications.
Proceedings of the FM 2005: Formal Methods, 2005

A Tools Environment for Developing and Reasoning about Ontologies.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004
Semantic Space: An Infrastructure for Smart Spaces.
IEEE Pervasive Comput., 2004

TCOZ approach to semantic web services design.
Proceedings of the 13th international conference on World Wide Web, 2004

A combined approach to checking web ontologies.
Proceedings of the 13th international conference on World Wide Web, 2004

Generating MSCs from an Integrated Formal Specification Language.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Verifying OWL and ORL Ontologies in PVS.
Proceedings of the Theoretical Aspects of Computing, 2004

Verifying DAML+OIL and Beyond in Z/EVES.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Software Modeling Techniques and the Semantic Web.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Timed Patterns: TCOZ to Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2004

Relating pi-calculus to Object-Z.
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

Reasoning about Semantic Web in Isabelle/HOL.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003
ZML: XML Support for Standard Z.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Analysing Web Ontology in Alloy: A Military Case Study.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

A Semantic Foundation for TCOZ in Unifying Theories of Programming.
Proceedings of the FME 2003: Formal Methods, 2003

Checking and Reasoning about Semantic Web through Alloy.
Proceedings of the FME 2003: Formal Methods, 2003

Formalizing Semantics of XSLT Using Object-Z.
Proceedings of the Web Technologies and Applications, 5th Asian-Pacific Web Conference, 2003

2002
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach.
Formal Aspects Comput., 2002

A Formal Object Approach to the Design of ZML.
Ann. Softw. Eng., 2002

Extending SOFL to support both top-down and bottom-up approaches.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

An Overview of Mobile Object-Z.
Proceedings of the Formal Methods and Software Engineering, 2002

Z Approach to Semantic Web.
Proceedings of the Formal Methods and Software Engineering, 2002

XML-Based Static Type Checking and Dynamic Visualization for TCOZ.
Proceedings of the Formal Methods and Software Engineering, 2002

Semantic Web for Extending and Linking Formalisms.
Proceedings of the FME 2002: Formal Methods, 2002

The Semantics of Extended SOFL.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Specifying and Reasoning about Generic Architecture in TCOZ.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows.
Proceedings of the Advances in Databases and Information Systems, 2002

2001
Object-Z web environment and projections to UML.
Proceedings of the Tenth International World Wide Web Conference, 2001

State, Event, Time and Diagram in System Modeling.
Proceedings of the 23rd International Conference on Software Engineering, 2001

An XML/XSL Approach to Visualize and Animate TCOZ.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

Class and Module in SOFL.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

Linking UML with Integrated Formal Techniques.
Proceedings of the Unified Modeling Language: Systems Analysis, 2001

2000
Timed Communicating Object Z.
IEEE Trans. Software Eng., 2000

TRMCS in TCOZ.
Proceedings of the 10th International Workshop on Software Specification and Design, 2000

1999
Overview of the Semantics of TCOZ.
Proceedings of the Integrated Formal Methods, 1999

An Object Semantic Model of SOFL.
Proceedings of the Integrated Formal Methods, 1999

Sensors and Actuators in TCOZ.
Proceedings of the FM'99 - Formal Methods, 1999

Modeling Aircraft Mission Computer Task Rates.
Proceedings of the FM'99 - Formal Methods, 1999

Capturing Periodic Concurrent Interactions of Mission Computer Tasks.
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998
Network Topology and a Case Study in TCOZ.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Blending Object-Z and Timed CSP: An Introduction to TCOZ.
Proceedings of the Forging New Links, 1998

Active Objects in TCOZ.
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997
An object-oriented denotational semantics of a small programming language.
Object Oriented Syst., 1997

A framework for adding time into formal object models.
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Specifying Parallel and Distributed Systems in Object-Z.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1995
Formal object modelling techniques and denotational semantics studies
PhD thesis, 1995

The role of secondary attributes in formal object modelling.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Living with Free Type and Class Union.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1993
Class Union and Polymorphism.
Proceedings of the Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, 1993

An Object-Oriented Approach to the Formal Specification of ODP Trader.
Proceedings of the Open Distributed Processing, 1993


  Loading...