R. Geoff Dromey

55 papers A* 2B 4C 9Journal 25Unranked 14
YearRankTypeTitle / Venue / Authors
2014 J jnl
Formalizing the transition from requirements' change to design change using an evolutionary traceability model.
Innov. Syst. Softw. Eng.
Lian Wen, David Tuffley, R. Geoff Dromey
2011 J jnl
Comodeling: From Requirements to an Integrated Software/Hardware Model.
Computer
Toby Myers, R. Geoff Dromey, Peter Fritzson
2009 — conf
Dynamic Relational Behaviour for Large-Scale Systems.
Australian Software Engineering Conference
Kirsten Winter, Robert Colvin, R. Geoff Dromey
2009 — conf
From Requirements to Embedded Software - Formalising the Key Steps.
Australian Software Engineering Conference
Toby Myers, R. Geoff Dromey
2009 J jnl
Software Engineering and Scale-Free Networks.
IEEE Trans. Syst. Man Cybern. Part B
Lian Wen, R. Geoff Dromey, Diana Kirk
2009 J jnl
Software Engineering and Scale-Free Networks.
IEEE Trans. Syst. Man Cybern. Part B
Lian Wen, R. Geoff Dromey, Diana Kirk
2008 — conf
Seamlessly Integrating Software & Hardware Modelling for Large-Scale Systems.
EOOLT
Toby Myers, Peter Fritzson, R. Geoff Dromey
2007 C conf
"Integrare", a Collaborative Environment for Behavior-Oriented Design.
CDVE
Lian Wen, Robert Colvin, Kai Lin, John Seagrott, Nisansala Yatapanage, R. Geoff Dromey
2007 — conf
A tool to visualize behavior and design evolution.
IWPSE
Lian Wen, Diana Kirk, R. Geoff Dromey
2007 C conf
API design recommendations for facilitating conversion of single-user applications into collaborative applications.
CollaborateCom
Kai Lin, David Chen, R. Geoff Dromey, Steven Xia, Chengzheng Sun
2007 C conf
Early Validation and Verification of a Distributed Role-Based Access Control Model.
APSEC
Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey
2007 — conf
Engineering Large-Scale Software-Intensive Systems.
ASWEC
R. Geoff Dromey
2007 C conf
Leveraging Single-User Microsoft Visio for Multi-user Real-Time Collaboration.
CDVE
Kai Lin, David Chen, Chengzheng Sun, R. Geoff Dromey
2007 C conf
Maintaining constraints expressed as formulas in collaborative systems.
CollaborateCom
Kai Lin, David Chen, R. Geoff Dromey, Chengzheng Sun
2007 — conf
Software Systems as Complex Networks.
IEEE ICCI
Lian Wen, Diana Kirk, R. Geoff Dromey
2006 J jnl
Climbing over the "No Silver Bullet" Brick Wall.
IEEE Softw.
R. Geoff Dromey
2006 C conf
Multi-way Dataflow Constraint Propagation in Real-time Collaborative Systems.
CollaborateCom
Kai Lin, David Chen, R. Geoff Dromey, Chengzheng Sun
2005 C conf
A Constraint Maintenance Strategy and Applications in Real-Time Collaborative Environments.
CDVE
Kai Lin, David Chen, Chengzheng Sun, R. Geoff Dromey
2005 — conf
A Metamodel for the Behavior Trees Modelling Technique.
ICITA (1)
Cesar Gonzalez-Perez, Brian Henderson-Sellers, R. Geoff Dromey
2005 — conf
Architecture Normalization for Component-based Systems.
FACS
Lian Wen, R. Geoff Dromey
2005 C conf
Integrating Safety and Security Requirements into Design of an Embedded System.
APSEC
Saad Zafar, R. Geoff Dromey
2005 B conf
Maintaining Constraints in Collaborative Graphic Systems: the CoGSE Approach.
ECSCW
Kai Lin, David Chen, Chengzheng Sun, R. Geoff Dromey
2005 C conf
Maintaining multi-way dataflow constraints in collaborative systems.
CollaborateCom
Kai Lin, David Chen, R. Geoff Dromey, Chengzheng Sun
2004 A* conf
An Environment for Building a System out of its Requirements.
ASE
Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington
2004 B conf
From Requirements Change to Design Change: A Formal Path.
SEFM
Lian Wen, R. Geoff Dromey
2003 — conf
Architecture as an Emergent Property of Requirements Integration.
STRAW
R. Geoff Dromey
2003 B conf
From Requirements to Design: Formalizing the Key Steps.
SEFM
R. Geoff Dromey
2003 — conf
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity.
Scenarios: Models, Transformations and Tools
R. Geoff Dromey
2003 J jnl
Software Quality-Prevention versus Cure?
Softw. Qual. J.
R. Geoff Dromey
2002 B conf
On Expressing and Monitoring Behaviour in Contracts.
EDOC
Zoran Milosevic, R. Geoff Dromey
1998 — conf
Software Design: In Search of Method.
Australian Software Engineering Conference
R. Geoff Dromey
1996 J jnl
A Formal Basis for Removing Goto Statements.
Comput. J.
Si Pan, R. Geoff Dromey
1996 A* conf
Beyond Structured Programming.
ICSE
Si Pan, R. Geoff Dromey
1996 J jnl
Cornering the Chimera.
IEEE Softw.
R. Geoff Dromey
1996 J jnl
Re-engineering Loops.
Comput. J.
Si Pan, R. Geoff Dromey
1996 J jnl
The Co-invariant Generator: An Aid in Deriving Loop Bodies.
Formal Aspects Comput.
David Billington, R. Geoff Dromey
1995 J jnl
A Model for Software Product Quality.
IEEE Trans. Software Eng.
R. Geoff Dromey
1994 — conf
SAFE: A Programming Language for Software Quality.
Software Quality and Productivity
B. K. Oliver, R. Geoff Dromey
1994 — conf
Software Quality and Productivity Improvement.
Software Quality and Productivity
R. Geoff Dromey
1994 — conf
Using Strongest Postconditions to Improve Software Quality.
Software Quality and Productivity
Si Pan, R. Geoff Dromey
1990 J jnl
Structure Clashes - An Alternative to Program Inversion.
Comput. J.
R. Geoff Dromey, T. A. Chorvat
1989 — book
Program derivation - the development of programs from specifications.
R. Geoff Dromey
1988 J jnl
Systematic Program Development.
IEEE Trans. Software Eng.
R. Geoff Dromey
1987 J jnl
Derivation of Sorting Algorithms from a Specification.
Comput. J.
R. Geoff Dromey
1986 J jnl
An Algorithm for The Selection Problem.
Softw. Pract. Exp.
R. Geoff Dromey
1985 J jnl
Forced Termination of Loops.
Softw. Pract. Exp.
R. Geoff Dromey
1985 J jnl
Program Development by Inductive Stepwise Refinement.
Softw. Pract. Exp.
R. Geoff Dromey
1984 J jnl
Exploiting Partial Order with Quicksort.
Softw. Pract. Exp.
R. Geoff Dromey
1980 J jnl
Fast String Searching by Finding Subkeys in Subtext.
Inf. Process. Lett.
Thomas A. Bailey, R. Geoff Dromey
1979 J jnl
A Fast Algorithm for Text Comparison.
Aust. Comput. J.
R. Geoff Dromey
1979 J jnl
A Linked-Path Connection Table with Substructural Atom-Ordering.
J. Chem. Inf. Comput. Sci.
R. Geoff Dromey
1978 J jnl
A Compact Free-Keyword File Structure for Author-Title-Keyword Searching. An Application to an NMR Bibliographic Database.
J. Chem. Inf. Comput. Sci.
R. Geoff Dromey
1978 J jnl
A Compact and Efficient File Structure for Searching Large Generic-Keyed Databases. An Application to Mass Spectral Data.
J. Chem. Inf. Comput. Sci.
R. Geoff Dromey
1978 J jnl
A Simple Tree-Structured Line Formula Notation for Representing Molecular Topology.
J. Chem. Inf. Comput. Sci.
R. Geoff Dromey
1978 J jnl
A Structural Molecular Formula for Flexible and Efficient Substructure Searching of Large Databases.
J. Chem. Inf. Comput. Sci.
R. Geoff Dromey
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling