Jin Song Dong
Orcid: 0000-0002-6512-8326
According to our database1,
Jin Song Dong
authored at least 299 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Contribution Evaluation of Heterogeneous Participants in Federated Learning via Prototypical Representations.
CoRR, 2024
CoRR, 2024
Towards Transferable Attacks Against Vision-LLMs in Autonomous Driving with Typography.
CoRR, 2024
PAODING: A High-fidelity Data-free Pruning Toolkit for Debloating Pre-trained Neural Networks.
CoRR, 2024
A Symbolic Rule Integration Framework with Logic Transformer for Inductive Relation Prediction.
Proceedings of the ACM on Web Conference 2024, 2024
Essential or Excessive? MINDAEXT: Measuring Data Minimization Practices among Browser Extensions.
Proceedings of the IEEE International Conference on Software Analysis, 2024
PhishDecloaker: Detecting CAPTCHA-cloaked Phishing Websites via Hybrid Vision-based Interactive Models.
Proceedings of the 33rd USENIX Security Symposium, 2024
Less Defined Knowledge and More True Alarms: Reference-based Phishing Detection without a Pre-defined Reference List.
Proceedings of the 33rd USENIX Security Symposium, 2024
2023
Appl. Intell., June, 2023
ACM Comput. Surv., 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
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
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2023
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
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023
Proceedings of the IEEE International Conference on Data Mining, 2023
2022
IEEE Trans. Software Eng., 2022
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
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
Proceedings of the Theoretical Aspects of Software Engineering, 2022
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
Proceedings of the ACM MobiCom '22: The 28th Annual International Conference on Mobile Computing and Networking, Sydney, NSW, Australia, October 17, 2022
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
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
IEEE Trans. Software Eng., 2021
IEEE Trans. Software Eng., 2021
Adversarial Adaptive Neighborhood With Feature Importance-Aware Convex Interpolation.
IEEE Trans. Inf. Forensics Secur., 2021
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
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
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
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
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
2020
Softw. Syst. Model., 2020
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
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
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
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
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
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
CoRR, 2019
Smart Grid Metering Networks: A Survey on Security, Privacy and Open Research Issues.
IEEE Commun. Surv. Tutorials, 2019
Proceedings of the Information Security - 22nd International Conference, 2019
2018
IEEE Trans. Software Eng., 2018
Swarm Evol. Comput., 2018
Knowl. Based Syst., 2018
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS.
Formal Aspects Comput., 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
Proceedings of the Formal Methods and Software Engineering, 2018
Proceedings of the Formal Methods and Software Engineering, 2018
Proceedings of the Formal Methods and Software Engineering, 2018
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
2017
Proceedings of the Security and Privacy in Communication Networks, 2017
Proceedings of the Security and Privacy in Communication Networks, 2017
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
Proceedings of the Formal Methods and Software Engineering, 2017
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017
2016
Softw. Syst. Model., 2016
Innov. Syst. Softw. Eng., 2016
Optimizing selection of competing services with probabilistic hierarchical refinement.
Proceedings of the 38th International Conference on Software Engineering, 2016
Proceedings of the Formal Methods and Software Engineering, 2016
Proceedings of the Formal Methods and Software Engineering, 2016
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
Proceedings of the FM 2016: Formal Methods, 2016
2015
IEEE Trans. Software Eng., 2015
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
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
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015
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
Proceedings of the FM 2015: Formal Methods, 2015
2014
IEEE Trans. Software Eng., 2014
Trans. Comput. Collect. Intell., 2014
Real Time Syst., 2014
Proceedings of the 23rd International World Wide Web Conference, 2014
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
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
Proceedings of the Formal Methods and Software Engineering, 2014
Proceedings of the Formal Methods and Software Engineering, 2014
Proceedings of the Formal Methods and Software Engineering, 2014
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014
Proceedings of the Specification, Algebra, and Software, 2014
2013
IEEE Trans. Software Eng., 2013
ACM Trans. Softw. Eng. Methodol., 2013
Proceedings of the Verification, 2013
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
Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013
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
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the Formal Methods and Software Engineering, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
Proceedings of the Automated Technology for Verification and Analysis, 2013
2012
Proceedings of the Handbook of Finite State Based Models and Applications., 2012
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
Frontiers Comput. Sci. China, 2012
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
Proceedings of the 34th International Conference on Software Engineering, 2012
Proceedings of the Impact Analysis of Solutions for Chronic Disease Prevention and Management, 2012
Proceedings of the Formal Methods and Software Engineering, 2012
Proceedings of the Formal Methods and Software Engineering, 2012
Proceedings of the Formal Methods and Software Engineering, 2012
Proceedings of the Formal Methods and Software Engineering, 2012
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012
Proceedings of the FM 2012: Formal Methods, 2012
Proceedings of the FM 2012: Formal Methods, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012
2011
Expert Syst. J. Knowl. Eng., 2011
Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the FM 2011: Formal Methods, 2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
2010
ACM Trans. Softw. Eng. Methodol., 2010
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 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
Proceedings of the Automated Technology for Verification and Analysis, 2010
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010
2009
Innov. Syst. Softw. Eng., 2009
Formal Aspects Comput., 2009
Proceedings of the TASE 2009, 2009
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
Proceedings of the Formal Methods and Software Engineering, 2009
Proceedings of the Formal Methods and Software Engineering, 2009
Proceedings of the FM 2009: Formal Methods, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach.
Int. J. Agent Oriented Softw. Eng., 2008
Frontiers Comput. Sci. China, 2008
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
Proceedings of the Formal Methods and Software Engineering, 2008
Proceedings of the Formal Methods and Software Engineering, 2008
2007
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
Proceedings of the Formal Methods and Software Engineering, 2007
Proceedings of the Formal Methods and Software Engineering, 2007
2006
IEEE Trans. Software Eng., 2006
IEEE Trans. Reliab., 2006
Multiagent Grid Syst., 2006
Computer-aided dispatch system family architecture and verification: an integrated formal approach.
IEE Proc. Softw., 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
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
Proceedings of the Formal Methods and Software Engineering, 2006
Proceedings of the Formal Methods and Software Engineering, 2006
Proceedings of the Formal Methods and Software Engineering, 2006
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006
Proceedings of the Algebra, Meaning, and Computation, 2006
Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006
2005
Int. J. Softw. Eng. Knowl. Eng., 2005
Proceedings of the International Workshop on Web Languages and Formal Methods, 2005
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
Proceedings of the Formal Methods and Software Engineering, 2005
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005
Proceedings of the FM 2005: Formal Methods, 2005
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005
2004
Proceedings of the 13th international conference on World Wide Web, 2004
Proceedings of the 13th international conference on World Wide Web, 2004
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004
Proceedings of the Theoretical Aspects of Computing, 2004
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
Proceedings of the Formal Methods and Software Engineering, 2004
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004
2003
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
Proceedings of the FME 2003: Formal Methods, 2003
Proceedings of the FME 2003: Formal Methods, 2003
Proceedings of the Web Technologies and Applications, 5th Asian-Pacific Web Conference, 2003
2002
Formal Aspects Comput., 2002
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002
Proceedings of the Formal Methods and Software Engineering, 2002
Proceedings of the Formal Methods and Software Engineering, 2002
Proceedings of the Formal Methods and Software Engineering, 2002
Proceedings of the FME 2002: Formal Methods, 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
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
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
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
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
Proceedings of the 10th International Workshop on Software Specification and Design, 2000
1999
Proceedings of the Integrated Formal Methods, 1999
Proceedings of the FM'99 - Formal Methods, 1999
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999
1998
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998
Proceedings of the Forging New Links, 1998
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
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997
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
PhD thesis, 1995
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995
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