![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Iman Poernomo
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2014
- [j7]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo, Jeffrey Terrell, Steffen Zschaler
:
Correct-by-construction synthesis of model transformations using transformation patterns. Softw. Syst. Model. 13(2): 873-907 (2014) - 2012
- [j6]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo:
Comparative Evaluation of Model Transformation Specification Approaches. Int. J. Softw. Informatics 6(2): 233-269 (2012) - 2011
- [c44]Iman Poernomo, Guijun Wang:
Message from the AQuSerM 2011 Chairs. EDOCW 2011: 95 - [c43]Lina Barakat, Simon Miles, Iman Poernomo, Michael Luck
:
Efficient Multi-granularity Service Composition. ICWS 2011: 227-234 - [c42]Gbolahan Williams, Iman Poernomo, Paul Luff
:
Modelling ethnographic analyses for records via Tacit Contracts. RCIS 2011: 1-6 - 2010
- [c41]Iman Poernomo, Jeffrey Terrell:
Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq. ICFEM 2010: 56-73 - [c40]Iman Poernomo, George Tsaramirsis, Mohammad Yamin:
Ontology based UML2 Component Architecture Generation. ICISO 2010: 314-321 - [c39]Camillo Fiorentini
, Alberto Momigliano
, Mario Ornaghi, Iman Poernomo:
A Constructive Approach to Testing Model Transformations. ICMT@TOOLS 2010: 77-92 - [c38]Assel Zh. Akzhalova, Iman Poernomo:
Model Driven Approach for Dynamic Service Composition Based on QoS Constraints. SERVICES 2010: 590-597 - [e8]Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles:
Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2008, Budapest, Hungary, March 29, 2008. Electronic Notes in Theoretical Computer Science 238(6), Elsevier 2010 [contents]
2000 – 2009
- 2009
- [c37]Liam O'Brien, Iman Poernomo, Guijun Wang:
Workshop summary: Advances in quality of service management (AQuSerM) 2009. EDOCW 2009: 114-115 - [c36]Iman Poernomo, Timur Umarov:
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management. CEE-SET 2009: 136-149 - [c35]Kenneth Chan, Iman Poernomo:
Compositional Prediction of Timed Behaviour for Process Control Architecture. QoSA 2009: 86-100 - [e7]Grace A. Lewis, Iman Poernomo, Christine Hofmeister:
Component-Based Software Engineering, 12th International Symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings. Lecture Notes in Computer Science 5582, Springer 2009, ISBN 978-3-642-02413-9 [contents] - [e6]Astrid Kreissig, Iman Poernomo, Ralf H. Reussner:
Quantitative Software Design, 20.10. - 23.10.2009. Dagstuhl Seminar Proceedings 09432, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i1]Astrid Kreissig, Iman Poernomo, Ralf H. Reussner:
09432 Report - Quantitative Software Design. Quantitative Software Design 2009 - 2008
- [c34]Iman Poernomo, Timur Umarov:
Normative Ontologies for Data-Centric Business Process Management. EDOCW 2008: 23-34 - [c33]Assel Zh. Akzhalova, Mahbub Gani, Iman Poernomo:
Model driven QoS management via dynamic programming. EDOCW 2008: 87-95 - [c32]Iman Poernomo:
Proofs-as-Model-Transformations. ICMT@TOOLS 2008: 214-228 - [c31]Iman Poernomo, Timur Umarov:
Business Process Development in Semantically-Enriched Environment. ITNG 2008: 57-62 - [c30]George Tsaramirsis
, Iman Poernomo:
Prototype Generation from Ontology Charts. ITNG 2008: 1177-1178 - [c29]Ralf H. Reussner
, Iman Poernomo, Juliana Küster Filipe Bowles
:
Preface. FESCA@ETAPS 2008: 1-2 - [e5]Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner:
Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24, 2007. Electronic Notes in Theoretical Computer Science 203(7), Elsevier 2008 [contents] - 2007
- [j5]Kenneth Chan, Iman Poernomo:
QoS-aware model driven architecture through the UML and CIM. Inf. Syst. Frontiers 9(2-3): 209-224 (2007) - [c28]Assel Zh. Akzhalova, Nurzhan Duzbayev
, Iman Poernomo:
Model Driven Control. EDOCW 2007: 1-11 - [c27]Iman Poernomo:
Synthesis of Data Views for Communicating Processes. LOPSTR 2007: 185-200 - [c26]Nurzhan Duzbayev
, Iman Poernomo:
Pre-emptive Adaptation Through Classical Control Theory. QoSA 2007: 164-181 - [c25]Juliana Küster Filipe Bowles
, Iman Poernomo, Ralf H. Reussner
:
Preface. FESCA@ETAPS 2007: 1-2 - [e4]Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner:
Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006. Electronic Notes in Theoretical Computer Science 176(2), Elsevier 2007 [contents] - 2006
- [j4]Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera:
Verification and Prediction of Timed Probabilistic Properties over the Dmtf CIM. Int. J. Cooperative Inf. Syst. 15(4): 633-658 (2006) - [c24]Iman Poernomo, Guijun Wang:
AQuSerM 2006: Advances in Quality of Service Management. EDOC Workshops 2006: 40 - [c23]Kenneth Chan, Iman Poernomo:
QoS-Aware Model Driven Architecture through the UML and CIM. EDOC 2006: 345-354 - [c22]Nurzhan Duzbayev
, Iman Poernomo:
Runtime Prediction of Queued Behaviour. QoSA 2006: 78-94 - [c21]Iman Poernomo:
The meta-object facility typed. SAC 2006: 1845-1849 - [c20]Juliana Küster Filipe Bowles
, Iman Poernomo, Ralf H. Reussner
:
Preface. FESCA@ETAPS 2006: 1-4 - [e3]Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo:
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 153(1), Elsevier 2006 [contents] - 2005
- [b1]Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley:
Adapting Proofs-as-Programs - The Curry-Howard Protocol. Monographs in Computer Science, Springer 2005, ISBN 978-0-387-23759-6, pp. 1-396 - [c19]Kenneth Chan, Iman Poernomo:
Consistent Metric Usage: From Design to Deployment. Dependability Metrics 2005: 19-36 - [c18]Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt:
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. EDOC 2005: 261-272 - [c17]Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera:
A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. QoSA/SOQUA 2005: 38-52 - [c16]Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo:
Preface. CLASE 2005: 1-2 - [c15]Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner
, Sandeep K. Shukla
:
Preface. FESCA@ETAPS 2005: 1-2 - [e2]Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla:
Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 141(3), Elsevier 2005 [contents] - 2004
- [c14]Iman Poernomo:
A Type Theoretic Framework for Formal Metamodelling. Architecting Systems with Trustworthy Components 2004: 262-298 - [c13]Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt:
Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. EUROMICRO 2004: 100-106 - [c12]Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner
, Sandeep K. Shukla
:
Preface. FESCA@ETAPS 2004: 1-2 - [e1]Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla:
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 108, Elsevier 2004 [contents] - 2003
- [j3]Ralf H. Reussner
, Heinz W. Schmidt, Iman Poernomo:
Reliability prediction for component-based software architectures. J. Syst. Softw. 66(3): 241-252 (2003) - [c11]Ralf H. Reussner
, Iman Poernomo, Heinz W. Schmidt:
Reasoning about Software Architectures with Contractually Specified Components. Component-Based Software Quality 2003: 287-325 - [c10]Iman Poernomo:
Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. Ershov Memorial Conference 2003: 112-119 - [c9]Iman Poernomo, Ralf H. Reussner
, Heinz W. Schmidt:
Architectural Configuration with EDOC and .NET Component Services. EUROMICRO 2003: 61-69 - [c8]Sea Ling, Iman Poernomo, Heinz W. Schmidt:
Describing Web Service Architectures through Design-by-Contract. ISCIS 2003: 1008-1018 - 2002
- [c7]Iman Poernomo, Ralf H. Reussner
, Heinz W. Schmidt:
Architectures of Enterprise Systems: Modelling Transactional Contexts. Component Deployment 2002: 233-243 - [c6]Ralf H. Reussner
, Iman Poernomo, Heinz W. Schmidt:
Using the TrustME Tool Suite for Automatic Component Protocol Adaptation. International Conference on Computational Science (2) 2002: 854-863 - [c5]Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner
:
Predictable Component Architectures Using Dependent Finite State Machines. RISSEF 2002: 310-324 - 2001
- [j2]Heinz W. Schmidt, Iman Poernomo, Ralf H. Reussner:
Trust-by-Contract: Modelling, Analysing and Predicting Behaviour of Software Architectures. Trans. SDPS 5(3): 25-51 (2001) - [j1]John N. Crossley, Iman Poernomo:
Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs. J. Univers. Comput. Sci. 7(1): 71-88 (2001) - [c4]Iman Poernomo, John N. Crossley, Martin Wirsing:
Programs, Proofs and Parametrized Specifications. WADT 2001: 280-304 - 2000
- [c3]Iman Poernomo, John N. Crossley:
Protocols between programs and proofs. LOPSTR 2000 - [c2]Iman Poernomo, John N. Crossley:
Protocols between Programs and Proofs. LOPSTR (LNCS 2042: Selected Papers) 2000: 18-37
1990 – 1999
- 1999
- [c1]John N. Crossley, Iman Poernomo, Martin Wirsing:
Extraction of Structured Programs from Specification Proofs. WADT 1999: 419-437
Coauthor Index
aka: Juliana Küster Filipe
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint