Iman Poernomo - RankMe

62 papers A 1B 4C 3Misc 2Journal 9Unranked 35

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift. CoRR Iman Poernomo
2025	J	`jnl`	Open Horn Type Theory. CoRR Iman Poernomo
2014	J	`jnl`	Correct-by-construction synthesis of model transformations using transformation patterns. Softw. Syst. Model. Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo, Jeffrey Terrell, Steffen Zschaler
2012	J	`jnl`	Comparative Evaluation of Model Transformation Specification Approaches. Int. J. Softw. Informatics Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo
2011	A	`conf`	Efficient Multi-granularity Service Composition. ICWS Lina Barakat, Simon Miles, Iman Poernomo, Michael Luck
2011	—	`conf`	Message from the AQuSerM 2011 Chairs. EDOCW Iman Poernomo, Guijun Wang
2011	B	`conf`	Modelling ethnographic analyses for records via Tacit Contracts. RCIS Gbolahan Williams, Iman Poernomo, Paul Luff
2010	—	`conf`	A Constructive Approach to Testing Model Transformations. ICMT@TOOLS Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo
2010	C	`conf`	Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq. ICFEM Iman Poernomo, Jeffrey Terrell
2010	B	`conf`	Model Driven Approach for Dynamic Service Composition Based on QoS Constraints. SERVICES Assel Zh. Akzhalova, Iman Poernomo
2010	—	`conf`	Ontology based UML2 Component Architecture Generation. ICISO Iman Poernomo, George Tsaramirsis, Mohammad Yamin
2010	—	`ed.`	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 FESCA@ETAPS Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles
2009	—	`conf`	09432 Report - Quantitative Software Design. Quantitative Software Design Astrid Kreissig, Iman Poernomo, Ralf H. Reussner
2009	—	`conf`	A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management. CEE-SET Iman Poernomo, Timur Umarov
2009	—	`ed.`	Component-Based Software Engineering, 12th International Symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings CBSE Grace A. Lewis, Iman Poernomo, Christine Hofmeister
2009	—	`conf`	Compositional Prediction of Timed Behaviour for Process Control Architecture. QoSA Kenneth Chan, Iman Poernomo
2009	—	`ed.`	Quantitative Software Design, 20.10. - 23.10.2009 Quantitative Software Design Astrid Kreissig, Iman Poernomo, Ralf H. Reussner
2009	—	`conf`	Workshop summary: Advances in quality of service management (AQuSerM) 2009. EDOCW Liam O'Brien, Iman Poernomo, Guijun Wang
2008	—	`conf`	Business Process Development in Semantically-Enriched Environment. ITNG Iman Poernomo, Timur Umarov
2008	—	`conf`	Model driven QoS management via dynamic programming. EDOCW Assel Zh. Akzhalova, Mahbub Gani, Iman Poernomo
2008	—	`conf`	Normative Ontologies for Data-Centric Business Process Management. EDOCW Iman Poernomo, Timur Umarov
2008	—	`conf`	Preface. FESCA@ETAPS Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles
2008	—	`ed.`	Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24, 2007 FESCA@ETAPS Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner
2008	—	`conf`	Proofs-as-Model-Transformations. ICMT@TOOLS Iman Poernomo
2008	—	`conf`	Prototype Generation from Ontology Charts. ITNG George Tsaramirsis, Iman Poernomo
2007	—	`conf`	Model Driven Control. EDOCW Assel Zh. Akzhalova, Nurzhan Duzbayev, Iman Poernomo
2007	—	`conf`	Pre-emptive Adaptation Through Classical Control Theory. QoSA Nurzhan Duzbayev, Iman Poernomo
2007	—	`conf`	Preface. FESCA@ETAPS Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner
2007	—	`ed.`	Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006 FESCA@ETAPS Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner
2007	J	`jnl`	QoS-aware model driven architecture through the UML and CIM. Inf. Syst. Frontiers Kenneth Chan, Iman Poernomo
2007	C	`conf`	Synthesis of Data Views for Communicating Processes. LOPSTR Iman Poernomo
2006	—	`conf`	AQuSerM 2006: Advances in Quality of Service Management. EDOC Workshops Iman Poernomo, Guijun Wang
2006	—	`conf`	Preface. FESCA@ETAPS Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner
2006	—	`ed.`	Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005 CLASE Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo
2006	B	`conf`	QoS-Aware Model Driven Architecture through the UML and CIM. EDOC Kenneth Chan, Iman Poernomo
2006	—	`conf`	Runtime Prediction of Queued Behaviour. QoSA Nurzhan Duzbayev, Iman Poernomo
2006	Misc	`conf`	The meta-object facility typed. SAC Iman Poernomo
2006	J	`jnl`	Verification and Prediction of Timed Probabilistic Properties over the Dmtf CIM. Int. J. Cooperative Inf. Syst. Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera
2005	—	`conf`	A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. QoSA/SOQUA Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera
2005	—	`conf`	Consistent Metric Usage: From Design to Deployment. Dependability Metrics Kenneth Chan, Iman Poernomo
2005	—	`conf`	Preface. CLASE Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo
2005	—	`conf`	Preface. FESCA@ETAPS Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla
2005	—	`ed.`	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 FESCA@ETAPS Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla
2005	B	`conf`	Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. EDOC Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt
2004	—	`conf`	A Type Theoretic Framework for Formal Metamodelling. Architecting Systems with Trustworthy Components Iman Poernomo
2004	—	`conf`	Preface. FESCA@ETAPS Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla
2004	—	`ed.`	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 FESCA@ETAPS Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla
2004	—	`conf`	Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. EUROMICRO Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt
2003	—	`conf`	Architectural Configuration with EDOC and .NET Component Services. EUROMICRO Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt
2003	—	`conf`	Describing Web Service Architectures through Design-by-Contract. ISCIS Sea Ling, Iman Poernomo, Heinz W. Schmidt
2003	—	`conf`	Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. Ershov Memorial Conference Iman Poernomo
2003	—	`conf`	Reasoning about Software Architectures with Contractually Specified Components. Component-Based Software Quality Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt
2003	J	`jnl`	Reliability prediction for component-based software architectures. J. Syst. Softw. Ralf H. Reussner, Heinz W. Schmidt, Iman Poernomo
2002	—	`conf`	Architectures of Enterprise Systems: Modelling Transactional Contexts. Component Deployment Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt
2002	—	`conf`	Predictable Component Architectures Using Dependent Finite State Machines. RISSEF Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner
2002	Misc	`conf`	Using the TrustME Tool Suite for Automatic Component Protocol Adaptation. International Conference on Computational Science (2) Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt
2001	J	`jnl`	Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs. J. Univers. Comput. Sci. John N. Crossley, Iman Poernomo
2001	—	`conf`	Programs, Proofs and Parametrized Specifications. WADT Iman Poernomo, John N. Crossley, Martin Wirsing
2001	J	`jnl`	Trust-by-Contract: Modelling, Analysing and Predicting Behaviour of Software Architectures. Trans. SDPS Heinz W. Schmidt, Iman Poernomo, Ralf H. Reussner
2000	—	`conf`	Protocols between Programs and Proofs. LOPSTR (LNCS 2042: Selected Papers) Iman Poernomo, John N. Crossley
2000	C	`conf`	Protocols between programs and proofs. LOPSTR Iman Poernomo, John N. Crossley
1999	—	`conf`	Extraction of Structured Programs from Specification Proofs. WADT John N. Crossley, Iman Poernomo, Martin Wirsing