Jin Song Dong

Proceedings of the Nature-Inspired Optimizers, 2019

Genetic Algorithm: Theory, Literature Review, and Application in Image Reconstruction.

[BibT_eX]

[DOI]

Proceedings of the Nature-Inspired Optimizers, 2019

Particle Swarm Optimization: Theory, Literature Review, and Application in Airfoil Design.

[BibT_eX]

[DOI]

Proceedings of the Nature-Inspired Optimizers, 2019

Ant Colony Optimizer: Theory, Literature Review, and Application in AUV Path Planning.

[BibT_eX]

[DOI]

Andrew Lewis

Proceedings of the Nature-Inspired Optimizers, 2019

Introduction to Nature-Inspired Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Nature-Inspired Optimizers, 2019

Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking.

[BibT_eX]

[DOI]

Cyrille Jégourel

ACM Trans. Model. Comput. Simul., 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

Silas: High Performance, Explainable and Verifiable Machine Learning.

[BibT_eX]

[DOI]

Seyed Mohammad Mirjalili

CoRR, 2019

Analyzing Recurrent Neural Network by Probabilistic Abstraction.

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

Smart Grid Metering Networks: A Survey on Security, Privacy and Open Research Issues.

[BibT_eX]

[DOI]

IEEE Commun. Surv. Tutorials, 2019

LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking.

[BibT_eX]

[DOI]

Proceedings of the Information Security - 22nd International Conference, 2019

2018

Towards Model Checking Android Applications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2018

A Formal Specification and Verification Framework for Timed Security Protocols.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2018

Confidence-based robust optimisation using multi-objective meta-heuristics.

[BibT_eX]

[DOI]

Andrew Lewis

Swarm Evol. Comput., 2018

Enhanced multi-objective particle swarm optimisation for estimating hand postures.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2018

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2018

Break the dead end of dynamic slicing: localizing data and control omission bug.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

On the Sequential Massart Algorithm for Statistical Model Checking.

[BibT_eX]

[DOI]

Cyrille Jégourel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Verification of Strong Nash-equilibrium for Probabilistic BAR Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Towards Trustworthy AI for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Towards Dependable and Explainable Machine Learning Using Automated Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Formal Analysis of a Proof-of-Stake Blockchain.

[BibT_eX]

[DOI]

Wai Yan Maung Maung Thin

Naipeng Dong

Guangdong Bai

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

HOMESCAN: Scrutinizing Implementations of Smart Home Integrations.

[BibT_eX]

[DOI]

Kulani Tharaka Mahadewa

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

2017

Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Communication Networks, 2017

A Framework for Formal Analysis of Privacy on SSO Protocols.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Communication Networks, 2017

Mining implicit design templates for actionable code reuse.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Feedback-based debugging.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

App genome: callback sequencing in Android.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

A Verification Framework for Stateful Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2017

Towards Solving Decision Making Problems Using Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

Formalizing and verifying stochastic system architectures using Monterey Phoenix.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2016

From verified model to executable program: the PAT approach.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2016

Editorial.

[BibT_eX]

[DOI]

Stephan Merz

Jun Pang

Formal Aspects Comput., 2016

Optimizing selection of competing services with probabilistic hierarchical refinement.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Scaling BDD-based Timed Verification with Simulation Reduction.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2016

Service Adaptation with Probabilistic Partial Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2016

Improving Quality of Use Case Documents through Learning and User Interaction.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Towards Using Concurrent Java API Correctly.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Automatic Construction of Callback Model for Android Application.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Verification of Nash-Equilibrium for Probabilistic BAR Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Automated Verification of Timed Security Protocols with Clock Drift.

[BibT_eX]

[DOI]

Li Li

Sai Sathyanarayan Venkatraman

Proceedings of the FM 2016: Formal Methods, 2016

2015

A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

BOWL: augmenting the Semantic Web with beliefs.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2015

Event and Strategy Analytics.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract).

[BibT_eX]

