Travelled to:1 × Brazil
1 × Cyprus
1 × Germany
1 × Korea
1 × Spain
1 × Sweden
1 × USA
2 × Hungary
Collaborated with:K.Hammond G.Grov A.Ireland J.Sérot A.Cook N.Scaife S.Horiguchi R.F.Pointon A.Bonenfant Z.Chen A.M.Wallace I.Wallace
Talks about:hume (5) system (4) resourc (2) program (2) process (2) level (2) time (2) fsm (2) transform (1) behaviour (1)
Person: Greg Michaelson
DBLP: Michaelson:Greg
Facilitated 2 volumes:
EdEdContributed to:
2011
2008200720062004
20032002
20012001Wrote 9 papers:
- CEFP-2011-MichaelsonG #calculus #multi #reasoning
- Reasoning about Multi-process Systems with the Box Calculus (GM, GG), pp. 279–338.
- SAC-2008-GrovPMI #component #concurrent #coordination
- Preserving coordination properties when transforming concurrent system components (GG, RFP, GM, AI), pp. 126–127.
- SAC-2007-BonenfantCHMWW #cost analysis #towards
- Towards resource-certified software: a formal cost model for time and its application to an image-processing example (AB, ZC, KH, GM, AMW, IW), pp. 1307–1314.
- IFL-2006-HammondGMI #low level #programming
- Low-Level Programming in Hume: An Exploration of the HW-Hume Level (KH, GG, GM, AI), pp. 91–107.
- SAC-2004-MichaelsonHS #automaton #bound #named #programming #using
- FSM-Hume: programming resource-limited systems using bounded automata (GM, KH, JS), pp. 1455–1461.
- GPCE-2003-HammondM #domain-specific language #embedded #named #realtime
- Hume: A Domain-Specific Language for Real-Time Embedded Systems (KH, GM), pp. 37–56.
- IFL-2002-HammondM #behaviour #predict
- Predictable Space Behaviour in FSM-Hume (KH, GM), pp. 1–16.
- ASE-2001-CookIM #higher-order #proving #synthesis #theorem proving
- Higher Order Function Synthesis Through Proof Planning (AC, AI, GM), pp. 307–310.
- IFL-2001-ScaifeMH #comparative #compilation #performance #platform
- Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler (NS, GM, SH), pp. 138–154.