Activities per year
Activities
- 7 results
Search results
-
Energy-aware software engineering
Gallagher, J. P. (Speaker)
1 Nov 2019Activity: Talk or presentation › Lecture and oral contribution
-
Program Analysis With Regular Tree Languages
Gallagher, J. P. (Lecturer)
19 Jul 2011Activity: Talk or presentation › Lecture and oral contribution
File -
Abstract interpretation of temporal logic: abstract model checking revisited
Gallagher, J. P. (Lecturer)
19 Aug 2010Activity: Talk or presentation › Lecture and oral contribution
File -
Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking
Gallagher, J. P. (Lecturer)
7 Jul 2010Activity: Talk or presentation › Lecture and oral contribution
-
Invited Talk: Scalable Static Analysis based on Regular Types
Gallagher, J. P. (Lecturer)
Oct 2008Activity: Talk or presentation › Lecture and oral contribution
-
Invited speaker, PROLE'2007, Zaragoza, Spain
Gallagher, J. P. (Lecturer)
14 Sept 2007Activity: Talk or presentation › Lecture and oral contribution
-
Regular types, modes and model checking: Invited Talk
Gallagher, J. P. (Speaker)
2004Activity: Talk or presentation › Lecture and oral contribution
File