Gordon J. Pace
Gordon J. Pace
Department of Computer Science, University of Malta
Verified email at um.edu.mt
Title
Cited by
Cited by
Year
LARVA---safer monitoring of real-time java programs (tool paper)
C Colombo, GJ Pace, G Schneider
2009 Seventh IEEE International Conference on Software Engineering and …, 2009
1452009
Dynamic event-based runtime monitoring of real-time and contextual properties
C Colombo, GJ Pace, G Schneider
International Workshop on Formal Methods for Industrial Critical Systems …, 2008
912008
Automatic conflict detection on contracts
S Fenech, GJ Pace, G Schneider
International Colloquium on Theoretical Aspects of Computing, 200-214, 2009
582009
Calculating τ-Confluence Compositionally
GJ Pace, F Lang, R Mateescu
International Conference on Computer Aided Verification, 446-459, 2003
502003
Clan: A tool for contract analysis and conflict discovery
S Fenech, GJ Pace, G Schneider
International Symposium on Automated Technology for Verification and …, 2009
412009
An embedded language framework for hardware compilation
K Claessen, GJ Pace
The European Joint Conferences on Theory and Practice of Software, 2002
382002
A light-weight defect classification scheme for embedded automotive software and its initial evaluation
N Mellegård, M Staron, F Törner
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
372012
Recovery within long-running transactions
C Colombo, GJ Pace
ACM Computing Surveys (CSUR) 45 (3), 1-35, 2013
362013
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
H Barringer, Y Falcone, B Finkbeiner, K Havelund, I Lee, G Pace, G Rosu, ...
Springer, 2010
32*2010
Model checking contracts–a case study
G Pace, C Prisacariu, G Schneider
International Symposium on Automated Technology for Verification and …, 2007
322007
Support vector machines with profile-based kernels for remote protein homology detection
S Busuttil, J Abela, GJ Pace
Genome Informatics 15 (2), 191-200, 2004
322004
Distributed system contract monitoring
A Francalanza, A Gauci, GJ Pace
The Journal of Logic and Algebraic Programming 82 (5-7), 186-215, 2013
302013
Evolutionary algorithms for definition extraction
C Borg, M Rosner, G Pace
Proceedings of the 1st Workshop on Definition Extraction, 26-32, 2009
302009
StaRVOOrS : A Tool for Combined Static and Runtime Verification of Java
JM Chimento, W Ahrendt, GJ Pace, G Schneider
Runtime Verification, 297-305, 2015
282015
Challenges in the specification of full contracts
GJ Pace, G Schneider
International Conference on Integrated Formal Methods, 292-306, 2009
282009
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries
C Colombo, A Francalanza, R Mizzi, GJ Pace
International Conference on Software Engineering and Formal Methods, 218-232, 2012
262012
A controlled language for the specification of contracts
GJ Pace, M Rosner
International Workshop on Controlled Natural Language, 226-245, 2009
262009
Safer asynchronous runtime monitoring using compensations
C Colombo, GJ Pace, P Abela
Formal Methods in System Design 41 (3), 269-294, 2012
252012
Safe runtime verification of real-time properties
C Colombo, GJ Pace, G Schneider
International Conference on Formal Modeling and Analysis of Timed Systems …, 2009
252009
A specification language for static and runtime verification of data and control properties
W Ahrendt, JM Chimento, GJ Pace, G Schneider
International Symposium on Formal Methods, 108-125, 2015
242015
The system can't perform the operation now. Try again later.
Articles 1–20