Jin Song Dong

According to our database1, Jin Song Dong
  • authored at least 200 papers between 1993 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 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

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

From verified model to executable program: the PAT approach.
ISSE, 2016

Editorial.
Formal Asp. Comput., 2016

Editorial.
Formal Asp. 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.
ISSE, 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. Computational Collective Intelligence, 2014

Parameter synthesis for hierarchical concurrent real-time systems.
Real-Time Systems, 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 of Computer Science, 2014

Towards verification of computation orchestration.
Formal Asp. 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.
STTT, 2012

SeVe: automatic tool for verification of security protocols.
Frontiers of Computer Science in China, 2012

Editorial.
Formal Asp. 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

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
A philosophy-driven entity classification and enrichment for ontology mapping.
Expert Systems, 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.
ISSE, 2009

Editorial.
Formal Asp. Comput., 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

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.
IJAOSE, 2008

Compositional encoding for bounded model checking.
Frontiers of Computer Science in 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. Reliability, 2006

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

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

Preface.
Electr. Notes Theor. Comput. Sci., 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.
International Journal of Software Engineering and Knowledge Engineering, 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 Computing, 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 Asp. Comput., 2002

A Formal Object Approach to the Design of ZML.
Ann. Software Eng., 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

Linking UML with Integrated Formal Techniques.
Unified Modeling Language: Systems Analysis, Design and Development Issues, 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 Systems, 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
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...