[DOI]

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Interpolation Guided Compositional Verification (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Optimizing selection of competing features via feedback-directed evolutionary algorithms.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Reliability assessment for distributed systems via communication abstraction and refinement.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Formal Analysis of a Single Sign-On Protocol Implementation for Android.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Sports Strategy Analytics Using Probabilistic Reasoning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Verifying Parameterized Timed Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

2014

Learning Assumptions for CompositionalVerification of Timed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2014

Towards Formal Modelling and Verification of Pervasive Computing Systems.

[BibT_eX]

[DOI]

Trans. Comput. Collect. Intell., 2014

Parameter synthesis for hierarchical concurrent real-time systems.

[BibT_eX]

[DOI]

Real Time Syst., 2014

Complexity of the Soundness Problem of Workflow Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

Model checking approach to automated planning.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2014

Model checking with fairness assumptions using PAT.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2014

Towards verification of computation orchestration.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Stateful Security Protocol Verification.

[BibT_eX]

[DOI]

CoRR, 2014

Automated runtime recovery for QoS-based service composition.

[BibT_eX]

[DOI]

Proceedings of the 23rd International World Wide Web Conference, 2014

RaPiD: a toolkit for reliability analysis of non-deterministic systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Event Analytics.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

TAuth: Verifying Timed Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

Practical Analysis Framework for Software-Based Attestation Scheme.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

SCC-Based Improved Reachability Analysis for Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

Symbolic Analysis of an Electric Vehicle Charging Protocol.

[BibT_eX]

[DOI]

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Towards a Combination of CafeOBJ and PAT.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

2013

Verifying Linearizability via Optimized Refinement Checking.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Modeling and verifying hierarchical real-time systems using stateful timed CSP.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2013

State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2013

USMMC: a self-contained model checker for UML state machines.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Rajaraman Kanagasabai

Proceedings of the IEEE Ninth World Congress on Services, 2013

AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations.

[BibT_eX]

[DOI]

Guangdong Bai

Jike Lei

Guozhu Meng

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

Constraint-based automatic symmetry detection.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Improved Reachability Analysis in DTMC via Divide and Conquer.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

A Formal Semantics for Complete UML State Machines with Communications.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Generating C# Programs from CSP# Models.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Dynamic synthesis of local time requirement for service composition.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Build your own model checker in one month.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

A UTP Semantics for Communicating Processes with Shared Variables.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2013

PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

CELL: A Compositional Verification Framework.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Timed Automata.

[BibT_eX]

[DOI]

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

Formal modeling and validation of Stateflow diagrams.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

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

[BibT_eX]

[DOI]

Annabelle McIver

Carroll Morgan

NII Shonan Meet. Rep., 2012

SeVe: automatic tool for verification of security protocols.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2012

Editorial.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2012

Planning as Model Checking Tasks.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2012: Principles and Practice of Multi-Agent Systems, 2012

Analyzing multi-agent systems with probabilistic model checking approach.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT).

[BibT_eX]

[DOI]

Proceedings of the Impact Analysis of Solutions for Chronic Disease Prevention and Management, 2012

More Anti-chain Based Refinement Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

An Analytical and Experimental Comparison of CSP Extensions and Tools.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

Automatic Generation of Provably Correct Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

Formal Analysis of Pervasive Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Translating PDDL into CSP# - The PAT Approach.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Model Checking Software Architecture Design.

[BibT_eX]

[DOI]

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Improved BDD-Based Discrete Analysis of Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the FM 2012: Formal Methods, 2012

Automatic Compositional Verification of Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the FM 2012: Formal Methods, 2012

A Model Checker for Hierarchical Probabilistic Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Using Monterey Phoenix to Formalize and Verify System Architectures.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Complexity of the Soundness Problem of Bounded Workflow Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

A philosophy-driven entity classification and enrichment for ontology mapping.

[BibT_eX]

[DOI]

Nwe Ni Tun

Satoshi Tojo

Expert Syst. J. Knowl. Eng., 2011

Towards bug-free implementation for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

A model checking framework for hierarchical systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Towards a Model Checker for NesC and Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

Differencing Labeled Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

Verification of Orchestration Systems Using Compositional Partial Order Reduction.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

On Combining State Space Reductions with Global Fairness Assumptions.

[BibT_eX]

[DOI]

Proceedings of the FM 2011: Formal Methods, 2011

An Efficient Algorithm for Learning Event-Recording Automata.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

A verification system for interval-based specification languages.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2010

Analyzing hierarchical complex real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

SpecDiff: debugging formal specifications.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Mild Dementia Care at Home - Integrating Activity Monitoring, User Interface Plasticity and Scenario Verification.

[BibT_eX]

[DOI]

Proceedings of the Aging Friendly Technology for Health and Independence, 2010

Developing Model Checkers Using PAT.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

