Padmanabhan Krishnan

Cristina Cifuentes

Li Li

Tegawendé F. Bissyandé

Jacques Klein

IEEE Secur. Priv., 2023

Macaron: A Logic-based Framework for Software Supply Chain Security Assurance.

[BibT_eX]

[DOI]

Behnaz Hassanshahi

Trong Nhan Mai

Alistair Michael

Benjamin Selwyn-Smith

Sophie Bates

Proceedings of the 2023 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses, 2023

2022

Synthesis of Java Deserialisation Filters from Examples.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

Scalable string analysis: an experience report.

[BibT_eX]

[DOI]

Yang Zhao

Proceedings of the SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2021

MoScan: a model-based vulnerability scanner for web single sign-on services.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Security Research: Program Analysis Meets Security.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for an Informal World, 2021

2020

Coding Practices and Recommendations of Spring Security for Enterprise Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, 2020

Trade-offs in managing risk and technical debt in industrial research labs: an experience report.

[BibT_eX]

[DOI]

Proceedings of the TechDebt '20: International Conference on Technical Debt, 2020

2019

Commit-time incremental analysis.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2019

2018

Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

Driver Generation for Java EE Web Applications.

[BibT_eX]

[DOI]

Jens Dietrich

François Gauthier

Raghavendra Kagalavadi Ramesh

Proceedings of the 25th Australasian Software Engineering Conference, 2018

2017

Machine learning for finding bugs: An initial report.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Workshop on Machine Learning Techniques for Software Quality Evaluation, 2017

Inference of Security-Sensitive Entities in Libraries.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Security and Privacy Workshops, 2017

Evaluating quality of security testing of the JDK.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing, 2017

An efficient tunable selective points-to analysis for large codebases.

[BibT_eX]

[DOI]

Behnaz Hassanshahi

Bernhard Scholz

Yi Lu

Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017

Improving the Scalability of Automatic Linearizability Checking in SPIN.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2017

2016

A low-overhead, value-tracking approach to information flow security.

[BibT_eX]

[DOI]

Phil Stocks

Inf. Softw. Technol., 2016

2015

Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques.

[BibT_eX]

[DOI]

Prasad Bokil

R. Venkatesh

ACM SIGSOFT Softw. Eng. Notes, 2015

Enforcement of privacy requirements.

[BibT_eX]

[DOI]

Comput. Secur., 2015

A concise specification language for trace monitoring.

[BibT_eX]

[DOI]

Phil Stocks

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Combining type-analysis with points-to analysis for analyzing Java library source-code.

[BibT_eX]

[DOI]

Nicholas Allen

Bernhard Scholz

Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2015

Staged Points-to Analysis for Large Code Bases.

[BibT_eX]

[DOI]

Nicholas Allen

Bernhard Scholz

Proceedings of the Compiler Construction - 24th International Conference, 2015

A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014

A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking.

[BibT_eX]

[DOI]

Manuel Valdiviezo

Cristina Cifuentes

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

Guest editorial to the special section on SEFM 2009.

[BibT_eX]

[DOI]

Dang Van Hung

Antonio Cerone

Softw. Syst. Model., 2013

A Dynamic Approach to Locating Memory Leaks.

[BibT_eX]

[DOI]

Phil Stocks

Proceedings of the Testing Software and Systems, 2013

2012

Supporting Secure Information Flow: An Engineering Approach.

[BibT_eX]

[DOI]

Shane Bracher

Int. J. e Collab., 2012

A Framework for Analysing Driver Interactions with Semi-Autonomous Vehicles

[BibT_eX]

[DOI]

Siraj Ahmed Shaikh

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

A Certification Process for Android Applications.

[BibT_eX]

[DOI]

Harsha K. Kalutarage

Siraj Ahmed Shaikh

Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

Combining Static Analysis and Constraint Solving for Automatic Test Case Generation.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Effectiveness of Random Testing of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

2011

Wildlife Enforcement Monitoring System (WEMS): A solution to support compliance of Multilateral Environmental Agreements.

[BibT_eX]

[DOI]

Remi Chandran

Khoi Nguyen

Gov. Inf. Q., 2011

Applying Security Assurance Techniques to a Mobile Phone Application: An Initial Approach.

[BibT_eX]

[DOI]

Sergej Hafner

Andreas Zeiser

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

A General Framework to Measure Organizational Risk during Information Systems Evolution and its Customization.

[BibT_eX]

[DOI]

Aditya Agrawal

J. Res. Pract. Inf. Technol., 2010

Data generation in model-based testing.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Adding Service Engineering and Management to a Software Engineering Program.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 23rd IEEE Conference on Software Engineering Education and Training, 2010

2009

Automated Software Testing of Asynchronous Systems.

[BibT_eX]

[DOI]

Proceedings of Fifth Workshop on Model Based Testing, 2009

Applying Use Cases to Describe the Role of Standards in e-Health Information Systems.

[BibT_eX]

[DOI]

Emma Chávez

Proceedings of the Information Systems Development, 2009

Industry Academia Collaboration: An Experience Report at a Small University.

