BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Denmark
1 × France
1 × Spain
1 × Sweden
1 × Switzerland
1 × The Netherlands
2 × USA
2 × United Kingdom
Collaborated with:
∅ K.Chan N.Duzbayev J.N.Crossley J.Jayaputera H.W.Schmidt C.Fiorentini A.Momigliano M.Ornaghi
Talks about:
model (4) proof (3) architectur (2) transform (2) behaviour (2) protocol (2) program (2) process (2) predict (2) control (2)

♂ Person: Iman Poernomo

DBLP DBLP: Poernomo:Iman

Facilitated 3 volumes:

CBSE 2011PrCo
CBSE 2010PrCo
CBSE 2009Ed

Contributed to:

ICMT 20102010
QoSA 20092009
ICMT 20082008
LOPSTR 20072007
QoSA 20072007
EDOC 20062006
QoSA 20062006
SAC 20062006
EDOC 20052005
LOPSTR 20002000
LOPSTR 20002000

Wrote 11 papers:

ICMT-2010-FiorentiniMOP #approach #model transformation #testing
A Constructive Approach to Testing Model Transformations (CF, AM, MO, IP), pp. 77–92.
QoSA-2009-ChanP #architecture #behaviour #composition #predict #process
Compositional Prediction of Timed Behaviour for Process Control Architecture (KC, IP), pp. 86–100.
ICMT-2008-Poernomo
Proofs-as-Model-Transformations (IP), pp. 214–228.
LOPSTR-2007-Poernomo #communication #process #synthesis
Synthesis of Data Views for Communicating Processes (IP), pp. 185–200.
QoSA-2007-DuzbayevP #adaptation
Pre-emptive Adaptation Through Classical Control Theory (ND, IP), pp. 164–181.
EDOC-2006-ChanP #architecture #modelling #uml
QoS-Aware Model Driven Architecture through the UML and CIM (KC, IP), pp. 345–354.
QoSA-2006-DuzbayevP #behaviour #predict #runtime
Runtime Prediction of Queued Behaviour (ND, IP), pp. 78–94.
SAC-2006-Poernomo
The meta-object facility typed (IP), pp. 1845–1849.
EDOC-2005-PoernomoJS #constraints #distributed #probability
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model (IP, JJ, HWS), pp. 261–272.
LOPSTR-2000-PoernomoC #protocol #proving #source code
Protocols between programs and proofs (IP, JNC).
LOPSTR-J-2000-PoernomoC #protocol #proving #source code
Protocols between Programs and Proofs (IP, JNC), pp. 18–37.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.