Model-Based Methods for Linking Web Service Choreography and Orchestration.

[BibT_eX]

[DOI]

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

SCP special issue on the grand challenge - Preface.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2009

Software monitoring through formal specification animation.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2009

Editorial.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2009

A formal framework for modeling and validating Simulink diagrams.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2009

Integrating Specification and Programs for System Modeling and Verification.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

Towards Expressive Specification and Efficient Model Checking.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

Formal Verification of Scalable NonZero Indicators.

[BibT_eX]

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2009

Scalable Multi-core Model Checking Fairness Enhanced Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2009

Fair Model Checking with Process Counter Abstraction.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

PAT: Towards Flexible Verification under Fairness.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Timed Automata Patterns.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2008

Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach.

[BibT_eX]

[DOI]

Kenji Taguchi

Int. J. Agent Oriented Softw. Eng., 2008

Compositional encoding for bounded model checking.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2008

Bounded Model Checking of Compositional Processes.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Enhancing Semantic Web Services with Inheritance.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Ontology Generation through the Fusion of Partial Reuse and Relation Extraction.

[BibT_eX]

[DOI]

Nwe Ni Tun

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.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2008

An analyzer for extended compositional process algebras.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A verification system for timed interval calculus.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Specifying and Verifying Event-Based Fairness Enhanced Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2008

Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2008

2007

Realizing Live Sequence Charts in SystemVerilog.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Third ISWC Workshop on Uncertainty Reasoning for the Semantic Web Busan, 2007

Evolution and Runtime Monitoring of Software Systems.

[BibT_eX]

Hui Liang

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

A Verification Framework for Agent Knowledge.

[BibT_eX]

[DOI]

Yuzhang Feng

Ho-fung Leung

Proceedings of the Formal Methods and Software Engineering, 2007

Machine-Assisted Proof Support for Validation Beyond Simulink.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2007

2006

Design Synthesis from Interaction and State-Based Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

Generic Fault Tolerant Software Architecture Reasoning and Customization.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2006

Reasoning support for Semantic Web ontology family languages using Alloy.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2006

Computer-aided dispatch system family architecture and verification: an integrated formal approach.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2006

Context Awareness Systems Design and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

HighSpec: a tool for building and checking OZTA models.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

From semantic web to expressive software specifications: a modeling languages spectrum.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Verification of Computation Orchestration Via Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

A Reasoning Method for Timed CSP Based on Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

Applying Timed Interval Calculus to Simulink Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

Formal Specification-based Online Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Semantic Web Languages - Towards an Institutional Perspective.

[BibT_eX]

[DOI]

Dorel Lucanu

Proceedings of the Algebra, Meaning, and Computation, 2006

Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL.

[BibT_eX]

[DOI]

Ling Yuan

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005

Formal Designs for Embedded and Hybrid Systems.

[BibT_eX]

[DOI]

Ping Hao

Int. J. Softw. Eng. Knowl. Eng., 2005

Preface.

[BibT_eX]

[DOI]

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

Soundness proof of Z semantics of OWL using institutions.

[BibT_eX]

[DOI]

Dorel Lucanu

Proceedings of the 14th international conference on World Wide Web, 2005

TCOZ Approach to OWL-S Process Model Design.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Reasoning Support for SWRL-FOL Using Alloy.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Institution Morphisms for Relating OWL and Z.

[BibT_eX]

Dorel Lucanu

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

The Semantics and Tool Support of OZTA.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2005

Model Checking Live Sequence Charts.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Extracting FSMs from Object-Z Specifications with History Invariants.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Integrating Object-Z with Timed Automata.

[BibT_eX]

[DOI]

Ping Hao

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Software Engineering Approaches to Semantic Web.

[BibT_eX]

[DOI]

D. Dan

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Synthesis of Distributed Processes from Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the FM 2005: Formal Methods, 2005

A Tools Environment for Developing and Reasoning about Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

Semantic Space: An Infrastructure for Smart Spaces.

[BibT_eX]

[DOI]

Xiaohang Wang

SankaRavipriya Hettiarachchi

Chung-Yau Chin

Daqing Zhang

IEEE Pervasive Comput., 2004

TCOZ approach to semantic web services design.

[BibT_eX]

[DOI]

Proceedings of the 13th international conference on World Wide Web, 2004

A combined approach to checking web ontologies.

[BibT_eX]