[BibT_eX]

[DOI]

Kelvin J. Ross

Proceedings of the Proceedings 22nd Conference on Software Engineering Education and Training, 2009

Model-Based Testing and the UML Testing Profile.

[BibT_eX]

[DOI]

Proceedings of the Semantics and Algebraic Specification, 2009

2008

Testing Privacy Policies Using Models.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Implementing secure document circulation: a prototype.

[BibT_eX]

[DOI]

Shane Bracher

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A Taxonomy of E-Health Standards to Assist System Developers.

[BibT_eX]

[DOI]

Emma Chávez

Proceedings of the Information Systems Development, 2008

2007

ORE: A Framework to Measure Organizational Risk Du.

[BibT_eX]

[DOI]

Aditya Agrawal

Proceedings of the Information Systems Development, 2007

Specification for Testing.

[BibT_eX]

[DOI]

Chris George

Jeff W. Sanders

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

Model-Based Security Vulnerability Testing.

[BibT_eX]

[DOI]

Kelvin J. Ross

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2006

An Approach to Provisioning E-Commerce Applications with Commercial Components.

[BibT_eX]

[DOI]

Lei Wang

Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006

Verifying BPEL Workflows Under Authorisation Constraints.

[BibT_eX]

[DOI]

Xiangpeng Zhao

Antonio Cerone

Proceedings of the Business Process Management, 4th International Conference, 2006

A Framework for Checking Behavioral Compatibility for Component Selection.

[BibT_eX]

[DOI]

Lei Wang

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005

Enabling Security Testing from Specification to Code.

[BibT_eX]

[DOI]

Shane Bracher

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

Independent examination of software: an experiment.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2004

Decomposing Controllers into Non-conflicting Distributed Controllers.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2004

Supporting Partial Component Matching.

[BibT_eX]

[DOI]

Lei Wang

Proceedings of the Distributed Computing and Internet Technology, 2004

Analysis of initial use case descriptions.

[BibT_eX]

Proceedings of the IASTED International Conference on Software Engineering, 2004

Uniform Descriptions for Model Based Testing.

[BibT_eX]

[DOI]

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

2003

Automatic synthesis of a subclass of schedulers in timed systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

User Assisted Verification of Non-Repudiation and Similar Properties.

[BibT_eX]

Robert Bannerman

Proceedings of the International Conference on Security and Management, 2003

2002

A tool based approach to checking logical consistency in accident reports.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2002

A Framework for Security and Control.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Providing Assistance for Proofs in the Teaching of Theory of Computation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computers in Education, 2002

Using Model Checking to Test a Firewall : A Case Study.

[BibT_eX]

[DOI]

Danita Hartley

Proceedings of the 28th EUROMICRO Conference 2002, 4-6 September 2002, Dortmund, Germany, 2002

2001

Prototyping Electronic Commerce Systems Using Esterel.

[BibT_eX]

[DOI]

J. Organ. Comput. Electron. Commer., 2001

Decomposing Timed Push Down Automata.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2001

An Environment for Specifying and Verifying Security Properties.

[BibT_eX]

[DOI]

Andre Renaud

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

2000

Automatic synthesis of schedulers in timed systems.

[BibT_eX]

[DOI]

Proceedings of the Computing: the Australasian Theory Symposium, 2000

Consistency checks for UML.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

Decomposition of Timed Automata.

[BibT_eX]

[DOI]

Kahn Mason

J. Univers. Comput. Sci., 1999

Issues Related to Distributed Processing of Picture Languages.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1999

Distributed timed automata.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Distributed Systems, 1999

1997

An Asynchronous Calculus Based on the Absence of Actions.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1997

1996

Architectural CCS.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1996

A Process Algebraic View of Linear Logic.

[BibT_eX]

Jane Hopkins

Proceedings of the First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, 1996

1995

Deriving distributed processes from concurrent processes.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1995

1994

A Semantic Characterisation for Faults in Replicated Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1994

Corrigendum.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 1994

A case study in specifying and testing architectural features.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 1994

Formal methods and design extraction: a pilot study.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1994

1993

Specification of systems with interrupts.

[BibT_eX]

[DOI]

J. Syst. Softw., 1993

1992

Specifying Asynchronous Transfer of Control.

[BibT_eX]

[DOI]

Peter D. Mosses

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

A Semantics for Multiprocessor Systems.

[BibT_eX]

[DOI]

Proceedings of the ESOP '92, 1992

1991

A Model for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Real-time action.

[BibT_eX]

[DOI]

Proceedings of the Euromicro '91 Workshop on Real Time Systems, 1991

Distributed CCS.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '91, 1991

1989

A distributed real-time language and its operational semantics.

[BibT_eX]

[DOI]

PhD thesis, 1989

Translation and Execution of Distributed Ada Programs: Is It Still Ada?

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1989

A Distributed Real-Time Language and Its Operational Semantics.

[BibT_eX]

[DOI]

Richard A. Volz

Proceedings of the Real-Time Systems Symposium, 1989

1988

Implementation of task types in distributed Ada.

[BibT_eX]

[DOI]