- Embedded Hardware Description Languages: Exploring the Design Space
- Calculating -Confluence Compositionally Gordon J. Pace1
- An Embedded Language Approach to Teaching Hardware Compilation
- Runtime Monitoring of Distributed Systems Adrian Francalanza
- Good region Bad region a b
- UNIVERSITY OF OSLO Department of Informatics
- A Domain-Specific Embedded Language Approach for the Scripting of Game Artificial Intelligence
- To appear in Proceedings of the Workshop on Formal Techniques for Hardware and Hardware-like Systems, Marstrand, Sweden, June 1998.
- WICT PROCEEDINGS, DECEMBER 2008 1 Definition Characterisation through Genetic Algorithms
- Verifying Hardware Compilers Gordon J. Pace1
- Slowdown Invariance of Timed Regular Expressions Ingram Bondin
- Aspect-Oriented Programming Runtime-Enforcement of Temporal Properties in
- Safe Runtime Verification of Real-Time Christian Colombo1
- INRIA/RR4918FR+ENG appo r t de r eche r che
- SPeeDI --a Verification Tool for Polygonal Hybrid Systems #
- WICT PROCEEDINGS, NOVEMBER 2009 1 Statistics and Runtime Verification
- Creative Processes in Policy Making: A Case for Context in Foresight
- Scripting Game AI: An Alternative Approach using Embedded Languages
- A Simplified Model Of QuickCheck Automata Kevin Falzon
- Compensations in an Imperative Programming Language Adrian Francalanza
- Playing Nomic using a Controlled Natural Language John J. Camilleri, Gordon J. Pace and Michael Rosner
- Playing Nomic using a Controlled Natural Language John J. Camilleri, Gordon J. Pace and Michael Rosner
- TECHNICAL REPORT Report No. CS2009-01
- LARVA --Safer Monitoring of Real-Time Java Programs (Tool Paper)
- Evolutionary Algorithms for Definition Extraction Claudia Borg
- CLAN: A Tool for Contract Analysis and Conflict Stephen Fenech1
- Automatic Conflict Detection on Contracts Stephen Fenech1
- Detection of Conflicts in Electronic Contracts Stephen Fenech, Gordon J. Pace
- WICT PROCEEDINGS, DECEMBER 2008 1 A Practical Approach to Runtime Verification
- WICT PROCEEDINGS, DECEMBER 2008 1 Conflict Analysis of Deontic Contracts
- WICT PROCEEDINGS, DECEMBER 2008 1 Meta-Functional Languages for Hardware Design and Verification
- Model Checking User Interfaces Abigail Cauchi
- WICT PROCEEDINGS, DECEMBER 2008 1 Automatic Definition Extraction using Parser Combinators
- Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties
- TECHNICAL REPORT Report No. CSAI2008-01
- Towards Automatic Extraction of Definitions Claudia Borg1
- Model Checking Concurrent Assembly Joseph Cordina, Stephen Fenech, and Gordon J. Pace
- An Embedded Geometrical Language in Haskell: Construction, Visualisation, Proof
- Automatic Interface Generation for Compositional Verification
- Embedding a Hardware Description Language in a Functional Meta-Programming Language
- Functional HDLs: A Historical Overview Joseph Cordina
- Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
- UNIVERSITY OF OSLO Department of Informatics
- Source-level runtime validation through interval temporal logic
- TECHNICAL REPORT Report No. CSAI2004-01
- Model Checking Polygonal Differential Inclusions Using Invariance Kernels
- Hardware Design Based on Verilog HDL
- Hardware Design Based on Verilog HDL
- To appear in Proceedings of the Workshop on Formal Techniques for Hardware and Hardwarelike Systems, Marstrand, Sweden, June 1998.
- Seventh International Workshop on Designing Correct Circuits
- Correct Hardware Compilation with Verilog Gordon J. Pace
- The Semantics of Verilog Using Transition System Combinators
- The Semantics of Verilog Using Transition System Combinators
- Monadic Compositional Parsing with Context Using Maltese as a Case Study
- Model Checking Polygonal Di#erential Inclusions Using Invariance Kernels
- HeDLa: A Strongly Typed, Component-Based Embedded Hardware Description Language
- Calculating #Confluence Compositionally # Gordon J. Pace 1 , Frederic Lang 2 , Radu Mateescu 2
- Dynamic Automata in Larva John Paul Cassar
- CL CL
- Improving Polygonal Hybrid Systems Reachability Analysis through the use of the Phase Portrait
- An Architecture Supporting Compensation-Aware Christian Colombo
- Computer-Aided Verification: How to Trust a Machine with Your Life
- WICT PROCEEDINGS, NOVEMBER 2009 1 Offline Runtime Verification with Real-Time Properties: A Case Study
- UNIVERSITY OF OSLO Department of Informatics
- An Embedded Language Framework for Hardware Compilation
- Computation and Visualisation of Phase Portraits for Model Checking SPDIs
- Runtime Validation Using Interval Temporal Logic Karlston D'Emanuele
- On the Specification of Full Contracts1 Stephen Fenech, Gordon J. Pace2
- Automatic Interface Generation for Enumerative Model Computer Science Annual Workshop 2006
- Embedded Languages for Origami-Based Gaetano Caruana and Gordon J. Pace
- Describing and Verifying FFT circuits using Gordon J. Pace & Christine Vella
- Meta-Functional Languages for Hardware Design and Verification
- A Controlled Language for the Specification of Contracts
- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
- SVMs with Profile-Based Kernels 1 Support Vector Machines with Profile-Based Kernels for
- Automatic Grammar Rule Extraction and Ranking for Definitions Claudia Borg, Mike Rosner, Gordon J. Pace
- Counter-Example Generation in Symbolic Abstract Model-Checking
- CounterExample Generation in Symbolic Abstract ModelChecking
- An Embedded Language Framework for Hardware Compilation #
- Access to Circuit Generators in Embedded HDLs
- Correct Hardware Compilation with Verilog Gordon J. Pace
- Challenges in the Specification of Full Contracts Gordon J. Pace1
- WWW.EFMN.INFO The European Foresight Monitoring Network Foresight Embedding in Malta
- An Embedded Language Approach to Teaching Hardware Compilation
- A Controlled Language for the Specification of Contracts
- Compensation-Aware Runtime Monitoring Christian Colombo1
- TECHNICAL REPORT Report No. CSAI2003-01
- UNIVERSITY OF OSLO Department of Informatics
- Submitted to: FLACOS 2011
- LarvaStat: Monitoring of Statistical Properties Christian Colombo, Andrew Gauci, and Gordon J. Pace