[DOI]

Proceedings of the 13th international conference on World Wide Web, 2004

Generating MSCs from an Integrated Formal Specification Language.

[BibT_eX]

[DOI]

Shengchao Qin

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Verifying OWL and ORL Ontologies in PVS.

[BibT_eX]

[DOI]

Yuzhang Feng

Proceedings of the Theoretical Aspects of Computing, 2004

Verifying DAML+OIL and Beyond in Z/EVES.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Software Modeling Techniques and the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Timed Patterns: TCOZ to Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

Relating pi-calculus to Object-Z.

[BibT_eX]

[DOI]

Kenji Taguchi

Gabriel Ciobanu

Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

Reasoning about Semantic Web in Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

ZML: XML Support for Standard Z.

[BibT_eX]

[DOI]

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Analysing Web Ontology in Alloy: A Military Case Study.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

A Semantic Foundation for TCOZ in Unifying Theories of Programming.

[BibT_eX]

[DOI]

Shengchao Qin

Wei-Ngan Chin

Proceedings of the FME 2003: Formal Methods, 2003

Checking and Reasoning about Semantic Web through Alloy.

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

Formalizing Semantics of XSLT Using Object-Z.

[BibT_eX]

[DOI]

Proceedings of the Web Technologies and Applications, 5th Asian-Pacific Web Conference, 2003

2002

Deep Semantic Links of TCSP and Object-Z: TCOZ Approach.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2002

A Formal Object Approach to the Design of ZML.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 2002

Extending SOFL to support both top-down and bottom-up approaches.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Kenji Taguchi

Proceedings of the Formal Methods and Software Engineering, 2002

Z Approach to Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2002

XML-Based Static Type Checking and Dynamic Visualization for TCOZ.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2002

Semantic Web for Extending and Linking Formalisms.

[BibT_eX]

[DOI]

Proceedings of the FME 2002: Formal Methods, 2002

The Semantics of Extended SOFL.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Specifying and Reasoning about Generic Architecture in TCOZ.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sergey A. Stupnikov

Leonid A. Kalinichenko

Proceedings of the Advances in Databases and Information Systems, 2002

2001

Object-Z web environment and projections to UML.

[BibT_eX]

[DOI]

Proceedings of the Tenth International World Wide Web Conference, 2001

State, Event, Time and Diagram in System Modeling.

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering, 2001

An XML/XSL Approach to Visualize and Animate TCOZ.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

Class and Module in SOFL.

[BibT_eX]

[DOI]

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

Linking UML with Integrated Formal Techniques.

[BibT_eX]

Proceedings of the Unified Modeling Language: Systems Analysis, 2001

2000

Timed Communicating Object Z.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2000

TRMCS in TCOZ.

[BibT_eX]

[DOI]

Jing Liu

Proceedings of the 10th International Workshop on Software Specification and Design, 2000

1999

Overview of the Semantics of TCOZ.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 1999

An Object Semantic Model of SOFL.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 1999

Sensors and Actuators in TCOZ.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

Modeling Aircraft Mission Computer Task Rates.

[BibT_eX]

[DOI]

Neale Fulton

Proceedings of the FM'99 - Formal Methods, 1999

Capturing Periodic Concurrent Interactions of Mission Computer Tasks.

[BibT_eX]

[DOI]

Neale Fulton

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998

Network Topology and a Case Study in TCOZ.

[BibT_eX]

[DOI]

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Blending Object-Z and Timed CSP: An Introduction to TCOZ.

[BibT_eX]

[DOI]

Proceedings of the Forging New Links, 1998

Active Objects in TCOZ.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997

An object-oriented denotational semantics of a small programming language.

[BibT_eX]

Gordon A. Rose

Object Oriented Syst., 1997

A framework for adding time into formal object models.

[BibT_eX]

[DOI]

Lin Zucconi

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Specifying Parallel and Distributed Systems in Object-Z.

[BibT_eX]

[DOI]

Lin Zucconi

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1995

Formal object modelling techniques and denotational semantics studies

[BibT_eX]

[DOI]

PhD thesis, 1995

The role of secondary attributes in formal object modelling.

[BibT_eX]

[DOI]

Gordon A. Rose

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Living with Free Type and Class Union.

[BibT_eX]

[DOI]

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1993

Class Union and Polymorphism.

[BibT_eX]

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.

[BibT_eX]