Παρακολούθηση
Gordon J. Pace
Gordon J. Pace
Department of Computer Science, University of Malta
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα um.edu.mt
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
2292009
Dynamic event-based runtime monitoring of real-time and contextual properties
C Colombo, GJ Pace, G Schneider
Formal Methods for Industrial Critical Systems: 13th International Workshop …, 2009
1342009
A survey of challenges for runtime verification from advanced application domains (beyond software)
C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ...
Formal Methods in System Design 54, 279-335, 2019
1252019
Runtime verification of ethereum smart contracts
J Ellul, GJ Pace
2018 14th European Dependable Computing Conference (EDCC), 158-163, 2018
932018
Automatic conflict detection on contracts
S Fenech, GJ Pace, G Schneider
International colloquium on theoretical aspects of computing, 200-214, 2009
812009
Monitoring smart contracts: Contractlarva and open challenges beyond
S Azzopardi, J Ellul, GJ Pace
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
692018
Regulating Blockchain, DLT and Smart Contracts: a technology regulator’s perspective
J Ellul, J Galea, M Ganado, S Mccarthy, GJ Pace
ERA forum 21, 209-220, 2020
632020
Alkylvm: A virtual machine for smart contract blockchain connected internet of things
J Ellul, GJ Pace
2018 9th IFIP international conference on new technologies, mobility and …, 2018
602018
Clan: A tool for contract analysis and conflict discovery
S Fenech, GJ Pace, G Schneider
International Symposium on Automated Technology for Verification and …, 2009
532009
Calculating τ-Confluence Compositionally
GJ Pace, F Lang, R Mateescu
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
522003
Evolutionary algorithms for definition extraction
C Borg, M Rosner, G Pace
Proceedings of the 1st Workshop on Definition Extraction, 26-32, 2009
472009
Verifying data-and control-oriented properties combining static and runtime verification: theory and tools
W Ahrendt, JM Chimento, GJ Pace, G Schneider
Formal Methods in System Design 51, 200-265, 2017
452017
Recovery within long-running transactions
C Colombo, GJ Pace
ACM Computing Surveys (CSUR) 45 (3), 1-35, 2013
452013
Distributed system contract monitoring
A Francalanza, A Gauci, GJ Pace
The Journal of Logic and Algebraic Programming 82 (5-7), 186-215, 2013
452013
Model checking contracts–a case study
G Pace, C Prisacariu, G Schneider
International Symposium on Automated Technology for Verification and …, 2007
442007
StaRVOOrS : A Tool for Combined Static and Runtime Verification of Java
JM Chimento, W Ahrendt, GJ Pace, G Schneider
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
412015
Verification of smart contract business logic: exploiting a Java source code verifier
W Ahrendt, R Bubel, J Ellul, GJ Pace, R Pardo, V Rebiscoul, G Schneider
Fundamentals of Software Engineering: 8th International Conference, FSEN …, 2019
402019
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
402012
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
392015
An embedded language framework for hardware compilation
K Claessen, GJ Pace
The European Joint Conferences on Theory and Practice of Software, 2002
382002
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20