BibSLEIGH — Mikhail

Travelled to:

1 × Australia
1 × Canada
1 × Italy
1 × Latvia
1 × Republic of China
1 × Switzerland
1 × United Kingdom
6 × USA

Collaborated with:

B.R.Bryant R.R.Raje A.M.Olson C.C.Burt ∅ J.B.Michael M.Shing J.G.Gray W.Zhao P.Fritzson S.Liu F.Cao C.Jeffery S.Underwood M.Tuceryan

Talks about:

model (9) generat (5) autom (5) driven (4) framework (3) distribut (3) softwar (3) languag (3) system (3) compon (3)

Person: Mikhail Auguston

DBLP: Auguston:Mikhail

Contributed to:

2006

2005

2006

2005

2004

2002

2003

2002

1995

1994

1993

Wrote 17 papers:

SEKE-2006-LiuBGRTOA #distributed #embedded #framework #named #product line #realtime: QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems (SHL, BRB, JGG, RRR, MT, AMO, MA), pp. 724–729.
A-MOST-2005-AugustonMS #automation #behaviour #generative #modelling #testing: Environment behavior models for scenario generation and testing automation (MA, JBM, MtS), pp. 58–63.
A-MOST-J-2005-AugustonMS06 #assessment #automation #behaviour #modelling #safety #testing: Environment behavior models for automation of testing and assessment of system safety (MA, JBM, MtS), pp. 971–980.
SAC-2005-CaoBZBROA #modelling #using: Marshaling and unmarshaling models using the entity-relationship model (FC, BRB, WZ, CCB, RRR, AMO, MA), pp. 1553–1557.
SAC-2005-LiuBGROA #assurance #distributed #embedded #realtime #requirements: Two-level assurance of QoS requirements for distributed real-time and embedded systems (SHL, BRB, JGG, RRR, AMO, MA), pp. 903–904.
SEKE-2005-LiuCBGROA #analysis #approach #component #composition #quality #requirements #two-level grammar: Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach (SHL, FC, BRB, JGG, RRR, AMO, MA), pp. 731–734.
EDOC-2004-ZhaoBBROA #automation #code generation #component #distributed #integration: Automated Glue/Wrapper Code Generation in Integration of Distributed and Heterogeneous Software Components (WZ, BRB, CCB, RRR, AMO, MA), pp. 275–285.
SEKE-2004-ZhaoBCRABO #composition: Grammatically Interpreting Feature Compositions (WZ, BRB, FC, RRR, MA, CCB, AMO), pp. 185–191.
CBSE-2003-ZhaoBGBROA #automation #framework #generative #modelling: A Generative and Model Driven Framework for Automated Software Product Generation (WZ, BRB, JGG, CCB, RRR, AMO, MA), p. 18.
EDOC-2003-BurtBROA #data access #modelling #security #unification: Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control (CCB, BRB, RRR, AMO, MA), pp. 159–173.
ASE-2002-AugustonJU #automation #debugging #framework: A Framework for Automatic Debugging (MA, CJ, SU), pp. 217–222.
EDOC-2002-BurtBROA #framework #independence #modelling #quality: Quality of Service Issues Related to Transforming Platform Independent Models to Platform Specific Models (CCB, BRB, RRR, AMO, MA), p. 212–?.
SEKE-2002-BryantBARO #assembly #component #generative #specification #two-level grammar #using: Formal specification of generative component assembly using two-level grammar (BRB, CCB, MA, RRR, AMO), pp. 209–212.
SEKE-1995-Auguston #compilation #programming language: Programming language RIGAL as a compiler writing tool (MA), p. 500.
SEKE-1994-Auguston #automation #debugging: A language for debugging automation (MA), pp. 108–115.
PDP-1993-AugustonF #behaviour #debugging #parallel #specification: PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications (MA, PF), pp. 150–157.