Jun Sun

According to our database1, Jun Sun authored at least 195 papers between 2002 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Practical static analysis of context leaks in Android applications.
Softw., Pract. Exper., 2019

Adversarial sample detection for deep neural network through model mutation testing.
Proceedings of the 41st International Conference on Software Engineering, 2019

Careful-Packing: A Practical and Scalable Anti-Tampering Software Protection enforced by Trusted Computing.
Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy, 2019

2018
An Adaptive Markov Strategy for Defending Smart Grid False Data Injection From Malicious Attackers.
IEEE Trans. Smart Grid, 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

CrowdService: Optimizing Mobile Crowdsourcing and Service Composition.
ACM Trans. Internet Techn., 2018

Efficient and Robust Emergence of Norms through Heuristic Collective Learning.
TAAS, 2018

Learning probabilistic models for model checking: an evolutionary approach and an empirical study.
STTT, 2018

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

Frame Inference for Inductive Entailment Proofs in Separation Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System.
Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Delta debugging microservice systems.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

PFix: fixing concurrency bugs based on memory access patterns.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 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

Benchmarking microservice systems for software engineering research.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Towards optimal concolic testing.
Proceedings of the 40th International Conference on Software Engineering, 2018

Static analysis of context leaks in android applications.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

Testing heap-based programs with Java StarFinder.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Compositional Reasoning for Shared-Variable Concurrent Programs.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

Towards 'Verifying' a Water Treatment System.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

Importance Sampling of Interval Markov Chains.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017
Language Inclusion Checking of Timed Automata with Non-Zenoness.
IEEE Trans. Software Eng., 2017

Battery-Aware Mobile Data Service.
IEEE Trans. Mob. Comput., 2017

Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique.
IEEE Trans. Information Forensics and Security, 2017

Detecting Steganography of Adaptive Multirate Speech with Unknown Embedding Rate.
Mobile Information Systems, 2017

Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Parametric Model Checking Timed Automata Under Non-Zenoness Assumption.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

O2O service composition with social collaboration.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

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

Automatic loop-invariant generation and refinement through selective sampling.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

JSFox: integrating static and dynamic type analysis of JavaScript programs.
Proceedings of the 39th International Conference on Software Engineering, 2017

Assertion generation through active learning.
Proceedings of the 39th International Conference on Software Engineering, 2017

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

Improving Probability Estimation Through Active Probabilistic Model Learning.
Proceedings of the Formal Methods and Software Engineering, 2017

Assertion Generation Through Active Learning.
Proceedings of the Formal Methods and Software Engineering, 2017

Classification-Based Parameter Synthesis for Parametric Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2017

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

Learning Likely Invariants to Explain Why a Program Fails.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning.
Proceedings of the 2017 IEEE International Conference on Data Mining Workshops, 2017

Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking.
IEEE Trans. Human-Machine Systems, 2016

Formalizing and verifying stochastic system architectures using Monterey Phoenix.
Software and System Modeling, 2016

IBED: Combining IBEA and DE for optimal feature selection in software product line engineering.
Appl. Soft Comput., 2016

Regular Symmetry Patterns.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Designing minimal effective normative systems with the help of lightweight formal methods.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

CrowdService: serving the individuals through mobile crowdsourcing and service composition.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 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

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

Towards Concolic Testing for Hybrid Systems.
Proceedings of the FM 2016: Formal Methods, 2016

Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation.
Proceedings of the FM 2016: Formal Methods, 2016

Satisfiability Modulo Heap-Based Programs.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

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

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

TLV: abstraction through testing, learning, and validation.
Proceedings of the 2015 10th Joint Meeting on Foundations 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

Detection and classification of malicious JavaScript via attack behavior modelling.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 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

An Adaptive Markov Strategy for Effective Network Intrusion Detection.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

GPU Accelerated On-the-Fly Reachability Checking.
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

Heuristic Collective Learning for Efficient and Robust Emergence of Social Norms.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

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

Towards Formal Modelling and Verification of Pervasive Computing Systems.
Trans. Computational Collective Intelligence, 2014

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

Model checking approach to automated planning.
Formal Methods in System Design, 2014

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

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

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

Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Detecting differences across multiple instances of code clones.
Proceedings of the 36th International Conference on Software Engineering, 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

GPU Accelerated Counterexample Generation in LTL Model Checking.
Proceedings of the Formal Methods and 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

A Hybrid Model of Connectors in Cyber-Physical Systems.
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

Adaptive Defending Strategy for Smart Grid Attacks.
Proceedings of the 2nd Workshop on Smart Energy Grid Security, 2014

Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

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

An extensive model checking framework for multi-agent systems.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 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

Social-Loc: improving indoor localization with social sensing.
Proceedings of the 11th ACM Conference on Embedded Network Sensor Systems, 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

TzuYu: Learning stateful typestates.
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

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

Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction.
Proceedings of the Formal Methods and Software Engineering, 2013

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

vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems.
Proceedings of the Formal Methods and Software Engineering, 2013

Verification of Functional and Non-functional Requirements of Web Service Composition.
Proceedings of the Formal Methods and Software Engineering, 2013

TTM/PAT: Specifying and Verifying Timed Transition Models.
Proceedings of the Formal Techniques for Safety-Critical Systems, 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

Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

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

Formal modeling and validation of Stateflow diagrams.
STTT, 2012

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

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

Improving indoor localization with social interactions.
Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems, 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

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

Parameter Synthesis for Hierarchical Concurrent Real-Time Systems.
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
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

Model Checking Hierarchical Probabilistic Systems.
Proceedings of the Formal Methods and Software Engineering, 2010

Model Checking a Model Checker: A Code Contract Combined Approach.
Proceedings of the Formal Methods and Software Engineering, 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
A formal framework for modeling and validating Simulink diagrams.
Formal Asp. Comput., 2009

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

Verification of Population Ring Protocols in PAT.
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

Model Checking Linearizability via Refinement.
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

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

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

A Scalable Approach to Multi-style Architectural Modeling and Verification.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

A Formal Model of Semantic Web Service Ontology (WSMO) Execution.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

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

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

A Formal Semantic Model of the Semantic Web Service Ontology (WSMO).
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

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

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

Reasoning About ORA-SS Data Models Using the Semantic Web.
, 2006

Algorithmic Design Using Object-Z for Twig XML Queries Evaluation.
Electr. Notes Theor. Comput. Sci., 2006

Validating Semistructured Data Using OWL.
Proceedings of the Advances in Web-Age Information Management, 2006

Context Awareness Systems Design and Reasoning.
Proceedings of the Leveraging Applications of Formal Methods, 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

2005
Visualizing and Simulating Semantic Web Services Ontologies.
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

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
Generating MSCs from an Integrated Formal Specification Language.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

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

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

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


  Loading...