@InProceedings{CEG10:SoftwareArchitecture, author = {C.~Chapman and W.~Emmerich F.~{Garlan Marquez} and S.~Clayman and A.~Galis}, title = {Software Architecture Definition for On-demand Cloud Provisioning}, booktitle = {Proc. of the $19^{th}$ ACM Int. Symp. on high Performance Distributed Computing (HDPC 2010), Chicago, Il}, OPTpages = {}, year = {2010}, OPTpublisher = {ACM Press}, note = {To appear}, OPTannote = {} } @Article{SRE10:SLAs, author = {J.~Skene and F.~Raimondi and W.~Emmerich}, title = {{Service-Level Agreements for Electronic Services}}, journal = {IEEE Transactions on Software Engineering}, year = {2010}, volume = {36}, number = {2}, pages = {288-304}, url = {http://dx.doi.org/10.1109/TSE.2009.55}, theme = {dsa} } @Article{RBL+09:RESERVOIR, author = {B.~Rochwerger and D.~Breitgand and E.~Levy and A.~Galis and K.~Nagin and L.~Llorente and R.~Montero and Y.~Wolfsthal and E.~Elmroth and J.~Caceres and M.~Ben-Yehuda and W.~Emmerich and F.~Galan}, title = {{The RESERVOIR Model and Architecture for Open Federated Cloud Computing}}, journal = {IBM Journal of Research and Development}, year = {2009}, volume = {53}, number = {4}, pages = {Paper 4}, url = {http://www.research.ibm.com/journal/abstracts/rd/534/rochwerger.html}, theme = {dsa} } @inproceedings{FMRU-ICSOC08, author = {H.~Foster and A.~Mukhija and D.~S.~Rosenblum and S.~Uchitel}, title = {{A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes}}, booktitle = {Proc. of the 6th Int. Conference on Service Oriented Computing (ICSOC 2008), Sydney, Australia}, month = {December}, year = {2008}, pages = {558--564}, url = {http://dx.doi.org/10.1007/978-3-540-89652-4_46}, doi = {10.1007/978-3-540-89652-4_46}, series = {Lecture Notes in Computer Science}, volume = {5364}, publisher = {Springer}, title = {dsa} } @InProceedings{RSE08:EfficientOnline, author = {F.~Raimondi and J.~Skene and W.~Emmerich}, title = {{Efficient Online Monitoring of Web-Service SLAs}}, booktitle = {Proc. of the $16^{th}$ ACM SIGSOFT International Symposium on Foundations of Software Engineering, Atlanta, USA}, pages = {170--180}, year = {2008}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/1453101.1453125}, theme = {vv}, note = {ACM SIGSOFT Distinguished Paper Award} } @inproceedings{Sama_FSE08, author = {M.~Sama and D.~S. Rosenblum and Z.~Wang and S.~Elbaum}, title = {Model-Based Fault Detection in Context-Aware Adaptive Applications}, booktitle = {Proc. of the $16^{th}$ ACM SIGSOFT International Symposium on Foundations of Software Engineering, Atlanta, USA}, year = {2008}, month = NOV, pages = {261--271}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/1453101.1453136}, theme = {vv} } @inproceedings{DLRW08:Industrial, author = {L.~Duboc and E.~Letier and D.~S.~Rosenblum and T.~Wicks}, title = {{A Case Study in Eliciting Scalability Requirements}}, booktitle = {Proc. of the $16^{th}$ International Requirements Engineering Conference}, month = SEP, year = {2008}, pages = {247-252}, publisher = {IEEE Computer Society Press}, address = {Barcelona, Spain}, url = {http://dx.doi.org/10.1109/RE.2008.22}, doi = {10.1109/RE.2008.22}, theme = {re} } @InProceedings{ZE08:AnEService, author = {C.~Zirpins and W.~Emmerich}, title = {{An E-Service SOA Model for Virtual Service Enterprises}}, booktitle = {Proc. PRO-VE '08, $9^{th}$ IFIP Working Conference on Virtual Enterprises, Poznan, Poland}, pages = {485--492}, year = {2008}, publisher = {Springer}, theme = {dsa}, url = {http://dx.doi.org/10.1007/978-0-387-84837-2_50}, doi = {10.1007/978-0-387-84837-2_50} } @Article{ZE08:AReference, author = {C~Zirpins and W.~Emmerich}, title = {A reference model of virtual service production networks}, journal = {Int. Journal on Service Oriented Computing and Applications}, year = {2008}, volume = {2}, number = {2--3}, pages = {145--166}, publisher = {Springer}, url = {http://dx.doi.org/10.1007/s11761-008-0025-4}, doi = {10.1007/s11761-008-0025-4}, theme = {dsa}, } @InProceedings{BE08:AnExample, author = {R.~Bahsoon and W.~Emmerich}, title = {{An Example on Realizing Economics-Driven Software Mining}}, booktitle = {Proc. of the $20^{th}$ Int. Conference on Software Engineering and Knowledge Engineering, San Francisco, USA}, pages = {375--381}, year = {2008}, month = JUL, publisher = {Knowledge Systems Institute}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/SEKE2008/MSRBahsoonEmmerich2008.pdf}, theme = {dsa} } @InProceedings{LHC08recsys, author = {N.~Lathia and S.~Hailes and L.~Capra}, title = {{kNN CF: A Temporal Social Network}}, Booktitle = {Proc. of 2nd ACM International Conference on Recommender Systems}, year = {2008}, address = {Lausanne, Switzerland}, month = OCT, publisher = {ACM Press}, pages = {227--234}, theme = {mobile}, url = {http://dx.doi.org/10.1145/1454008.1454044}, doi = {10.1145/1454008.1454044} } @InProceedings{MMC08mobicom, author = {L.~McNamara and C.~Mascolo and L.~Capra}, title = {{Media Sharing based on Colocation Prediction in Urban Transport}}, booktitle = {Proc. of 14th ACM International Conference on Mobile Computing and Networking}, year = {2008}, address = {San Francisco, CA, USA.}, publisher = {ACM Press}, pages = {58--69}, month = SEP, theme = {mobile}, url = {http://dx.doi.org/10.1145/1409944.1409953}, doi = {10.1145/1409944.1409953} } @InProceedings{QHC08ubicomp, author = {D.~Quercia and S.~Hailes and L.~Capra}, title = {{MobiRate: Making Mobile Raters Stick to their Word}}, booktitle = {Proc. of 10th International Conference on Ubiquitous Computing}, year = {2008}, address = {Seoul, South Korea}, month = SEP, pages = {212--221}, theme = {mobile}, url = {http://dx.doi.org/10.1145/1409635.1409664}, doi = {10.1145/1409635.1409664} } @InProceedings{PC08edoc, author = {L.~Del Prete and L.~Capra}, title = {{Reliable Discovery and Selection of Composite Services in Mobile Environments}}, booktitle = {Proc. of 12th IEEE International Enterprise Distributed Computing Conference}, year = {2008}, address = {Munich, Germany}, pages = {171--180}, month = SEP, theme = {mobile}, url = {http://dx.doi.org/10.1109/EDOC.2008.10}, doi = {10.1109/EDOC.2008.10} } @InProceedings{QCZ08secrypt, author = {D.~Quercia and L.~Capra and V.~Zanardi}, title = {{Selecting Trustworthy Content Using Tags (Invited Paper)}}, booktitle = {Proc. of International Conference on Security and Cryptography, Special Session on Trust in Pervasive Systems and Networks}, year = {2008}, address = {Porto, Portugal}, month = JUL, theme = {mobile}, url = {http://www.cs.ucl.ac.uk/staff/l.capra/publications/tag2trust.pdf} } @InProceedings{ZC08recsys, author = {V.~Zanardi and L.~Capra}, title = {{Social Ranking: Uncovering Relevant Content Using Tag-based Recommender Systems}}, booktitle = {Proc. of 2nd ACM International Conference on Recommender Systems}, year = {2008}, address = {Lausanne, Switzerland}, month = OCT, theme = {mobile}, pages = {51--58}, url = {10.1145/1454008.1454018}, theme = {mobile} } @InProceedings{ZC08wsrecsys, author = {V.~Zanardi and L.~Capra}, title = {{Social Ranking: Finding Relevant Content in Web 2.0}}, booktitle = {Proc. of International Workshop on Recommender Systems, co-located with 18th European Conference on Artificial Intelligence}, year = {2008}, address = {Patras, Greece}, month = JUL, theme = {mobile}, url = {http://www.cs.ucl.ac.uk/staff/l.capra/publications/ecai2008.pdf} } @Article{EKMU:Deriving, author = {E.~Letier and J.~Kramer and J.~Magee and S.~Uchitel}, title = {{Deriving event-based transition systems from goal-oriented requirements models}}, journal = {Automated Software Engineering}, year = {2008}, volume = {15}, number = {2}, pages = {175--206}, url = {http://dx.doi.org/10.1007/s10515-008-0027-7}, doi = {10.1007/s10515-008-0027-7}, theme = {re} } @InProceedings{AC08itrust, author = {M.~Dell'Amico and L.~Capra}, title = {{SOFIA: Social Filtering for Robust Recommendations}}, Booktitle = {Proc. of 2nd Joint iTrust and PST Conferences on Privacy, Trust management and Security}, year = {2008}, address = {Trondheim, Norway}, month = JUN, pages = {135--150}, theme = {mobile}, url = {http://dx.doi.org/10.1007/978-0-387-09428-1_9}, doi = {10.1007/978-0-387-09428-1_9} } @InProceedings{LHC08itrust, author = {N.~Lathia and S.~Hailes and L.~Capra}, title = {{Trust Based Collaborative Filtering}}, booktitle = {Proc. of 2nd Joint iTrust and PST Conferences on Privacy, Trust management and Security}, year = {2008}, address = {Trondheim, Norway}, month = JUN, pages = {119--134}, theme = {mobile}, url = {http://dx.doi.org/10.1007/978-0-387-09428-1_8}, doi = {10.1007/978-0-387-09428-1_8} } @Proceedings{BCEF08:SAM08, editor= {R.~Bahsoon and L.~Capra and W.~Emmerich and M.~E.~Fayad}, title = {Proc. of the $1^{st}$ Int. Workshop on Software Architectures and Mobility}, year = {2008}, publisher = {ACM Press}, theme = {dsa}, url = {http://portal.acm.org/citation.cfm?id=1370888} } @inproceedings{Sama_SAM08, author = {M.~Sama and D.~S. Rosenblum and Z.~Wang and S.~Elbaum}, title = {{Multi-Layer Faults in the Architectures of Mobile Context-Aware Adaptive Applications}}, booktitle = {Proc. of the $1^{st}$ Int. Workshop on Software Architectures and Mobility}, year = {2008}, month=MAY, pages = {47--49}, theme = {mobile}, url = {http://dx.doi.org/10.1145/1370888.1370901}, doi = {10.1145/1370888.1370901} } @InProceedings{BCEF08sam, author = {R.~Bahsoon and L.~Capra and W.~Emmerich and M.~E.~Fayad}, title = {{The International Workshop on Software Architectures and Mobility (SAM 2008) - Workshop Summary}}, booktitle = {Companion Volume of the $30^{th}$ International Conference on Software Engineering}, year = {2008}, address = {Leipzig, Germany}, month = MAY, pages = {1033--1034}, theme = {mobile}, url = {http://dx.doi.org/10.1145/1370175.1370233}, doi = {10.1145/1370175.1370233} } @InProceedings{MER08:ImpactAnalysis, author = {A.~Maule and W.~Emmerich and D.~S.~Rosenblum}, title = {{Impact Analysis of Database Schema Changes}}, booktitle = {Proc. of the $30^{th}$ Int. Conference on Software Engineering, Leipzig, Germany}, pages = {451--460}, year = {2008}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/1368088.1368150}, doi = {10.1145/1368088.1368150}, theme = {vv} } @InProceedings{BE08:AnEconomics, author = {R.~Bahsoon and W.~Emmerich}, title = {{An Economics-Driven Approach for Valuing Scalability in Distributed Architectures}}, booktitle = {Proc. of the $7^{th}$ Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), Vancouver, Canada}, pages = {9--18}, year = {2008}, publisher = {IEEE Computer Society Press}, url = {http://dx.doi.org/10.1109/WICSA.2008.45}, doi = {10.1109/WICSA.2008.45}, theme = {dsa} } @Article{ESA08:Impact, author = {W.~Emmerich and J.~Sventek and M.~Aoyama}, title = {{The Impact of Research on the Development of Middleware Technology}}, journal = {ACM Transactions on Software Engineering and Methodology}, year = {2008}, volume = {17}, number = {4}, month = AUG, pages = {48 pages}, url = {http://dx.doi.org/10.1145/13487689.13487692}, doi = {10.1145/13487689.13487692}, theme = {misc} } @inproceedings{DBLP:conf/aaim/LibertiR08, author = {L.~Liberti and F.~Raimondi}, title = {The Secret Santa Problem}, booktitle = {{Algorithmic Aspects in Information and Management (AAIM), Shanghai, China}}, year = {2008}, pages = {271-279}, url = {http://dx.doi.org/10.1007/978-3-540-68880-8_26}, doi = {10.1007/978-3-540-68880-8_26}, series = {Lecture Notes in Computer Science}, volume = {5034}, publisher = {Springer}, theme = {vv} } @InProceedings{LHC08sac, author = {N.~Lathia and S.~Hailes and L.~Capra}, title = {{The Effect of Correlation Coefficients on Communities of Recommenders}}, booktitle = {Proc. of 23rd Annual ACM Symposium on Applied Computing - Trust, Recommendations, Evidence and other Collaboration Know-how (TRECK) Track}, year = {2008}, address = {Fortaleza, Ceara, Brazil}, month = MAR, pages = {2000--2005}, theme = {mobile}, url = {http://dx.doi.org/10.1145/1363686.1364172}, doi = {10.1145/1363686.1364172} } @InProceedings{QHC07icdm, author = {D.~Quercia and S.~Hailes and L.~Capra}, title = {{Lightweight Distributed Trust Propagation}}, booktitle = {Proc. of 7th IEEE International Conference on Data Mining}, year = {2007}, address = {Omaha, Nebraska, USA}, month = OCT, pages = {282--291}, theme = {mobile}, url = {http://dx.doi.org/10.1109/ICDM.2007.64}, doi = {10.1109/ICDM.2007.64} } @InProceedings{LHC07recsys, author = {N.~Lathia and S.~Hailes and L.~Capra}, title = {{Private Distributed Collaborative Filtering using Estimated Concordance Measures}}, booktitle = {Proc. of 1st ACM International Conference on Recommender Systems}, year = {2007}, address = {Minneapolis, Minnesota, USA}, month = OCT, pages = {1--8}, theme = {mobile}, url = {http://dx.doi.org/10.1145/1297231.1297233}, doi = {10.1145/1297231.1297233} } @InProceedings{QHC07mobiq, author = {D.~Quercia and S.~Hailes and L.~Capra}, title = {{TRULLO - Local Trust Bootstrapping for Ubiquitous Devices}}, booktitle = {Proc. of 4th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services}, year = {2007}, address = {Philadelphia, PA, USA}, month = AUG, pages = {1--9}, theme = {mobile}, url = {http://dx.doi.org/10.1109/MOBIQ.2007.4451015}, doi = {10.1109/MOBIQ.2007.4451015} } @InProceedings{MMC07mobiq, author = {L.~McNamara and C.~Mascolo and L.~Capra}, title = {{Content Source Selection in Bluetooth Networks}}, booktitle = {Proc. of 4th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services}, year = {2007}, address = {Philadelphia, PA, USA}, month = AUG, theme = {mobile}, pages = {1--8}, url = {http://dx.doi.org/10.1109/MOBIQ.2007.4451000}, doi = {10.1109/MOBIQ.2007.4451000} } @InProceedings{Cap07perware, author = {L.~Capra}, title = {{MaLM: Machine Learning Middleware to Tackle Ontology Heterogeneity}}, booktitle = {Proc. of 4th IEEE International Workshop on Middleware Support for Pervasive Computing}, year = {2007}, address = {White Plains, New York}, month = MAR, pages = {449--454}, theme = {mobile}, url = {http://dx.doi.org/10.1109/PERCOMW.2007.64}, doi = {10.1109/PERCOMW.2007.64} } @inproceedings{MukhijaDR-ECOWS07, author = {A.~Mukhija and A.~Dingwall-Smith and D.~S.~Rosenblum}, title = {{QoS-Aware Service Composition in Dino}}, booktitle = {Proceedings of the 5th IEEE European Conference on Web Services (ECOWS 2007)}, month = {November}, year = {2007}, isbn = {0-7695-3044-3}, location = {Halle, Germany}, pages = {3-12}, url = {http://dx.doi.org/10.1109/ECOWS.2007.24}, doi = {10.1109/ECOWS.2007.24}, publisher = {IEEE Computer Society Press}, address = {Washington, DC, USA}, theme = {dsa} } @PhdThesis{Sken07:SLAs, author = {J.~Skene}, title = {Language support for service-level agreements for application-service provision}, school = {University of London}, year = {2007}, theme = {dsa}, url = {http://sse.cs.ucl.ac.uk/pubs/phds/ThesisJamesSkene.pdf} } @InProceedings{FEK+07:ModelChecking, author = {H.~Foster and W.~Emmerich and J.~Kramer and J.~Magee and D.~Rosenblum and S.~Uchitel}, title = {{Model checking service compositions under resource constraints}}, booktitle = {Proc. of the $6^{th}$ joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering}, pages = {225--234}, year = {2007}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/1287624.1287657}, doi = {10.1145/1287624.1287657}, theme = {vv}, } @InProceedings{DRW:Scalability, author = {L.~Duboc and D.~Rosenblum and T.~Wicks}, title = {{A framework for characterization and analysis of software system scalability}}, booktitle = {Proc. of the $6^{th}$ joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering}, pages = {375--384}, year = {2007}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/1287624.1287679}, doi = {10.1145/1287624.1287679}, theme = {dsa}, } @InProceedings{CMR+07:CTG, author = {R.~Calegari and M.~Musolesi and F.~Raimondi and C.~Mascolo}, title = {{CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems}}, booktitle = {Proc. of the $6^{th}$ joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering}, pages = {415--424}, year = {2007}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/1287624.1287684}, doi = {10.1145/1287624.1287684}, theme = {vv} } @Proceedings{ER07:ICSE07, editor = {W.~Emmerich and G.~Rothermel}, title = {Proc. of the $29^{th}$ Int. Conference on Software Engineering, Minneapolis, USA, May 20-26, 2007}, year = {2007}, publisher = {IEEE Computer Society Press}, url = {http://dx.doi.org/10.1109/ICSE.2007.53}, doi = {10.1109/ICSE.2007.53}, theme = {misc} } @InProceedings{WER07:Automated, author = {Z.~Wang and S.~Elbaum and D.~S.~Rosenblum}, title = {{Automated Generation of Context-Aware Tests}}, booktitle = {Proc. of the $29^{th}$ Int. Conference on Software Engineering (ICSE '07), Minneapolis, MN}, OPTpages = {406--415}, year = {2007}, publisher = {IEEE Computer Society Press}, url = {http://dx.doi.org/10.1109/ICSE.2007.18}, doi = {10.1109/ICSE.2007.18}, theme = {vv} } @Article{EAS07:Impact, author = {W.~Emmerich and M.~Aoyama and J.~Sventek}, title = {{The Impact of Research on Middleware Technology}}, journal = {ACM SIGSOFT Software Engineering Notes}, year = {2007}, volume = {32}, number = {1}, pages = {21--46}, month = JAN, url = {http://doi.acm.org/10.1145/1226816.1226829}, doi = {10.1145/1226816.1226829}, theme = {misc}, note = {Also published in ACM SIGOPS Operating Systems Review 41(1):89-112. 2007} } @InProceedings{CCG+07:Runes, author = {P.~Costa and G.~Coulson and R.~Gold and M.~Lad and C.~Mascolo and L.~Mottola and G.~P.~Picco and T.~Sivaharan and N.~Weerasinghe and S.~Zachariadis}, title = {The RUNES Middleware for Networked Embedded Systems and its Application in a Disaster Management Scenario}, booktitle = {Proc. of the $5^{th}$ IEEE Int. Conf. on Pervasive Computing and Communications (Percom07), White Plains, NY}, pages = {69--78}, year = {2007}, month = MAR, publisher = {IEEE Computer Society Press}, theme = {mobile}, url = {http://dx.doi.org/10.1109/PERCOM.2007.36}, doi = {10.1109/PERCOM.2007.36} } @InProceedings{LomuscioPecheurRaimondi07, author = {A.~Lomuscio and C.~Pecheur and F.~Raimondi}, title = {Automatic Verification of Knowledge and Time with NuSMV}, booktitle = {Proceedings of the $20^{th}$ International Joint Conference on Artificial Intelligence}, publisher = {AAAI}, year = {2007}, month = {January}, address = {Hyderabad, India}, pages = {1384--1389}, theme = {vv}, url = {http://www.ijcai.org/papers07/Papers/IJCAI07-223.pdf}, } @InProceedings{CME+07:Predictive, author = {C.~Chapman and M.~Musolesi and W.~Emmerich and C.~Mascolo}, title = {{Predictive Resource Scheduling in Computational Grids}}, booktitle = {Proc. of the $21^{st}$ Int. Parallel and Distributed Processing Symposium, Long Beach, CA}, pages = {1--10}, year = {2007}, month = MAR, publisher = {IEEE Computer Society Press}, url = {http://dx.doi.org/10.1109/IPDPS.2007.370306}, doi = {10.1109/IPDPS.2007.370306}, theme = {dsa}, } @InProceedings{SSC+07:Monitorability, author = {J.~Skene and A.~Skene and J.~Crampton and W.~Emmerich}, title = {{The Monitorability of Service-Level Agreements for Application-Service Provision}}, booktitle = {Proc. of the $6^{th}$ Int. Workshop on Software and Performance (WOSP), Buenos Aires, Argentina}, pages = {3--14}, year = {2007}, month = FEB, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/1216993.1216997}, doi = {10.1145/1216993.1216997}, theme = {dsa}, } @InProceedings{dMM07:PerformanceAnalysis, author = {A.~Di Marco and C.~Mascolo}, title = {{Performance Analysis and Prediction of Physically Mobile Systems}}, booktitle = {Proc. of the $6^{th}$ Int. Workshop on Software and Performance (WOSP), Buenos Aires, Argentina}, pages = {129--132}, year = {2007}, month = FEB, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/1216993.1217015}, doi = {10.1145/1216993.1217015}, theme = {mobile} } @InCollection{WEB+07:Sedna, author = {B.~Wassermann and W.~Emmerich and B.~Butchart and N.~Cameron and L.~Chen and J.~Patel}, title = {{Sedna: A BPEL-based environment for visual scientific workflow modelling}}, booktitle = {Workflows for e-Science}, pages = {428--449}, publisher = {Springer}, year = {2007}, editor = {I.~J.~Taylor and E.~Deelman and D.~B.~Gannon and M.~Shields}, chapter = {26}, month = FEB, theme = {sde} } @article{orso07jun, author = {Alessandro Orso and Hyunsook Do and Gregg Rothermel and Mary Jean Harrold and David Rosenblum}, title = {{Using Component Metadata to Regression Test Component-based Software}}, journal = {Journal of Software Testing, Verification and Reliability (JSTVR)}, year = {2007}, volume = {17}, number = {2}, pages = {61--94}, url = {http://dx.doi.org/10.1002/stvr.344}, doi = {10.1002/stvr.344}, theme = {vv}, publisher = {Wiley}, month = {June}, } @PhdThesis{Ding06:RunTime, author = {A. Dingwall-Smith}, title = {Run-Time Monitoring of Goal-Oriented Requirements Specifications}, school = {University of London}, year = {2006}, url = {http://sse.cs.ucl.ac.uk/pubs/phds/dingwall-smith-thesis.pdf}, theme = {re} } @InCollection{WE06:ReliableService, author = {B.~Wassermann and W.~Emmerich}, title = {{Reliable Scientific Service Compositions}}, booktitle = {{Workshop Proceedings of the 4th Int. Conf. on Service Oriented Computing (ICSOC 2006), Chicago, IL}}, pages = {14--25}, publisher = {Springer Verlag}, year = {2007}, volume = {4652}, series = {Lecture Notes in Computer Science}, url = {http://dx.doi.org/10.1007/978-3-540-75492-3_2}, doi = {10.1007/978-3-540-75492-3_2}, theme = {dsa} } @Article{ZME06:SATIN, author = {S.~Zachariadis and C.~Mascolo and W.~Emmerich}, title = {{The SATIN Component System - A Meta Model For Engineering Adaptable Mobile Systems}}, journal = {IEEE Transactions on Software Engineering}, year = {2006}, url = {http://dx.doi.org/10.1109/TSE.2006.115}, theme = {mobile}, volume = {32}, number = {11}, pages = {910--927}, month = NOV, theme = {mobile} } @InProceedings{LomuscioRaimondiWozna06a, author = {A. Lomuscio and F.Raimondi and B. Wozna}, booktitle = {Proceedings of Concurrency, Specification and Programming (CSP)}, title = {{Verification of the TESLA protocol in MCMAS-X}}, publisher = {Humboldt University Press}, address = {Wandlitz, Germany}, year = {2006}, theme = {vv} } @InProceedings{PecheurRaimondi06, author = {C. Pecheur and F. Raimondi}, title = {{Symbolic model checking of logics with actions}}, booktitle = {Proceedings of MoChArt 2006}, publisher ={Springer Verlag}, series = {Lecture Notes in Artificial Intelligence}, month = aug, year = {2006}, } @Article{Kacprzak+06, author = {M. Kacprzak and A. Lomuscio and A. Niewiadomski and W. Penczek and F. Raimondi and M. Szreter}, title = {{Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol}}, journal = {Fundamenta Informaticae}, volume = {63}, number = {2,3}, pages = {221--240}, year = {2006}, url = {http://www.cs.ucl.ac.uk/staff/f.raimondi/pubs/FI-final-060214.pdf}, theme= {vv} } @PhDThesis{Raimondi-phd, author = {F. Raimondi}, title = {Model Checking Multi-Agent Systems}, school = {University of London}, year = {2006}, url = {http://www.cs.ucl.ac.uk/staff/f.raimondi/pubs/thesis.pdf}, theme = {vv} } @InProceedings{MMB06:Data, Author={C.~Mascolo and M.~Musolesi and B.~Pastzor}, Title={{Demo Abstract: Data Collection in Delay Tolerant Mobile Sensor Networks using SCAR}}, Booktitle={Proceedings of the $4^{th}$ ACM Conference on Embedded Networked Sensor Systems (SenSys 2006)}, Location={Boulder, CO, USA}, Month=NOV, Year={2006}, Publisher={ACM Press}, URL={http://www.cs.ucl.ac.uk/staff/m.musolesi/papers/Sensys06.pdf}, theme = {mobile} } @InProceedings{MM06:Controlled, author = {M.~Musolesi and C.~Mascolo}, title = {{Controlled Epidemic-style Dissemination Middleware for Mobile Ad Hoc Networks}}, Booktitle = {Proceedings of the 3rd Annual International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS 2006)}, year = {2006}, month = JUL, publisher = {IEEE Computer Society Press}, URL={http://www.cs.ucl.ac.uk/staff/m.musolesi/papers/mobiquitous06.pdf}, theme = {mobile} } @InProceedings{MM06:SCAR, Author = {C.~Mascolo and M.~Musolesi}, Title = {{SCAR: Context-aware Adaptive Routing in Delay Tolerant Mobile Sensor Networks}}, Booktitle = {Proceedings of the Delay Tolerant Networks Symposium. ACM International Wireless Communications and Mobile Computing Conference (IWCMC) 2006}, Month = JUN, Year = {2006}, Pages = {533--538}, Location = {Vancouver, Canada}, Publisher = {ACM Press}, URL = {http://dx.doi.org/10.1145/1143549.1143656}, theme = {mobile} } @InProceedings{MM06:Predictability, Author = {M.~Musolesi and C.~Mascolo}, Booktitle = {Proceedings of 2nd IEEE Workshop on Autonomic Communications and Computing (ACC'06). Co-located with 7th IEEE Int. Symp. WoWMoM'06}, Title = {{Evaluating Context Information Predictability for Autonomic Communication}}, Address = {Niagara Falls, NY}, Month = JUN, Pages = {495-499}, Year = {2006}, Publisher = {IEEE Computer Society Press}, URL = {http://dx.doi.org/10.1109/WOWMOM.2006.41}, theme = {mobile} } @InProceedings{MM06:Community, Author = {M.~Musolesi and C.~Mascolo}, Title = {{A Community based Mobility Model for Ad Hoc Network Research}}, Booktitle = {Proceedings of the 2nd ACM/SIGMOBILE International Workshop on Multi-hop Ad Hoc Networks: from theory to reality (REALMAN'06)}, Month = MAY, Year = {2006}, Pages = {31--38}, Location = {Florence, Italy}, Publisher = {ACM Press}, URL = {http://dx.doi.org/10.1145/1132983.1132990}, theme = {mobile} } @InProceedings{CapMus06:Autonomic, Author = {L.~Capra and M.~Musolesi}, Booktitle = {IEEE Workshop on Trusted and Autonomic Computing Systems 2006 (TACS '06)}, Title = {{Autonomic Trust Prediction for Pervasive Systems}}, Address = {Vienna, Austria}, Month = APR, pages = {481--488}, Year = {2006}, Publisher = {IEEE Computer Society Press}, URL = {http://dx.doi.org/10.1109/AINA.2006.113}, theme = {mobile} } @InProceedings{MusMas06:Spatio, Author = {Mirco Musolesi and Cecilia Mascolo}, Booktitle = {Proceedings of 3th MiNEMA Workshop}, Title = {{Spatio-Temporal Communication Primitives for Delay Tolerant Systems}}, Address = {Leuven, Belgium }, Month = FEB, Year = {2006}, URL = {http://www.cs.ucl.ac.uk/staff/m.musolesi/papers/minema06.pdf}, theme = {mobile} } @InCollection{ZLME06, author = {S.~Zachariadis and M.~Lad and C.~Mascolo and W.~Emmerich}, editor = {B.~Kraemer}, booktitle = {{Contributions to Ubiquitous Computing}}, title = {Building Adaptable Mobile Middleware Services Using Logical Mobility Techniques}, Series = {Studies in Computational Intelligence}, volume = {42}, pages = {17--40}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/stefchapter.pdf}, publisher = {Springer}, year = {2006}, theme = {mobile} } @InProceedings{SE06:Specifications, author = {J.~Skene and W.~Emmerich}, title = {{Specifications, not Meta-Models}}, Booktitle = {Proc. of the ICSE 2006 Workshop on Global integrated Model Mannagement (GaMMa 2006)}, pages = {47--54}, year = {2006}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/1138304.1138315}, theme = {dsa} } @InProceedings{BEII06:Softure, author = {A.~Bertolino and W.~Emmerich and P.~Inverardi and V.~Issarny}, title = {{Softure: Adaptable, Reliable and Performing Software for the Future}}, booktitle = {Proc. of the ETAPS '06 Workshop on Future Research Challenges for Software and Services}, OPTpages = {}, year = {2006}, editor = {T.~Margaria-Steffen}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/ETAPS06/EASST-WORD_FRCSS06_plastic.pdf}, theme = {dsa} } @InProceedings{CWEF06:BPEL, author = {L.~Chen and B.~Wassermann and W.~Emmerich and H.~Foster}, title = {{Web Service Orchestrations with BPEL (Tutorial Summary)}}, booktitle = {Proc. of the $28^{th}$ Int. Conference on Software Engineering, Shanghai, China}, pages = {1071--1072}, year = {2006}, publisher = {ACM Press}, theme = {dsa}, url = {http://dx.doi.org/10.1145/1134285.1134511}, } @article{qlhcb-j, author = {D.~Quercia and M.~Lad and S.~Hailes and L.~Capra and S.~Bhatti}, title= {{Survivable wireless networking -- autonomic bandwidth sharing in mesh networks}}, journal = {BT Technology Journal}, year = {2006}, publisher = {Springer}, volume = {24}, number = {3}, pages = {99--107}, theme = {mobile} } @InProceedings{mmc06, author = {L.~McNamara and C.~Mascolo and L.~Capra}, title={{Trust and Mobility aware Service Provision for Pervasive Computing}}, booktitle = {Int. Workshop on Requirements and Solutions for Pervasive Software Infrastructures (co-located with Pervasive 2006)}, year = {2006}, month = MAY, address = {Dublin, Ireland}, url = {http://www.cs.ucl.ac.uk/staff/l.capra/publications/trustmob.pdf}, theme= {mobile} } @InProceedings{qhc-06-1, author = {D.~Quercia and S.~Hailes and L.~Capra}, title={{B-trust: Bayesian Trust Framework for Pervasive Computing}}, booktitle = {Proc. of the $4^{th}$ International Conference on Trust Management (iTrust)}, year = {2006}, month = MAY, address = {Pisa, Italy}, url = {http://www.cs.ucl.ac.uk/staff/l.capra/publications/querciaB-trust06.pdf}, theme = {mobile} } @InProceedings{qhc-06-2, author = {D.~Quercia and S.~Hailes and L.~Capra}, title={{TATA: Towards Anonymous Trusted Authentication}}, booktitle = {Proc. of the $4^{th}$ International Conference on Trust Management (iTrust)}, year = {2006}, month = MAY, url = {http://www.cs.ucl.ac.uk/staff/l.capra/publications/querciaTATA06.pdf}, theme = {mobile}, address = {Pisa, Italy} } @InProceedings{qlhcb06, author = {D.~Quercia and M.~Lad and S.~Hailes and L.~Capra and S.~Bhatti}, title={{STRUDEL: Supporting Trust in the Dynamic Establishment of peering coaLitions}}, booktitle = {Proc. of 21st Annual ACM Symposium on Applied Computing}, year = {2006}, month = APR, url = {http://dx.doi.org/10.1145/1141277.1141719}, theme = {mobile}, address = {Dijon, France}, publisher = {ACM Press} } @PhdThesis{Alv05:Managing, author = {C.~F.~Alves}, title = {Managing Mismatches in COTS-Based Development}, school = {University of London}, year = {2005}, opturl = {http://sse.cs.ucl.ac.uk/pubs/phds/Alves_Thesis.pdf}, theme = {dsa} } @PhdThesis{Zach05:Adapting, author = {S.~Zachariadis}, title = {Adapting Mobile Systems Using Logical Mobility Primitives}, school = {University of London}, year = {2005}, url = {http://sse.cs.ucl.ac.uk/pubs/phds/stefanos_zachariadis_phd_thesis.pdf}, theme = {mobile} } @InProceedings{Cap06, author = {L.~Capra}, title={{Reasoning about Trust Groups to Coordinate Mobile Ad-Hoc Systems}}, booktitle = {Proc. of the $1^{st}$ IEEE Workshop on the Value of Security Through Collaboration, in conjunction with IEEE/CreateNet SecureComm 2005}, year = {2005}, month = {September}, address = {Athens, Greece}, url = {http://www.cs.ucl.ac.uk/staff/l.capra/publications/secoval05.pdf}, theme={mobile} } @inproceedings{raiciu-debs2006, author = {C.~Raiciu and D.~S.~Rosenblum and M.~Handley}, title = {{Revisiting Content-Based Publish/Subscribe}}, booktitle = {DEBS '06: Proceedings of the fifth International Workshop on Distributed Event Based Systems}, year = {2006}, location = {Lisbon, Portugal}, url = {http://dx.doi.org/10.1109/ICDCSW.2006.92}, theme = {dsa} } @inproceedings{raiciu-securecomm2006, author = {C.~Raiciu and D.~S.~Rosenblum}, title = {{Enabling Confidentiality in Content-Based Publish/Subscribe Infrastructures}}, booktitle = {Securecomm '06: Proceedings of the Second IEEE/CreatNet International Conference on Security and Privacy in Communication Networks }, year = {2006}, location = {Baltimore, MD, USA}, url = {http://www.cs.ucl.ac.uk/staff/c.raiciu/files/confidential.pdf}, theme = {dsa}, } @inproceedings{raiciu-lsad2006, author = {C.~Raiciu and M.~Handley and D.~S.~Rosenblum}, title = {{Exploit Hijacking: Side Effects of Smart Defenses}}, booktitle = {LSAD '06: Proceedings of ACM SIGCOM Workshop on Large Scale Attack Defenses}, year = {2006}, location = {Pisa, Italy}, url = {http://dx.doi.org/10.1145/1162666.1162670}, theme = {dsa} } @inproceedings{popa-icnp2006, author = {L.~Popa and C.~Raiciu and I.~Stoica and D.~S.~Rosenblum}, title = {{Reducing Congestion Effects in Wireless Networks by Multipath Routing}}, booktitle = {ICNP '06: Proceedings of the $14^{th}$ IEEE International Conference on Network Protocols}, year = {2006}, address = {Santa Barbara, CA, USA}, publisher = {IEEE Computer Society Press}, theme = {dsa} } @Article{CBT+05:E-Minerals, author = {M.~Calleja and R.~Bruin and M.~G.~Tucker and M.~T.~Dover and R.~Tyer and L.~Blanshard and K.~Kleese~van~Dam and R.~J.~Allen and C.~Chapman and W.~Emmerich and P.~Wilson and J.~Brodholt and A.~Thandavan and V.~N.~Alexandrov}, title = {{Collaborative grid infrastructure for molecular simulations: The eMinerals minigrid as a prototype integrated compute and data grid}}, journal = {Molecular Simulation}, year = {2005}, volume = {31}, number = {5}, pages = {303--313}, month = APR, doi = {10.1080/08927020500067195}, url = {http://dx.doi.org/10.1080/08927020500067195}, Theme = {dsa} } @article{BE06:2WaysToGrid, author = {P. Brebner and W. Emmerich}, title = {{Two Ways to Grid: The contribution of Open Grid Services Architecture (OGSA) mechanisms to Service-centric and Resource-centric lifecycles}}, journal = {Journal of Grid Computing}, year = {2006}, volume = {4}, number = {1}, pages = {115--131}, month = MAR, theme = {dsa}, url = {http://dx.doi.org/10.1007/s10723-005-9008-2} } @article{EBC+05:Orchestrating, author = {W. Emmerich and B. Butchart and L. Chen and B. Wassermann and S. L. Price}, title = {{Grid Service Orchestration using the Business Process Execution Language (BPEL)}}, journal = {Journal of Grid Computing}, volume = {3}, number = {3-4}, pages = {283--304}, year = {2005}, url = {http://dx.doi.org/10.1007/s10723-005-9015-3}, theme = {dsa}, } @incollection{BE05:Deployment, author = {P. Brebner and W. Emmerich}, title = {{Deployment of Infrastructure and Services in the Open Grid Services Architecture}}, booktitle = {Proc. of the 3rd Int. Working Conference on Component Deployment, CD 2005, Grenoble, France}, pages = {181-195}, year = {2005}, editor = {A. Dearle and S. Eisenbach}, series = {Lecture Notes in Computer Science}, volume = {3798}, month = {NOV}, publisher = {Springer}, theme = {dsa}, url = {http://dx.doi.org/10.1007/11590712_15} } @inproceedings{CCE+05:CondorBirdbath, author = {C. Goonatilake and C. Chapman and W. Emmerich and M. Farrellee and T. Tannenbaum and M. Livny and M. Calleja and M. Dove}, title = {Condor Birdbath - web service interface to Condor}, booktitle = {Proc. of the 2005 UK e-Science All Hands Meeting}, year = {2005}, month = {SEP}, publisher = {EPSRC}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/AllHands05/birdbath-paper.pdf}, theme = {dsa}, } @InProceedings{CCM+05:RUNES, author = {P.~Costa and G.~Coulson and C.~Mascolo and G.~P.~Picco and S.~Zachariadis}, title = {{The RUNES middleware: a reconfigurable component-based approach to networked embedded systems}}, booktitle = {Proc. of the $16^{th}$ Int. Symposium on Personal, Indoor and Mobile Radio Communications}, pages = {806--810}, year = {2005}, volume = {2}, month = SEP, publisher = {IEEE Computer Society Press}, url = {http://dx.doi.org/10.1109/PIMRC.2005.1651554}, theme = {mobile} } @article{RE05:UsingRealOptions, author = {R. Bahsoon and W. Emmerich and J. Macke}, title = {Using real options to select stable middleware-induced software architectures}, journal = {IEE Proceedings Software}, year = {2005}, volume = {152}, number = {4}, pages = {167-186}, month = {AUG}, url = {http://dx.doi.org/10.1049/ip-sen:20045059}, theme = {dsa}, } @inproceedings{CZM05:Q-CAD, author = {L. Capra and S. Zachariadis and C. Mascolo}, title = {Q-CAD: QoS and Context Aware Discovery Framework for Adaptive Mobile Systems}, booktitle = {Proc. of IEEE Int. Conference on Pervasive Services (ICPS05). San Torini, Greece}, pages = {453-456}, year = {2005}, month = {JUL}, publisher = {IEEE Computer Society Press}, url = {http://dx.doi.org/10.1109/PERSER.2005.1506566}, theme = {mobile}, } @InProceedings{MHM05:Ukubinet, author = {M.~Musolesi and S.~Hailes and C.~Mascolo}, title = {{Social Networks Based Ad Hoc Mobility Models}}, booktitle = {Proc. of the $3^{rd}$ UK-UbiNet Workshop}, year = {2005}, month = FEB, url = {http://www.cs.ucl.ac.uk/staff/m.musolesi/papers/ukubinet05.pdf}, theme = {mobile} } @Article{MMH05:Emma, author = {M.~Musolesi and C.~Mascolo and S.~Hailes}, title = {EMMA: Epidemic Messaging Middleware for Ad Hoc Networks}, journal = {Personal and Ubiquitous Computing}, year = {2006}, volume = {10}, number = {1}, pages = {28--36}, theme = {mobile}, url = {http://dx.doi.org/10.1007/s00779-005-0037-4} } @InCollection{SK05:Engineering, author = {J. Skene and W. Emmerich}, title = {{Engineering Runtime Requirements-Monitoring Systems using MDA Technologies}}, booktitle = {IFIP Symposium on Trustworthy Global Computing}, pages = {319--333}, publisher = {Springer}, year = {2005}, volume = {3705}, series = {Lecture Notes in Computer Science}, theme = {dsa}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/TGC05/tgc.pdf} } @InProceedings{MHM05:Adaptive, author = {M.~Musolesi and S.~Hailes and C.~Mascolo}, title = {{Adaptive Routing for Intermittently Connected Mobile Ad Hoc Networks}}, booktitle = {Proc. of the IEEE International Syposium on a World of Wireless, Mobile and Multimedia Networks}, pages = {183--189}, year = {2005}, month = JUN, publisher = {IEEE Computer Society Press}, theme = {mobile}, url = {http://dx.doi.org/10.1109/WOWMOM.2005.17} } @Proceedings{MG05:SEM, editor = {T.~Gschwind and C.~Mascolo}, title = {Software Engineering and Middleware~-- $4^{th}$ International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004, Revised Selected Papers}, publisher = {Springer}, year = {2005}, series = {Lecture Notes in Computer Science}, volume = {3437}, month = MAR, theme = {dsa}, url = {http://dx.doi.org/10.1007/b107130} } @InCollection{DWE05:Plus, author = {L.~Duboc and T.~Wicks and W.~Emmerich}, title = "{Experience with Lightweight Distributed Component Technologies in Business Intelligence Systems}", booktitle = {Proc. of the $4^{th}$ Int. Workshop on Software Engineering and Middleware, Linz, Austria}, OPTpages = {214--229}, publisher = {Springer}, year = {2005}, month = MAR, editor = {C. Mascolo and T. Gschwind}, volume = {3437}, series = {Lecture Notes in Computer Science}, url = {http://dx.doi.org/10.1007/11407386_16}, theme = {dsa} } @InCollection{DPE05:PerformanceTesting, author = {G.~Denaro and A.~Polini and W.~Emmerich}, title = "{Performance Testing of Distributed Component Architectures}", booktitle = "{Building Quality into COTS Components -- Testing and Debugging}", pages = {294--314}, publisher = {Springer}, year = {2005}, editor = {S.~Beydeda and V.~Gruhn}, theme = {dsa}, url = {http://dx.doi.org/10.1007/3-540-27071-X_14}, } @InProceedings{Capra04b, author = {L.~Capra}, title = {{Engineering Human Trust in Mobile System Collaborations}}, booktitle = {Proc. of the $12^{th}$ International Symposium on the Foundations of Software Engineering (SIGSOFT 2004/FSE-12), Newport Beach, CA, USA}, year = 2004, pages = {107--116}, month = NOV, publisher = {ACM Press}, theme = {mobile}, url = {http://dx.doi.org/10.1145/1029894.1029912} } @InCollection{ZME04:Satin, author = {S.~Zachariadis and C.~Mascolo and W.~Emmerich}, title = "{SATIN: A Component Model for Mobile Self-Organisation}", booktitle = "{On the Move to Meaningful Internet Systems 2004: Proc. of CoopIS, DOA and ODBASE, Agia Napa, Cyprus}", editor = {R.~Meersman and Z.~Tari et al.}, series = {Lecture Notes in Computer Science}, volume = {3291}, pages = {1303--1321}, year = {2004}, address = {Agia Napa, Cyprus}, month = {October}, publisher = {Springer}, url = {http://dx.doi.org/10.1007/b102176}, theme = {mobile} } @InCollection{RRE04:Reliability, author = {G.~Rodrigues and G.~Roberts and W.~Emmerich}, title = "{Reliability Support for the Model Driven Architecture}", booktitle = {Architecting Dependable Systems~II}, pages = {79--98}, publisher = {Springer}, year = {2004}, editor = {R.~de Lemos and C.~Gacek and A.~Romanovsky}, volume = {3069}, series = {Lecture Notes in Computer Science}, url = {http://dx.doi.org/10.1007/b100023}, theme = {dsa} } @InProceedings{Mus04, author = {M.~Musolesi}, Title = "{Designing a Context-aware Middleware for Asynchronous Communication in Mobile Ad Hoc Environments}", Booktitle = {Middleware 2004 Companion Proceedings}, Month = {October}, Pages = {304--308}, Publisher = {ACM Press}, Year = {2004}, Address = {Toronto, Canada}, URL = {http://dx.doi.org/10.1145/1028480.1028485}, theme = {mobile} } @InProceedings{HHM04:AdaptiveResource, author = {R.~Harbird and S.~Hailes and C.~Mascolo}, title = "{Adaptive Resource Discovery for Ubiquitous Computing}", booktitle = {Proc. of the $2^{nd}$ Int. Workshop on Middleware for Pervasive and Ad-Hoc Computing. In Middleware 2004 Companion Proceedings.}, pages = {155--160}, year = {2004}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/1028509.1028519}, theme = {mobile} } @InProceedings{MMH04:AdaptiveAsynchronous, author = {M.~Musolesi and C.~Mascolo and S.~Hailes}, title = "{Adapting Asynchronous Messaging Middleware to Ad Hoc Networking}", booktitle = {Proc. of the $2^{nd}$ Int. Workshop on Middleware for Pervasive and Ad-Hoc Computing. In Middleware 2004 Companion Proceedings}, pages = {121--126}, year = {2004}, publisher = {ACM Press}, theme = {mobile}, url = {http://dx.doi.org/10.1145/1028509.1028513}, } @InProceedings{MHM04:AdHoc, author = {M.~Musolesi and S.~Hailes and C.~Mascolo}, title = "{An Ad Hoc Mobility Model Founded on Social Network Theory}", booktitle = {Proc. of the $7^{th}$ ACM/IEEE Int. Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Venice, Italy}, pages = {20--24}, year = {2004}, publisher = {ACM Press}, theme = {mobile}, url = {http://dx.doi.org/10.1145/1023663.1023669}, } @InProceedings{CWT+04:CondorServices, author = {C.~Chapman and P.~Wilson and T.~Tannenbaum and M.~Farrellee and M.~Livny and J.~Brodholt and W.~Emmerich}, title = "{Condor Services for the Global Grid: Interoperability between Condor and OGSA}", booktitle = {Proc of the 2004 UK E-Science All Hands Meeting, Nottingham}, pages = {870-877}, year = {2004}, editor = {S. Cox}, publisher = {UK Engineering and Physical Science Research Council}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/AHM04/condor-ws.pdf}, theme = {dsa} } @InProceedings{CBB+04:GridTool, author = {M.~Calleja and L.~Blanshard and R.~Bruin and C.~Chapman and A.~Thandavan and R.~Tyer and P.~Wilson and V.~Alexandrof and J.~Brodholt and M.~T.~Dove and W.~Emmerich and K.~Kleese~van~Dam}, title = "{Grid tool integration within the eMinerals Project}", booktitle = {Proc of the 2004 UK E-Science All Hands Meeting, Nottingham}, pages = {812--817}, year = {2004}, editor = {S. Cox}, publisher = {UK Engineering and Physical Science Research Council}, url = {http://www.allhands.org.uk/proceedings/papers/263.pdf}, theme = {dsa} } @InProceedings{WEB04:Leveraging, author = {P.~Wilson and W.~Emmerich and J.~Brodholt}, title = "{Leveraging HTC for UK eScience with Very Large Condor pools: Demand for transforming untapped power into results}", booktitle = {Proc of the 2004 UK E-Science All Hands Meeting, Nottingham}, pages = {308--315}, year = {2004}, editor = {S. Cox}, publisher = {UK Engineering and Physical Science Research Council}, url = {http://www.allhands.org.uk/proceedings/papers/131.pdf}, theme = {dsa} } @InProceedings{NBC+:IncreasingThe, author = {H.~Nowell and B.~Butchart and D.~S.~Coombes and S.~L.~Price and W.~Emmerich and C.~R.~A.~Catlow}, Title = "{Increasing the Scope for Polymorph Prediction using e-Science}", booktitle = {Proc of the 2004 UK E-Science All Hands Meeting, Nottingham}, pages = {968--971}, year = {2004}, editor = {S. Cox}, publisher = {UK Engineering and Physical Science Research Council}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/AHM04/finalnowell.pdf}, theme = {dsa} } @InProceedings{SE04:Generating, author = {J.~Skene and W.~Emmerich}, title = "{Generating a Contract Checker for an SLA Language}", booktitle = {Proc. of the EDOC 2004 Workshop on Contract Architectures and Languages, Monterey, California}, OPTpages = {}, year = {2004}, publisher = {IEEE Computer Society Press}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/COALA04/coala.pdf}, theme = {dsa} } @InProceedings{BE04:Evaluating, author = {R.~Bahsoon and W.~Emmerich}, title = {Evaluating Architectural Stability with Real Options Theory}, booktitle = {Proc. of the $20^{th}$ Int. Conference on Software Maintenance, Chicago, Illinois, U.S.A.}, pages = {443--447}, year = {2004}, publisher = {IEEE Computer Society Press}, url = {http://dx.doi.org/10.1109/ICSM.2004.1357832}, theme = {dsa} } @InCollection{MCE04:Principles, author = {C.~Mascolo and L.~Capra and W.~Emmerich}, title = "{Principles of Mobile Computing Middleware}", booktitle = {Middleware for Communications}, publisher = {John Wiley}, year = {2004}, editor = {Q.~Mahmoud}, pages = {261--280}, url = {http://www.wiley.com/WileyCDA/WileyTitle/productCd-0470862068.html}, theme = {mobile} } @Article{MPR04:CodeWeave, author = {C.~Mascolo and G.~P.~Picco and G.-C.~Roman}, title = "{CODEWEAVE: Exploring Fine-grained Mobility of Code}", journal = {Automated Software Engineering (Special Issue on Mobility)}, year = {2004}, volume = {11}, number = {3}, pages = {207--243}, publisher = {Kluwer}, theme = {mobile}, url = {http://dx.doi.org/10.1023/B:AUSE.0000028535.07877.da} } @InProceedings{JE04:MDAInPractice, author = {J.-M.~Jezequel and W.~Emmerich}, title = {{MDA in Practice (Panel)}}, booktitle = {Proc. of the $26^{th}$ Int. Conference on Software Engineering, Edinburgh, UK}, year = 2004, month = MAY, pages = {691}, publisher = {IEEE Computer Society Press}, url = {http://dx.doi.org/10.1109/ICSE.2004.1317491}, theme = {dsa} } @InProceedings{Capra04a, author = {L.~Capra}, title = {{Towards a Human Trust Model for Mobile Ad-hoc Networks}}, booktitle = {Proc. of $2^{nd}$ UK-UbiNet Workshop}, year = 2004, address = {Cambridge, UK}, month = MAY, url = {http://www.cs.ucl.ac.uk/staff/L.Capra/publications/ukubinet04.pdf}, theme = {mobile} } @inproceedings{PZW:FFO-03, author = {G.~Piccinelli and C.~Zirpins and W.~Lamersdorf}, title = "{The FRESCO Framework: An Overview}", booktitle = {2003 Symposium on Applications and the Internet Workshops (SAINT 2003 Workshops)}, year = {2003}, pages = {120-123}, publisher = {IEEE Computer Society}, theme = {dsa}, url = {http://ieeexplore.ieee.org/iel5/8594/27233/01210139.pdf} } @InProceedings{BE04:Applying, author = {R.~Bahsoon and W.~Emmerich}, title = "{Applying ArchOptions to Value the Payoff of Refactoring}", booktitle = {Proc. of the $6^{th}$ Int. Workshop on Economics Driven Software Engineering Research, Edinburgh, Scotland}, pages = {66-70}, year = {2004}, publisher = {IEE}, address = {Six Hills Way, Stevenage, Herts, SG1 2AY, UK}, theme = {dsa}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/EDSER6/index.html} } @InProceedings{ukubinet03, author = {S.~Zachariadis and C.~Mascolo}, title = {Adaptable Mobile Applications Through SATIN: Exploiting Logical Mobility in Mobile Computing Middleware}, booktitle = {Proc. of the $1^{st}$ UK-UbiNet Workshop}, year = {2003}, month = SEP, theme = {mobile}, url = {http://www.cs.ucl.ac.uk/staff/s.zachariadis/papers/ubinet03.pdf} } @inproceedings{PZG:AME-03, author = {G.~Piccinelli and C.~Zirpins and Clare Gryce}, title = "{An Architectural Model for Electronic Services}", booktitle = {Proc. IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2003), June 9-11, 2003, University of Linz, Linz, Austria}, year = {2003}, pages = {113-114}, publisher = {IEEE Computer Society}, theme = {dsa}, url = {http://ieeexplore.ieee.org/iel5/8713/27586/01231393.pdf} } @inproceedings{PZS:PBO-02, author = {G.~Piccinelli and C.~Zirpins and K.~Schuett}, title = {Process-Based optimization of Data Exchange for B2B Interaction}, booktitle = {Proc. Networking 2002 Workshop: Web Engineering, Pisa, Italy}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, editor = {E.~Gregori and L.~Cherkasova and G.~Cugola and F.~Panzieri and G.~P.~Picco}, volume = {2376}, pages = {118-126}, theme = {dsa}, url = {http://www.cs.ucl.ac.uk/staff/g.piccinelli/publications/2002pisa.pdf} } @inproceedings{ZP:idd-02, author = {C. Zirpins and G. Piccinelli}, title = {Interaction-Driven Definition of e-Business Processes}, booktitle = {Proc. 26th International Computer Software and Applications Conference (COMPSAC 2002)}, year = {2002}, editor = {IEEE Computer Society}, pages = {738-740}, theme = {dsa}, url = {http://ieeexplore.ieee.org/iel5/8094/22390/01045090.pdf} } @inproceedings{PMC:som-01, author = {G.~Piccinelli and M.~Salle and C.~Zirpins}, title = {Service-Oriented Modeling for E-Business Applications Components}, booktitle = {Proc. IEEE 10th International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2001), June 20-22 2001, Massachusetts Institute of Technology, Cambridge, MA, USA}, year = {2001}, publisher = {IEEE Computer Society}, theme = {dsa}, url = {http://ieeexplore.ieee.org/iel5/7566/20615/00953379.pdf}, } @TechReport{AME03:Incentives, author = {T.~Ackemann and C.~Mascolo and W.~Emmerich}, title = "{Lightweight Incentives in Peer-to-Peer Networks}", institution = {UCL-CS}, year = {2003}, OPTkey = {}, type = {Research Note}, OPTnumber = {}, OPTaddress = {}, month = NOV, note = {Submitted for Publication}, OPTannote = {}, theme = {dsa} } @InProceedings{MCE01:XML, author = {C.~Mascolo and L.~Capra and W.~Emmerich}, title = "{An XML-based middleware for peer-to-peer computing}", booktitle = {Proc. of the $1^{st}$ Int. Conference on Peer-to-Peer Computing}, pages = {69--74}, year = {2001}, publisher = {IEEE Computer Society Press}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/p2p.pdf}, doi = {10.1109/P2P.2001.990428}, theme = {dsa} } @inproceedings{SLE04:PreciseSLA, author = {J.~Skene and D.~Lamanna and W.~Emmerich}, title = "{Precise Service Level Agreements}", booktitle = {Proc. of the $26^{th}$ Int. Conference on Software Engineering, Edinburgh, UK}, year = "2004", month = MAY, publisher = "IEEE Computer Society Press", pages = "179--188", url = {http://dx.doi.org/10.1109/ICSE.2004.1317440}, theme = {dsa} } @inproceedings{SPS03:Modelling, author = {J.~Skene and G.~Piccinelli and M.~Stearns}, title = "{Modelling Electronic Service Systems Using UML}", booktitle = {Workshop on Service Based Software Engineering, FM2003-SBSE, Pisa, Italy}, year = "2003", month = "September", publisher = "Technische Universitaet Muenchen", pages = "15--30", url = {http://www.cs.ucl.ac.uk/staff/J.Skene/phd/sbse2.pdf}, theme = {dsa} } @article{etaps_ldta2002, author = {D.~Parigot and C.~Courbis and P.~Degenne and A.~Fau and C.~Pasquier and J.~Fillon and C.~Help and I.~Attali}, title = "{Aspect and XML-oriented Semantic Framework Generator: SmartTools}", year = 2002, journal = {Electronic Notes in Theoretical Computer Science}, publisher = {Kluwer}, volume = {65}, number = {3}, month = {April}, url = "ftp://ftp-sop.inria.fr/oasis/personnel/Carine.Courbis/smartldta02.pdf", theme = {sde}, } @inProceedings{icse_xse2001, author = {I.~Attali and C.~Courbis and P.~Degenne and A.~Fau and J.~Fillon and D.~Parigot and C.~Pasquier and C.~Sacerdoti Coen}, title = "{SmartTools: a Development Environment Generator based on XML Technologies}", url = "ftp://ftp-sop.inria.fr/oasis/personnel/Carine.Courbis/smarticse02.pdf", publisher = "ICSE workshop proceedings", organization = "ICSE'2001", address = "Toronto, Canada", booktitle = "XML Technologies and Software Engineering", abstract = "SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. SmartTools is easy to use, thanks to its graphical user interface. Being based on Java and XML technologies offers all the features of SmartTools to any defined language. The main goal of this tool is to provide help and support for designing software development environments for programming languages as well as domain-specific languages defined with XML technologies.", year = {2001}, month = {May}, theme = {sde} } @Article{CEF03:Guest, author = {C.~Mascolo and W.~Emmerich and A.~Finkelstein}, title = {{Guest Editorial: XML and Software Engineering}}, journal = {Automated Software Engineering}, year = {2003}, volume = {10}, number = {1}, pages = {5--6}, month = JAN, url = {http://dx.doi.org/10.1023/A:1021808716070}, theme = {dsa} } @InCollection{etaps_cc2001, author = {I.~Attali and C.~Courbis and P.~Degenne and A.~Fau and D.~Parigot}, title = "{SmartTools: a Generator of Interactive Environments Tools}", booktitle = {Compiler Construction CC'2001}, year = 2001, volume = {2027}, editor = {R.~Wilhelm}, pages = {355--360}, series = {Lecture Notes in Computer Science}, address = {Genova, Italy}, month = {April}, publisher = {Springer-Verlag}, note = {Tool demonstration}, url = {ftp://ftp-sop.inria.fr/oasis/personnel/Carine.Courbis/smartcc01.pdf}, theme = {sde}, } @Article{jcn2000, author = {I.~Attali and D.~Caromel and C.~Courbis and L.~Henrio and H.~Nilsson}, title = "{An Integrated Development Environment For Java Card}", journal = {Computer Networks, Elsevier Science Publishers, special issue on Smart Cards}, year = {2001}, volume = {36}, number = {4}, pages = {291--305}, month = {July}, url = {ftp://ftp-sop.inria.fr/oasis/personnel/Carine.Courbis/jcn2000.pdf}, theme = {sde} } @InProceedings{cardis2000, author = {I.~Attali and D.~Caromel and C.~Courbis and L.~Henrio and H.~Nilsson}, title = {Smart Tools for Java Card}, booktitle = {Smart Card Research and Advanced Applications, Proceedings of CARDIS'2000}, publisher = {Kluwer}, pages = {155--174}, year = 2000, editor = {J.~Domingo-Ferrer, D.~Chan, A.~Watson}, series = {Kluwer Academic Publishers}, address = {Bristol, UK}, month = {September}, url = {ftp://ftp-sop.inria.fr/oasis/personnel/Carine.Courbis/cardis2000.ps.gz}, theme = {sde}, } @inproceedings{maposter, Author = {C. Mascolo and W. Emmerich and A. Finkelstein}, Title = {XMILE: An Incremental Code Mobility System based on XML Technologies}, BookTitle = {Proc. of the $2^{nd}$ Int. Symposium on Agent Systems and Applications and Mobile Agents (ASA/MA2000) September}, Publisher = {ASA/MA}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/maposter.pdf}, Theme = {mobile}, Year = {2000} } @InProceedings{DPE04:EarlyPerformance, author = {G.~Denaro and A.~Polini and W.~Emmerich}, title = "{Early Performance Testing of Distributed Software Applications}", booktitle = {Proc. of the $4^{th}$ Int. Workshop on Software and Performance, Redwood Shores, Cal., January 14-16, 2004}, pages = {94--103}, year = {2004}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/974044.974059}, theme= {dsa} } @incollection{PEWS03:ModelDriven, editor = {M.~E.~Orlowska and S.~Weerawarana and M.~P.~Papazoglou and J.~Yang}, author = {G.~Piccinelli and W.~Emmerich and S.~Williams and M.~Stearns}, title = "{A Model-Driven Architecture for Electronic Service Management Systems}", booktitle = {Proc. of the $1^{st}$ Int. Conference on Service-Oriented Computing, Trento, Italy}, pages = {241--255}, series = "{Lecture Notes in Computer Science}", volume = {2910}, year = {2003}, publisher = {Springer Verlag}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/ISOC03/icsoc.pdf}, theme = {dsa}, } @InProceedings{RRES03:ReliabilitySupport, author = {G. N. Rodrigues and G. Roberts and W. Emmerich and J. Skene}, title = "{Reliability Support for the Model Driven Architecture}", booktitle = {Proceedings of the ICSE Workshop on Software Architecture for Dependable Systems}, OPTpages = {}, year = {2003}, url = {http://www.cs.ucl.ac.uk/staff/g.nunesrodrigues/phd/papers/icse03/abstract.htm}, theme = {dsa} } @InProceedings{SE03:AModel, author = {J.~Skene and W.~Emmerich}, title = "{A Model Driven Architecture Approach to Analysis of Non-Functional Properties of Software Architectures}", booktitle = {Proc. of the $18^{th}$ IEEE Conference on Automated Software Engineering, October 2003, Montreal, Canada}, pages = {236--239}, year = {2003}, publisher = {IEEE Computer Society Press}, url = {http://dx.doi.org/10.1109/ASE.2003.1240311}, theme = {dsa} } @incollection{AEQ98:Literate, editor = {J.~Bezivin and P.~A.~Muller}, author = {J.~Arlow and J.~Quinn and W.~Emmerich}, title = "{Literate Modelling -- Capturing Business Knowledge with the UML}", booktitle = {Proc. \verb+<>+ '98, Mulhouse, France}, pages = {165--172}, series = "{Lecture Notes in Computer Science}", volume = 1618, year = {1999}, publisher = {Springer Verlag}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/UML98}, theme = {sde} } @incollection{EF96:DoProcess, editor = {C.~Montagnero}, author = {W.~Emmerich and A.~Finkelstein}, title = "{Do Process--Centred Environments Deserve Process-Centred Tools?}", booktitle = {Software Process Technology, Proc. of the $5^{th}$ European Workshop}, pages = {75--81}, series = "{Lecture Notes in Computer Science}", volume = 1149, year = {1996}, publisher = {Springer Verlag}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/EWSPT96/ewspt96.html}, theme = {sde} } @incollection{CEM01:Reflective, editor = {A.~Yonezawa and S.~Matsuoka}, author = {L.~Capra and W.~Emmerich and C.~Mascolo}, title = "{Reflective Middleware Solutions for Context-Aware Applications}", booktitle = {Metalevel Architectures and Separation of Crosscutting Concerns -- Proc. of Reflection 2001, Kyoto, Japan}, pages = {126--133}, series = "{Lecture Notes in Computer Science}", volume = 2192, year = {2001}, publisher = {Springer Verlag}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/Reflection01/reflection01.pdf}, theme = {mobile} } @incollection{EEF98:Process, author = {E.~Ellmer and W.~Emmerich and A.~Finkelstein}, editor = {B.~Nuseibeh}, title = "{Process Technology Implications of Procurement Process: Some Initial Observations}", booktitle = {Software Process Technology, Proc. of the $6^{th}$ European Workshop, Weybridge, UK}, pages = {105--110}, series = "{Lecture Notes in Computer Science}", volume = 1487, year = {1998}, publisher = {Springer Verlag}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/EWSPT98/index.html}, theme = {sde} } @inbook{BESS96:RepositoriesFor, author = {N.~S.~Barghouti and W.~Emmerich and W.~Schaefer and A.~H.~Skarra}, editor = {A.~Fuggetta and A.~Wolf}, title = "{Information Management in Process-Centered Software Engineering Enviroments}", booktitle = "{Software Process}", chapter = {3}, pages = {53--87}, year = 1996, publisher = {Wiley}, number = {4}, series = "{Trends in Software}", keywords = {merlin, sde}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/TRENDS/trends.html}, theme = {sde} } @inbook{DENT03:Consistency, author = {D.~Dui and W.~Emmerich and C.~Nentwich and B.~Thal}, editor = {M.~Aksit and M.~Menzini and R.~Unland}, title = "{Consistency Checking of Financial Derivative Transactions}", booktitle = {Objects, Components, Architectures, Services and Applications for a Networked World}, pages = {166--183}, series = "{Lecture Notes in Computer Science}", volume = 2591, year = {2003}, publisher = {Springer Verlag}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/NetObjectDays02/index.html}, theme = {dsa} } @inproceedings{DEL92:ASelection, author = {S.~Dewal and W.~Emmerich and K.~Lichtinghagen}, title = "{A Decision Support Method for the Selection of OMSs}", booktitle = {Proc. of the $2^{nd}$ Int. Conference on Systems Integration, Morristown, N.J.}, pages = {32--40}, year = {1992}, publisher = {IEEE Computer Society Press}, keywords = {object management systems, performance evaluation, functional evaluation, selection of omss, merlin, sde}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/ICSI92/icsi92.html}, doi = {10.1109/ICSI.1992.217285}, theme = {sde} } @inproceedings{Emm96:AnArchitecture, author = {W.~Emmerich}, title = "{An Architecture for Viewpoint Environments based on OMG/CORBA}", booktitle = {Proc. of the Workshop on Viewpoints, San Francisco, Cal.}, pages = {207--211}, year = {1996}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/243327.243662}, theme = {sde} } @inproceedings{RPZDEM:Promile, author = {M.~Rio and N.~Pezzi and L.~Zanolin and H.~DeMeer and W.~Emmerich and C.~Mascolo}, title = "{Promile: A Management Architecture for Programmable Modular Routers}", booktitle = "{Proc. of OPENSIG 2001 Workshop on Next Generation Network Programming, London, UK}", year = {2001}, month = {September}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/OPENSIG01/opensig.pdf}, theme = {dsa} } @inproceedings{EFM:TheWorld, author = {W.~Emmerich and A.~Finkelstein and C.~Montangero}, title = "{``The World and the Machine''-- A Critical Perspective on Process Technology}", booktitle = {Workshop in Research Direction in Process Technology}, year = {1997}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/RDPT97/RDPT97-Submission.html}, theme = {sde} } @inproceedings{EE98:BusinessObjects, author = {E.~Ellmer and W.~Emmerich}, title = "{Business Objects: The Next Step in Component Technology?}", booktitle = {Proc. of the CAiSE Workshop on Component Based Information Systems, Pisa, Italy}, publisher = "{University of Waikato, Technical Report 98/12}", pages = {21--26}, year = {1998}, address = {Dept. of Computer Science, Hamilton, New Zealand}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/CBISE98/index.html}, theme = {doc} } @article{EAMP97:ToolConstruction, author = {W.~Emmerich and J.~Arlow and J.~Madec and M. Phoenix}, title = "{Tool Construction for the British Airways SEE with the $O_2$ ODBMS}", journal = "Theory and Practice of Object Systems", year = {1997}, volume = {3}, number = {3}, pages = {213--231}, publisher = {Wiley}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/TAPOS/index.html}, theme = {sde} } @inproceedings{EBLA96:FineGrained, author = {W.~Emmerich and S.~Bandinelli and L.~Lavazza and J.~Arlow}, title = "{Fine grained Process Modelling: An Experiment at British Airways}", booktitle = {Proc. of the $4^{th}$ Int. Conference on the Software Process, Brighton, United Kingdom}, pages = {2--12}, year = {1996}, publisher = {IEEE Computer Society Press}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/ICSP4/ICSP4.html}, doi = {10.1109/ICSP.1996.565016}, theme = {sde} } @article{EFM+98:Managing, author = {W.~Emmerich and A.~Finkelstein and C.~Montangero and S.~Antonelli and S.~Armitage and R.~Stevens}, title = "{Managing Standards Compliance}", journal = {IEEE Transactions on Software Engineering}, volume = {25}, number = {6}, year = {1999}, pages = {836--851}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/TSE/compliance/index.html}, doi = {10.1109/32.824413}, theme = {sde} } @article{ABWL97:FineGrained02, author = {J.~Arlow and S.~Bandinelli and W.~Emmerich and L.~Lavazza}, title = "{Fine grained Process Modelling: An Experiment at British Airways}", journal = {Software Process -- Improvement and Practice}, volume = {3}, number = {2}, year = {1997}, pages = {105--131}, publisher = {Wiley}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/SPIP/spip.html}, theme = {sde} } @article{EFA96:OMGCORBAServices, author = {W.~Emmerich and F.~Ferrandina and J.~Arlow}, title = "{The OMG CORBAServices - An Overview (in German)}", journal = {Objekt Spektrum}, month = "{Nov/Dec}", year = {1996}, pages = {46--56}, publisher = "{SIGS}", theme = {doc} } @article{EFV96:Integration, author = {W.~Emmerich and F.~Ferrandina and A.~Vogel}, title = "{Integration of Java and CORBA:Portable Client/Server-Applications in the Internet (in German)}", journal = {Objekt Spektrum}, month = "{Jul/Aug}", year = {1996}, pages = {62--65}, publisher = "{SIGS}", theme = {doc} } @inproceedings{EFMS97:StandardsCompliant, author = {W.~Emmerich and A.~Finkelstein and C.~Montangero and R.~Stevens}, title = "{Standards Compliant Software Development}", booktitle = {ICSE Workshop on Living with Inconsistency, Boston}, year = {1997}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/Inconsistency/Compliance.html}, theme = {sde} } @inproceedings{CEM02:AMicroEconomic, author = {L.~Capra and W.~Emmerich and C.~Mascolo}, title = "{A Micro--Economic Approach to Conflict Resolution in Mobile Computing}", booktitle = {Proc. of the $10^{th}$ ACM SIGSOFT Foundations of Software Engineering Conference}, pages = {31--40}, year = {2002}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/587051.587057}, theme = {mobile} } @inproceedings{CEM01:Exploiting, author = {L.~Capra and W.~Emmerich and C.~Mascolo}, title = "{Exploiting Reflection and Metadata to Build Mobile Computing Middleware}", booktitle = {Proc. of Workshop on Mobile Computing Middleware, Heidelberg, Germany}, year = {2001}, month = {November}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/mmc01.pdf}, theme = {mobile} } @inproceedings{PEZS02:WebServices, author = {G.~Piccinelli and W.~Emmerich and C.~Zirpins and K.~Schuett}, title = "{Web Services Interfaces for Inter-organizational Business Process: An Infrastructure for Automated Reconciliation}", booktitle = {Proc. of the $6^{th}$ IEEE Int. Conference on Enterprise Distributed Object Computing, Lausanne}, pages = {285--292}, year = {2002}, publisher = {IEEE Computer Society Press}, url = {http://dx.doi.org/10.1109/EDOC.2002.1137717}, theme = {dsa} } @inproceedings{PEF01:Mapping, author = {G.~Piccinilli and W.~Emmerich and A.~Finkelstein}, title = "{Mapping Service Components to EJB Business Objects}", booktitle = {Proc. of the $5^{th}$ Enterprise Distributed Object Computing Conference}, pages = {169--173}, year = {2001}, publisher = {IEEE Computer Society Press}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/EDOC2001/}, doi = {10.1109/EDOC.2001.950434}, theme = {dsa} } @inproceedings{EK02:Component, author = {W.~Emmerich and N.~Kaveh}, title = "{Component Technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model}", booktitle = {Proc. of the $24^{th}$ Int. Conference on Software Engineering, Orlando, Florida}, pages = {691--692}, year = {2002}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/581339.581448}, theme = {doc} } @inproceedings{EK02:ComponentTechnologies, author = {W.~Emmerich and N.~Kaveh}, title = "{Component Technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model}", booktitle = "{Joint Proc. of the $8^{th}$ European Software Engineering Conference and the $9^{th}$ ACM SIGSOFT Symposium on the Foundations of Software Engineering, Vienna, Austria}", pages = {311--312}, year = {2001}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/503209.503259}, theme = {doc} } @inproceedings{ZCME02:Component, author = {S.~Zachariadis and L.~Capra and C.~Mascolo and W.~Emmerich}, title = "{XMIDDLE: Information Sharing Middleware for a Mobile Environment}", booktitle = {Proc. of the $24^{th}$ Int. Conference on Software Engineering, Orlando, Florida}, pages = {712}, year = {2002}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/581339.581463}, theme = {mobile} } @inproceedings{EG91:FunsoftNets, author = {W.~Emmerich and V.~Gruhn}, title = "{FUNSOFT Nets: A Petri-Net based Software Process Modeling Language}", booktitle = {Proc. of the $6^{th}$ Int. Workshop on Software Specification and Design, Como, Italy}, pages = {175--184}, year = {1991}, publisher = {IEEE Computer Society Press}, keywords = {merlin, spm}, url = {http://dx.doi.org/10.1109/IWSSD.1991.213063}, theme = {sde} } @inproceedings{EJP+91:MerlinKnowledge, author = {W.~Emmerich and G.~Junkermann and B.~Peuschel and W.~Schaefer and S.~Wolf}, title = "{MERLIN: Knowledge-based Process Modeling}", booktitle = {Proc. of the $1^{st}$ European Workshop on Software Process Modeling, Milan, Italy}, pages = {181--187}, year = {1991}, publisher = {A.I.C.A. Press, Italy}, editors = {A.~Fuggetta and R.~Conradi and V.~Ambriola}, keywords = {merlin, spm}, theme = {sde} } @inproceedings{BE03:ArchOptions, author = {R.~Bahsoon and W.~Emmerich}, title = "{ArchOptions: A Real Options--Based Model for Predicting the Stability of Software Architectures}", booktitle = {Proc. of the ICSE 2003 Workshop on Economics--Driven Software Engineering Research, Portland, Oregon}, year = {2003}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/ICSE2003/RealOptions/index.html}, theme = {dsa} } @incollection{EKS93:ObjectOriented, author = {W.~Emmerich and P.~Kroha and W.~Schaefer}, editor = {V.~Mavrik and J.~Lavzanksy and R.~R.~Wagner}, title = "{Object-oriented Database Management Systems for Construction of CASE Environments}", booktitle = {Database and Expert Systems Applications -- Proc. of the $4^{th}$ Int. Conference DEXA '93, Prague, Czech Republic}, pages = {631--642}, year = {1993}, publisher = {Springer Verlag}, volume = {720}, series = "{Lecture Notes in Computer Science}", keywords = {merlin, sde}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/DEXA93/dexa93.html}, theme = {sde} } @inproceedings{ES93:DedicatedObject, author = {W.~Emmerich and W.~Schaefer}, editor = {R.~Welland}, title = "{Dedicated Object Management Benchmarks for Software Engineering Applications}", booktitle = {Proc. of the Software Engineering Environments '93, Reading, UK}, pages = {130--142}, year = {1993}, publisher = {IEEE Computer Society Press}, keywords = {merlin, sde}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/SEE93/see93.html}, doi = {10.1109/SEE.1993.388414}, theme = {sde} } @incollection{ESW92:SuitableDatabases, author = {W.~Emmerich and W.~Schaefer and J.~Welsh}, editor = {J.~C.~Derniame}, title = "{Suitable Databases for Process-centred Environments Do not yet Exist}", booktitle = "{Proc. of the $2^{nd}$ European Workshop on Software Process Technology, EWSPT '92, Trondheim, Norway}", pages = {94--98}, year = {1992}, publisher = {Springer Verlag}, volume = {635}, series = "{Lecture Notes in Computer Science}", keywords = {merlin, sde}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/EWSPT2/ewspt2.html}, theme = {sde} } @incollection{DE03:Compatibility, author = {D.~Dui and W.~Emmerich}, editor = {B.~Westfechtel and A.~v.~d.~Hoek}, title = "{Compatibility of XML Language Versions}", booktitle = "{Software Configuration Management. Selected Papers of ICSE Workshops SCM 2001 and SCM 2003}", pages = {148--162}, year = {2003}, publisher = {Springer Verlag}, volume = {2649}, series = "{Lecture Notes in Computer Science}", url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/SCM11/index.html}, theme = {dsa} } @incollection{ESW93:DatabasesFor, author = {W.~Emmerich and W.~Schaefer and J.~Welsh}, editor = {I.~Sommerville and M.~Paul}, title = "{Databases for Software Engineering Environments~-- The Goal has not yet been attained}", booktitle = {Software Engineering ESEC '93 -- Proc. of the $4^{th}$ European Software Engineering Conference, Garmisch-Partenkirchen, Germany}, pages = {145--162}, year = {1993}, publisher = {Springer Verlag}, volume = {717}, series = "{Lecture Notes in Computer Science}", keywords = {merlin, sde, database requirements}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/ESEC93/esec93.html}, theme = {sde} } @MASTERSTHESIS{Emm90:Semantics, author = "W.~Emmerich", title = "{Semantics and Analysis of FUNSOFT Nets Supporting Software Process Modelling (In German)}", school = "University of Dortmund", type = "MSc Thesis", address = "Department of Computer Science", year = {1990}, theme = {sde} } @phdthesis{Emm95:ToolConstruction, author = {W.~Emmerich}, title = "{Tool Construction for process-centred Software Development Environments based on Object Database Systems}", year = {1995}, school = "{University of Paderborn, Germany}", url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/PHDTHESIS/phdthesis.html}, theme = {sde} } @inproceedings{Emm97:CorbaAnd, author = {W.~Emmerich}, editor = {M.~Orlowska and R.~Zicari}, title = "{CORBA and ODBMSs in Viewpoint Development Environment Architectures}", booktitle = {Proc. of $4^{th}$ Int. Conference on Object-Oriented Information Systems, Brisbane, Australia}, pages = {347--360}, year = {1997}, publisher = {Springer Verlag}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/OOIS97/OOIS97.html}, theme = {sde} } @InCollection{Emme01:OMGCORBA, author = {W.~Emmerich}, editor = {John J. Marciniak}, title = "{OMG/CORBA: An Object-Oriented Middleware}", booktitle = {Encyclopedia of Software Engineering}, year = {2002}, pages = {902--907}, publisher = {John Wiley \& Sons}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/Encyclopedia}, theme = {doc} } @inproceedings{ES96:NextGeneration, author = {W.~Emmerich and G.~Spanoudakis}, title = "{Next-Generation Viewpoint-based Environments}", booktitle = {Proc. of the $7^{th}$ Workshop on The Next Generation of CASE Technology, Crete, Greece}, year = {1996}, publisher = {NTNU Trondheim, Technical Report}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/NGCT7/ngct7.html}, theme = {sde} } @inproceedings{EE98:Business, author = {W.~Emmerich and E.~Ellmer}, editor = {W.~Hasselbrink}, title = "{Business Object Facilities - A Comparative Analysis}", booktitle = {Proc. of the Workshop on Integration of Heterogeneous Software Systems, GI Annual Conference}, month = {September}, year = {1998}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/SOFTWARE/bof_comparison.html}, theme = {doc} } @InProceedings{Emm02:DistributedComponent, author = {W. Emmerich}, title = "{Distributed Component Technologies and their Software Engineering Implications}", booktitle = {Proc. of the $24^{th}$ Int. Conference on Software Engineering, Orlando, Florida}, pages = {537--546}, year = {2002}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/581339.581405}, theme = {doc} } @inproceedings{Emme96:ToolSpecification, author = {W.~Emmerich}, title = "{Tool Specification with GTSL}", booktitle = "{Proc. of the $8^{th}$ Int. Workshop on Software Specification and Design, Schloss Velen, Germany}", pages = {26--35}, year = {1996}, publisher = {IEEE Computer Society Press}, keywords = {merlin, sde}, url = {http://dx.doi.org/10.1109/IWSSD.1996.501144}, theme = {sde} } @inproceedings{AAA+:GOODSTEP, author = {S.~Abiteboul and M.~Adiba and J.~ Arlow and P.~Armenise and S.~Bandinelli and L.~Baresi and P.~Breche and F.~Buddrus and C.~Collet and P.~Collet and P.~Corte and Th.~ Coupaye and C.~Delobel and W.~Emmerich G.~Ferran and F.~Ferrandina and A.~Fuggetta and C.~Ghezzi and S.E.~Lautemann and L.~Lavazza and J.~Madec and M.~Phoenix and S.~Sachweh and W.~Schaefer and C.~Souza~dos~Santos and G.~Tigg and R.~Zicari}, title = "{The GOODSTEP Project: General Object--Oriented Database for Software Engineering Processes}", booktitle = "{Proc. of the $1^{th}$ Asian Pacific Software Engineering Conference, Tokyo, Japan}", pages = {10--19}, year = {1994}, publisher = {IEEE Computer Society Press}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/APSEC94/apsec94.pdf}, theme = {sde} } @InProceedings{RE99:RTD, author = {N.~Roodyn and W.~Emmerich}, title = "{An Architectural Style for Multiple Real-Time Data Feeds}", booktitle = {Proceedings of the $21^{st}$ International Conference on Software Engineering, Los Angeles}, year = {1999}, pages = {564--572}, month = {May}, publisher = {ACM Press}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/ICSE99/RTD/index.html}, doi = {10.1109/ICSE.1999.841046}, theme = {dsa} } @InProceedings{ER99:DO, author = {W.~Emmerich and N.~Roodyn}, title = "{Distributed Objects}", booktitle = {Proceedings of the $21^{st}$ International Conference on Software Engineering, Los Angeles}, year = {1999}, pages = {665--666}, month = {May}, publisher = {ACM Press}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/ICSE99/DO/index.html}, theme = {doc} } @InProceedings{Emme97:AnIntroduction, author = {W.~Emmerich}, title = "{An Introduction to CORBA}", booktitle = {Proceedings of the $19^{st}$ International Conference on Software Engineering, Boston, Mass.}, year = {1997}, pages = {641--642}, publisher = {ACM Press}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/ICSE97/CORBA.html}, theme = {doc} } @InProceedings{Emme98:Recent, author = {W.~Emmerich}, title = "{Recent Developments in CORBA}", booktitle = "{Tutorial Summary in Proceedings of the $20^{st}$ International Conference on Software Engineering Volume II, Kyoto, Japan}", year = {1998}, pages = {276--277}, publisher = {IEEE Computer Society Press}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/ICSE98/CORBA.html}, theme = {doc} } @InProceedings{EG99:EDO, author = {W.~Emmerich and V.~Gruhn}, title = "{Engineering Distributed Objects}", booktitle = {Proceedings of the $21^{st}$ International Conference on Software Engineering, Los Angeles}, year = {1999}, pages = {705--706}, month = {May}, publisher = {ACM Press}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/ICSE99/EDO99/index.html}, theme = {doc} } @Book{Emm00:EngineeringDistributed, author = {W.~Emmerich}, title = "{Engineering Distributed Objects}", publisher = {John Wiley \& Sons}, isbn = {ISBN 471-98657-7}, address = {Chichester, UK}, year = {2000}, month = {April}, url = {http://www.distributed-objects.com/}, theme = {doc} } @InProceedings{EFS99:MarkupMeets, author = {W.~Emmerich and A.~Finkelstein and W.~Schwarz}, title = "{Markup Meets Middleware}", booktitle = {$7^{th}$ Int. Workshop on Future Trends in Distributed Systems, Capetown, South Africa}, pages = {261-266}, year = {1999}, publisher = {IEEE Computer Society Press}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/FTDCS99/index.html}, doi = {10.1109/FTDCS.1999.818814}, theme = {dsa} } @InProceedings{ZEF99:UsingXML, author = {A.~Zisman and W.~Emmerich and A.~Finkelstein}, title = "{Using XML to Build Consistency Rules for Distributed Documents}", booktitle = {Proc. of the $10^{th}$ International Workshop on Software Specification And Design}, year = {2000}, publisher = {IEEE Computer Society Press}, pages = {141--148}, url = {http://dx.doi.org/10.1109/IWSSD.2000.891135}, theme = {sde} } @InProceedings{EK00:ModelChecking, author = {W.~Emmerich and N.~Kaveh}, title = "{Model Checking Distributed Objects}", booktitle = {Proc. of the $4^{th}$ International Software Architecture Workshop, Limerick, Ireland}, year = {2000}, editor = {B.~Balzer and H.~Obbink}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/ISAW2000}, theme = {doc} } @InCollection{Kav01:ModelChecking, author = {N.~Kaveh}, title = "{Model Checking Distributed Objects}", booktitle = {Proc. of the $2^{nd}$ Int. Workshop on Distributed Objects, Davis, Cal, Nov. 2000}, pages = {116--128}, publisher = {Springer Verlag}, series = "{Lecture Notes in Computer Science}", volume = {1999}, year = {2001}, editor = {W.~Emmerich and S.~Tai}, url = {http://www.cs.ucl.ac.uk/staff/n.kaveh/publications/edo2000/index.html}, theme = {doc} } @InCollection{KE03:Validating, author = {N.~Kaveh and W.~Emmerich}, title = "{Validating Distributed Object and Component Designs}", booktitle = {Formal Methods for Software Architecture}, publisher = {Springer Verlag}, series = "{Lecture Notes in Computer Science}", volume = {2804}, year = {2003}, pages = {63--91}, editor = {M.~Bernardo and P.~Inverardi}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/SFM03/index.html}, theme = {doc} } @InCollection{MCE02:MiddlewareForMobile, author = {C.~Mascolo and L.~Capra and W.~Emmerich}, title = "{Middleware for Mobile Computing}", booktitle = {Advanced Lectures on Networking}, publisher = {Springer Verlag}, series = "{Lecture Notes in Computer Science}", volume = {2497}, pages = {20--58}, year = {2002}, editor = {E.~Gregori and G.~Anastasi and S.~Basagni}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/Networking2002/index.html}, theme = {mobile} } @InCollection{Emme00:Roadmap, author = {W.~Emmerich}, title = "{Software Engineering and Middleware: A Roadmap}", booktitle = {The Future of Software Engineering}, publisher = {ACM Press}, year = {2000}, pages = {117--129}, editor = {A.~Finkelstein}, url = {http://dx.doi.org/10.1145/336512.336542}, theme = {dsa} } @InCollection{Emme98:SoftwareProcess, author = {W.~Emmerich}, title = "{Software Process - Standards, Assessments and Improvements}", booktitle = {Software Process: Principles, Methodology, Technology}, publisher = {Springer Verlag}, series = "{Lecture Notes in Computer Science}", volume = {1500}, year = {1998}, pages = {15--25}, editor = {J.C.~Derniame and B.A.~Kaba and D.~Wastell}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/PROMOTERBOOK/chapter2v2.pdf}, theme = {sde} } @InProceedings{KE01:DeadlockDetection, author = {N.~Kaveh and W.~Emmerich}, title = "{Deadlock Detection in Distributed Object Systems}", booktitle = "{Joint Proc. of the $8^{th}$ European Software Engineering Conference and the $9^{th}$ ACM SIGSOFT Symposium on the Foundations of Software Engineering, Vienna, Austria}", pages = {44--51}, publisher = {ACM Press}, year = {2001}, editor = {V.~Gruhn}, url = {http://dx.doi.org/10.1145/503209.503216}, theme = {doc} } @InProceedings{MEA01:XML, author = {C.~Mascolo and W.~Emmerich and A.~Finkelstein}, title = "{XML Technologies and Software Engineering}", booktitle = {Proc. of the $23^{rd}$ Int. Conference on Software Engineering, Toronto, Canada}, pages = {775--776}, year = {2001}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1109/ICSE.2001.919173}, theme = {sde} } @InProceedings{EEF01:Tigra, author = {W.~Emmerich and E.~Ellmer and H.~Fieglein}, title = "{TIGRA -- An Architectural Style for Enterprise Application Integration}", booktitle = {Proc. of the $23^{rd}$ Int. Conference on Software Engineering, Toronto, Canada}, pages = {567--576}, year = {2001}, publisher = {IEEE Computer Society Press}, url = {http://dx.doi.org/10.1109/ICSE.2001.919131}, theme = {dsa} } @Article{NCEF02:xlinkit, author = {C.~Nentwich and L.~Capra and W.~Emmerich and A.~Finkelstein}, title = "{xlinkit: A Consistency Checking and Smart Link Generation Service}", journal = {ACM Transactions on Internet Technology}, year = {2002}, volume = {2}, number = {2}, pages = {151--185}, url = {http://dx.doi.org/10.1145/514183.514186}, theme = {sde} } @Article{MCZE01:xmiddle, author = {C.~Mascolo and L.~Capra and S.~Zachariadis and W.~Emmerich}, title = "{XMIDDLE: A Data-Sharing Middleware for Mobile Computing}", journal = {Wireless Personal Communications}, year = {2002}, volume = {21}, pages = {77--103}, publisher = {Kluwer}, url = {http://dx.doi.org/10.1023/A:1015584805733}, theme = {mobile} } @Article{NEFZ01:box, author = {C.~Nentwich and W.~Emmerich and A.~Finkelstein and A.~Zisman}, title = "{BOX: Browsing Objects in XML}", journal = {Software Practice and Experience}, year = {2000}, volume = {30}, number = {15}, pages = {1661--1676}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/SPE/index.html}, theme = {sde} } @Article{ES01:guesteditor, author = {W.~Emmerich and P.~Sawyer}, title = "{Guest Editor's Introduction to the Special Issue on the Conference on European Industrial Requirements Engineering}", journal = {Requirements Engineering Journal}, year = {1998}, volume = {3}, number = {2}, pages = {71--72}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/REJ/editorial.pdf}, theme = {re} } @InProceedings{NEF01:StaticConsistency, author = {C.~Nentwich and W.~Emmerich and A.~Finkelstein}, title = "{Static Consistency Checking for Distributed Specifications}", booktitle = "{Proc. of the $16^{th}$ Automated Software Engineering Conference, Coronado Island, CA}", pages = {115-124}, year = {2001}, publisher = {IEEE Computer Society}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/ASE2001/index.html}, theme = {sde} } @Article{NEFE01:FlexibleConsistency, author = {C.~Nentwich and W.~Emmerich and A.~Finkelstein and E.~Ellmer}, title = "{Flexible Consistency Checking}", journal = {ACM Transactions on Software Engineering and Methology}, volume = {12}, number = {1}, pages = {28--63}, year = {2003}, url = {http://dx.doi.org/10.1145/839268.839271}, Theme = {sde} } @InProceedings{NEF03:Consistency, author = {C. Nentwich and W. Emmerich and A. Finkelstein}, title = "{Consistency Management with Repair Actions}", booktitle = "{Proc. of the $25^{th}$ Int. Conference on Software Engineering, Portland, Oregon}", pages = {455--464}, year = {2003}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1109/ICSE.2003.1201223}, theme = {sde} } @Article{CEM03:CARISMA, author = {L.~Capra and W.~Emmerich and C.~Mascolo}, title = "{CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications}", journal = {IEEE Transactions on Software Engineering}, year = {2003}, volume = {29}, number = {10}, pages = {929--945}, url = {http://dx.doi.org/10.1109/TSE.2003.1237173}, theme = {mobile} } @Article{MZE02:XMILE, author = {C.~Mascolo and L.~Zanolin and W.~Emmerich}, title = "{XMILE: an XML based Approach for Incremental Code Mobility and Update}", journal = {Automated Software Engineering}, year = {2002}, volume = {9}, number = {2}, pages = {151-165}, url = {http://dx.doi.org/10.1023/A:1014582329991}, theme = {dsa} } @Article{CBM+02:ExploitingReflection, author = {L.~Capra and G. Blair and C.~Mascolo and W.~Emmerich and P.~Grace}, title = "{Exploiting Reflection in Mobile Computing Middleware}", journal = {ACM Mobile Computing and Communications Review}, year = {2002}, volume = {6}, number = {4}, pages = {34-44}, url = {http://dx.doi.org/10.1145/643550.643553}, theme = {mobile} } @Article{Hug02:Requirements, author = {A.~Hughes}, title = "{Requirements of a Middleware for Managing a Large, Heterogeneous Programmable Network}", journal = {BT Technology Journal}, year = {2002}, volume = {20}, number = {2}, pages = {123-134}, note = {Kluwer Academic Publishers}, url = {http://www.cs.ucl.ac.uk/staff/a.hughes/downloads/mw.pdf}, theme = {dsa} } @Article{Hug02:Middleware, author = {A.~Hughes}, title = "{Middleware for Managing a large, heterogeneous programmable network}", journal = {BT Technology Journal}, year = {2002}, volume = {20}, number = {4}, pages = {117--126}, note = {Kluwer Academic Publishers}, url = {http://www.cs.ucl.ac.uk/staff/a.hughes/downloads/progress.pdf}, theme = {dsa} } @Article{HE03:UsingProgrammable, author = {A.~Hughes and W.~Emmerich}, title = {Using programmable network management techniques to establish experimental nework testbeds}, journal = {BT Technology Journal}, year = {2003}, volume = {21}, number = {2}, pages = {195--203}, note = {Kluwer Academic Publishers}, url = {http://dx.doi.org/10.1023/A:1024437723284}, theme = {dsa} } @TechReport{AGME02:Incentives, author = {T.~Ackemann and R.~Gold and C.Mascolo and W.~Emmerich}, title = "{Incentives in Peer-to-Peer and Grid Networking}", institution = {UCL-CS}, year = {2002}, type = {Research Note}, number = {02/24}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/CCGrid03/index.html}, theme = {dsa} } @TechReport{ZME02:ModelChecking, author = {L.~Zanolin and C.~Mascolo and W.~Emmerich}, title = "{Model Checking Programmable Router Configurations with Spin}", institution = {UCL-CS}, year = {2002}, type = {Research Note}, number = {02/23}, note = {Submitted for Publication}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/SpinWS03/index.html}, theme = {dsa} } @InProceedings{MEM01:XMILE, author = {C.~Mascolo and W.~Emmerich and H.~de~Meer}, title = "{XMILE: An XML-based Approach for Programmable Networks}", booktitle = "{AISB Symposium on Software Mobility and Adaptive Behaviour. York, UK. March 2001}", year = {2001}, publisher = {AISB}, note = {ISBN 1 902956 22 1}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/AISB01/index.html}, theme = {dsa} } @InProceedings{LSE03:SLAng, author = {D.~D.~Lamanna and J.~Skene and W.~Emmerich}, title = "{SLAng: A Language for Service Level Agreements}", booktitle = "{Proc. of the $9^{th}$ IEEE Workshop on Future Trends in Distributed Computing Systems}", year = {2003}, pages = {100-106}, publisher = {IEEE Computer Society Press}, url = http://dx.doi.org/10.1109/FTDCS.2003.1204317}, theme = {dsa} } @InProceedings{CMZE01:Towards, author = {L.~Capra and C.~Mascolo and S.~Zachariadis and W.~Emmerich}, title = "{Towards a Mobile Computing Middleware: A Synergy of Reflection and Mobile Code Techniques}", booktitle = "{Proc. of the $8^{th}$ IEEE Workshop on Future Trends in Distributed Computing Systems, Bologna, Italy}", month = {October}, year = {2001}, pages = {148--154}, publisher = {IEEE Computer Society Press}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/ftdcs.pdf}, doi = {10.1109/FTDCS.2001.969635}, theme = {mobile} } @Article{SE03:Performance, author = {J.~Skene and W.~Emmerich}, title = "{Model Driven Performance Analysis of Enterprise Information Systems}", booktitle = "{Proc. of the Int. Workshop on Test and Analysis of Component Based Systems, Warsaw, Poland}", month = {April}, year = {2003}, volume = {82}, number = {6}, journal = {Electronic Notes in Theoretical Computer Science}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/ETAPS03/index.html}, theme = {doc} } @InProceedings{EMF00:Implementing, author = {C.~Mascolo and W.~Emmerich and A.~Finkelstein}, title = "{Implementing Incremental Code Migration with XML}", booktitle = {Proc. of the $22^{nd}$ Int. Conference on Software Engineering, Limerick, Ireland}, pages = {397--406}, year = {2000}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1109/ICSE.2000.870430}, theme = {dsa} } @Proceedings{ET01:EDO, editor = {W.~Emmerich and S.~Tai}, title = "{Proc. of the 2nd International Workshop on Engineering Distributed Objects, November 2000, Davis, California}", publisher = {Springer Verlag}, year = {2001}, volume = {1999}, address= {Heidelberg}, series = "{Lecture Notes in Computer Science}", url = {http://link.springer.de/link/service/series/0558/tocs/t1999.htm}, theme = {doc} } @Proceedings{CD04:ComponentDeployment, editor = {W.~Emmerich and A.~L.~Wolf}, title = "{Component Deployment -- Proc. of the 2nd Int. Working Conference, Edinburgh, Scotland, 20-21 May, 2004}", publisher = {Springer Verlag}, year = {2004}, volume = {3083}, address= {Heidelberg}, series = "{Lecture Notes in Computer Science}", theme = {doc}, url = {http://dx.doi.org/10.1007/b98000}, doi = {10.1007/b98000} } @Proceedings{EG99:EDOproc, editor = {W.~Emmerich and V.~Gruhn}, title = "{Proc. of the ICSE 99 Workshop on Engineering Distributed Objects, May 1999, Los Angeles, California}", year = {1999}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/EDO99/proceedings.pdf}, theme = {doc} } @inproceedings{BCE03:OGSAExperience, author = {B.~Butchart and C.~Chapman and W.~Emmerich}, title = "{OGSA First Impressions: A Case Study using the Open Grid Service Architecture}", booktitle = {Proceedings of the UK E-Science All Hands Meeting, Nottingham}, editor = {S.~Cox}, pages = {810--816}, year = {2003}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/AllHands03/ogsa.pdf}, publisher = {EPSRC}, theme = {dsa} } @inproceedings{CCM96a, author = {P. Ciancarini and S. Cimato and C. Mascolo}, title = "{Engineering Formal Requirements: Analysis and Testing}", booktitle = {Proc. of the $8^{th}$ Int. Conference on Software Engineering and Knowledge Eng. (SEKE)}, year = {1996}, address = {Lake Tahoe, Nevada}, month = {June}, publisher = {Knowledge Systems Institute}, pages = {385-392}, keyword = {Z, CHAM, animation, Prolog, coordination, mine}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/seke.ps.gz}, theme = {dsa} } @article{CCM97a, author = {P. Ciancarini and S. Cimato and C. Mascolo}, title = "{Engineering Formal Requirements: an Analysis and Testing Method for Z Documents}", journal = {Annals of Software Engineering}, year = {1997}, volume = {3}, pages = {189-220}, keyword = {Z, CHAM, animation, Prolog, coordination, mine}, publisher = {Kluwer}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/ase.ps.gz}, theme = {dsa} } @inproceedings{CFM98, author = {P. Ciancarini and F. Franze and C. Mascolo}, title = "{A Coordination Model to Specify Systems including Mobile Agents}", booktitle = {Proc. 9th IEEE Int. Workshop on Software Specification and Design (IWSSD)}, year = 1998, address = {Japan}, pages = {96-105}, publisher = {IEEE Computer Society Press}, keyword = {PoliS, mobility, mine}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/iwssd.ps.gz}, theme = {dsa} } @incollection{CiaMas96, author = {P. Ciancarini and C. Mascolo}, title = "{Analyzing the dynamics of a Z specification}", booktitle = {Proc. Int. Symp. on Design and Implementation of Symbolic Computation Systems (DISCO)}, year = {1996}, month = {September}, series = {Lecture Notes in Computer Science}, volume = {1128}, editor = {J. Calmet and C. Limongelli}, pages = {138-149}, address = {Karlsruhe, Germany}, publisher = {Springer Verlag}, keyword = {Z, CHAM, formal analysis, mine}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/disco.ps.gz}, theme = {dsa} } @incollection{CiaMas97, author = {P. Ciancarini and C. Mascolo}, title = "{Analyzing and Refining an Architectural Style}", booktitle = {Proc. 10th Int. Conf. on the Z Formal Method (ZUM)}, year = {1997}, month = {April}, series = {Lecture Notes in Computer Science}, volume = {1212}, editor = {J. Bowen and M. Hinchey and D. Till}, pages = {349--368}, address = {Reading, UK}, publisher = {Springer Verlag}, keyword = {Z, CHAM, software architecture, formal analysis, mine}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/zum.ps.gz}, theme = {dsa} } @incollection{CMV98, author = {P. Ciancarini and C. Mascolo and F. Vitali}, title = "{Visualizing Z Notation in HTML Documents}", booktitle = {Proc. 11th Int. Conf. on the Z Formal Method (ZUM)}, year = 1998, month = {September}, series = {Lecture Notes in Computer Science}, volume = {1493}, editor = {J. Bowen and A. Fett and M. Hinchey}, pages = {81--95}, address = {Berlin}, publisher = {Springer Verlag}, keyword = {Z, XML, Java, mine, active document, hypertext spec}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/zum98.ps.gz}, theme = {sde} } @incollection{ZME03, author = {S. Zachariadis and C. Mascolo and W. Emmerich}, title = "{Adaptable Mobile Applications: Exploiting Logical Mobility in Mobile Computing}", editor = {E.~Horlait and T.~Magedanz and R.~H.~Glitho}, booktitle = "{Proceedings of 5th Int. Workshop on Mobile Agents for Telecommunication Applications (MATA03)}", month={October}, year= {2003}, series = {Lecture Notes in Computer Science}, Volume = {2881}, pages= {170--179}, publisher={Springer Verlag}, url = {http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/MATA03/index.html}, theme = {mobile} } @inproceedings{GolMas01, author = {R.~Gold and C.~Mascolo}, title = "{Use of Context-Awareness in Mobile Peer-to-Peer Networks}", booktitle = {Proc. of the 8th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'2001)}, year= {2001}, pages={142--147}, publisher = {IEEE Computer Society Press}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/cm-ftdcs2001.pdf}, theme = {mobile} } @inproceedings{CiaMas98b, author = {P. Ciancarini and C. Mascolo}, title = "{Software Architecture and Mobility}", editor = {D.~Perry and J.~Magee}, booktitle = {Proc. 3rd Int. Software Architecture Workshop (ISAW-3)}, address = {Orlando, FL}, month = {November}, year = {1998}, pages = {21--24}, publisher = {ACM Press}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/isaw98.ps.gz}, theme = {dsa} } @article{CVM99, author = {P. Ciancarini and F. Vitali and C. Mascolo}, title = "{Managing complex documents over the WWW: a case study for XML}", journal = {IEEE Transactions on Knowledge and Data Engineering}, pages = {629-638}, year = 1999, volume = 11, number = 4, month = {July/August}, keyword = {XML, Z, Java, displets, mine}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/tkde99.ps.gz}, theme = {sde} } @article{CFM00, author = {P. Ciancarini and F. Franze and C. Mascolo}, title = "{Using a Coordination Language to Specify and Analyze Systems containing Mobile Components}", journal={ACM Transactions on Software Engineering and Methodology}, year = 2000, volume = {9}, number = {2}, pages = {167--198}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/tosem.ps.gz}, theme = {sda} } @article{CiaMas98d, author = {P. Ciancarini and C. Mascolo}, title = "{Using Formal Methods to Teach Software Engineering: a Tool-based Approach}", journal = {Annals of Software Engineering}, year = 1998, volume = 6, pages = {433-453}, keyword = {sw engineering education, Z, Larch}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/ase-educational.ps.gz}, theme = {sde} } @incollection{Mas99, title = "{MobiS: a Specification Language for Mobile Systems}", author = {C. Mascolo}, booktitle = "{ Proc. 3$^{rd}$ Int. Conf. on Coordination Languages and Models (COORDINATION '99)}", pages = {37-52}, year = 1999, month = {April}, series = {Lecture Notes in Computer Science}, publisher = {Springer Verlag}, volume = {1594}, keyword = {mobility, coordination }, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/coord.ps.gz} } @incollection{MPR99, author = {C. Mascolo and G.P. Picco and G.-C. Roman}, title = "{A Fine-Grained Model for Code Mobility}", booktitle = {Proc. 7th European Software Engineering Conference (ESEC/FSE 99)}, year = {1999}, series = {Lecture Notes in Computer Science}, volume= {1687}, editor = {O. Nierstrasz and M. Lemoine}, publisher = {Springer Verlag}, pages = {39-56}, keyword = {mine}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/esec.ps.gz}, theme = {dsa} } @inproceedings{Mas99b, author ={C. Mascolo}, title = {Specification, Analysis, and Prototyping of Mobile Systems}, booktitle = {Proc. 21$^{st}$ Int. Conf. on Software Engineering(ICSE-99)}, year= {1999}, month=may, publisher = {ACM Press}, pages = {724--725}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/phd.ps.gz}, theme = {mobile} } @InProceedings{zachariadis02exploiting, author = {S.~Zachariadis and C.~Mascolo and W.~Emmerich}, title = {Exploiting Logical Mobility in Mobile Computing Middleware}, booktitle = {Proceedings of the Distributed Computing Systems Workshops, $22^{nd}$ Int. Conference on Distributed Computing Systems (ICDCS '02)}, pages = {385--386}, year = {2002}, month = {July}, publisher = {IEEE Computer Society Press}, url = {http://dx.doi.org/10.1109/ICDCSW.2002.1030799}, theme = {mobile} } @InProceedings{arshad02Exploiting, author = {U.~Arshad and C.~Mascolo and M.~Mellor}, title = {Exploiting Mobility Computing in Health-Care}, booktitle = {Proc. of 3rd International Workshop on Smart Appliances (co-located with ICDCS '02)}, year = {2002}, month = {July}, publisher = {ICDCS}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/mts02.pdf}, theme = {mobile} } @Book{WR97:DevelopingJava, author = {R.~Winder and G.~Roberts}, title = "{Developing Java Software}", publisher = {John Wiley \& Sons}, year = {1997}, address = {Chichester, UK}, url = {http://www.devjavasoft.org/}, theme = {misc} } @inproceedings{Cap02:Mobile, author = {L. Capra}, title = {Mobile Computing Middleware for Context-Aware Applications}, booktitle = {Proc. of the $24^{th}$ International Conference of Software Engineering (ICSE 2002), Doctoral Symposium, Orlando, Florida}, pages = {723-724}, month = {May}, year = {2002}, publisher = {ACM Press}, url = {http://dx.doi.org/10.1145/581339.581471}, theme = {mobile} } @inproceedings{CEM01:Middleware, author = {L. Capra and W. Emmerich and C. Mascolo}, title = {Middleware for Mobile Computing: Awareness vs. Transparency}, booktitle = {Proc. of the $8^{th}$ Workshop on Hot Topics in Operating Systems (HotOS-VIII). Schloss Elmau, Germany}, pages = {142}, month = {May}, year = {2001}, publisher = {IEEE Computer Society Press}, url = {http://www.cs.ucl.ac.uk/staff/l.capra/016_capra.ps}, theme = {mobile}, } @inproceedings{NEF02:Edit, author = {C. Nentwich and W. Emmerich and A. Finkelstein}, title = {Edit, Compile, Debug -- From Hacking to Distributed Engineering}, booktitle = {Proceedings of the Workshop on Aspect Oriented Design at the 1st International Conference on Aspect Oriented Software Development (AOSD)}, year = {2002}, url = {http://www.cs.ucl.ac.uk/staff/c.nentwich/publications/position/editcompile.pdf}, theme = {sde}, } @inproceedings{Bah03:ArchEvaluation, author = {R. Bahsoon}, title = {Evaluating Software Architectures for Stability: a Real Options Approach}, booktitle = {Proc. of the $25^{th}$ Int. Conference on Software Engineering, Doctoral Symposium, Portland, Oregon}, year = {2003}, pages = {765}, publisher = {ACM Press}, url = {http://www.cs.ucl.ac.uk/staff/r.bahsoon/BahsoonAbstract.pdf}, theme = {dsa}, } @inproceedings{BE03:ArchEvaluation, author = {R. Bahsoon and W. Emmerich}, title = {Evaluating Software Architectures for Development, Stability and Evolution}, booktitle = {Proc. of the ACS/IEEE International Conference on Computer Systems and Applications, Tunis, Tunisia}, year = {2003}, publisher = {IEEE Computer Society Press}, pages = {47}, url = {http://dx.doi.org/10.1109/AICCSA.2003.1227480}, theme = {dsa}, } @InProceedings{TFEG00:SystemDevelopment, author = {K. Takahashi and W. Emmerich and A. Finkelstein and S. Guerra}, title = "{System Development Using Application Services over the Net}", booktitle = {Proc. of the $22^{rd}$ Int. Conference on Software Engineering, Limerick, Ireland}, pages = {830}, year = {2000}, publisher = {IEEE Computer Society Press}, url = {http://dx.doi.org/10.1145/337180.337856}, theme = {dsa} } @Book{Emm03:Konstruktion, author = {W.~Emmerich}, title = "{Konstruktion von verteilten Objekten}", publisher = {dpunkt Verlag}, year = {2003}, address = {Heidelberg}, url = {http://www.dpunkt.de/buch/3-89864-140-6.html}, theme = {doc} } @PhdThesis{Mas01:SpecificationAnalysis, author = {C.~Mascolo}, title = {{Specification, Analysis and Prototyping of Mobile Code Systems}}, school = {Universita di Bologna}, year = {2001}, url = {http://www.cs.ucl.ac.uk/staff/c.mascolo/www/thesis.pdf}, theme = {mobile} } @MastersThesis{Mas95:SpecificationAnd, author = {C.~Mascolo}, title = "{Specification and Formal Analysis of Distributed Systems (in Italian)}", school = {Universita di Bologna}, year = {1995}, annote = {misc} } @PhdThesis{Smo02:SoftwareAgent, author = {D.~Smolko}, title = {{Software agent architecture for consistency checking of distributed documents}}, school = {University of London}, year = {2002}, theme = {dsa} } @PhdThesis{Cap03:ReflectiveMobile, author = {L.~Capra}, title = {{Reflective Mobile Middleware for Context-Aware Applications}}, school = {University of London}, year = {2003}, url = {http://sse.cs.ucl.ac.uk/pubs/phds/liciaPhDThesis.pdf}, opturl = {}, theme = {mobile} } @PhdThesis{Nen05:ConsistencyChecking, author = {C.~Nentwich}, title = {{Managing the Consistency of Distributed Documents}}, school = {University of London}, year = {2005}, url = {http://sse.cs.ucl.ac.uk/pubs/phds/nentwich-thesis-final.pdf}, theme = {dsa} } @PhdThesis{Rob90:SmallType, author = {G.~Roberts}, title = {{SmallType - A Type Declaration and Type Checking System for Smalltalk-80}}, school = {University of London}, year = {1990}, theme = {se} } @phdthesis{Bah06:ArhEvaluation, author = {R. Bahsoon}, title = {Evaluating Architectural Stability with Real Options Theory}, school = {University of London}, year = {2005}, url = {http://sse.cs.ucl.ac.uk/pubs/phds/BahsoonThesisFinal2005.pdf}, theme = {dsa}, } @inproceedings{BE06:ArchEvaluation, author = {R. Bahsoon and W. Emmerich}, title = {Requirements for Evaluating Architectural Stability}, booktitle = {Proc. of the ACS/IEEE International Conference on Computer Systems and Applications, Dubai, UAE}, year = {2006}, publisher = {IEEE Computer Society Press}, url = {http://www.cs.ucl.ac.uk/staff/r.bahsoon/1057BahsoonEmmerichl.pdf}, theme = {dsa}, } @inproceedings{BE06:Arch, author = {R. Bahsoon and W. Emmerich}, title = {Architectural Stability and Middleware: An Architecture Centric Evolution Perspective}, booktitle = {Proc. of the ECOOP 2006 workshop on Architecture-Centric Evolution, Nantes, France}, year = {2006}, theme = {dsa}, url = {http://www.cs.rug.nl/~paris/ACE2006/papers/Bahsoon.pdf}, } @inproceedings{Raimondi+05, author = {F. Raimondi and C. Pecheur and A. Lomuscio}, booktitle = {Proceedings of Concurrency, Specification \& Programming (CS\&P)}, title = {Applications of model checking for multi-agent systems: verification of diagnosability and recoverability}, month = {sep}, year = {2005}, city = {Ruciane-Nida, Poland}, pages = {433-444}, publisher = {Warsaw University}, opturl = {}, theme = {vv}, } @article{RaimondiLomuscio05b, author = {F. Raimondi and A. Lomuscio}, editor = {M. Fisher and M. Singh and D. Spears and M. Wooldridge}, title = {Automatic verification of multi-agent systems by model checking via OBDDs}, journal = {Journal of Applied Logic}, optvolume = {}, optnumber = {}, publisher = {Elsevier}, year = {2006}, opturl = {}, theme = {vv}, } @inproceedings{RaimondiLomuscio04a, author = {F. Raimondi and A. Lomuscio}, editor = {N. R. Jennings and C. Sierra and L. Sonenberg and M.Tambe}, booktitle = {Proceedings of the Third International Joint Conference onAutonomous Agents and Multiagent Systems (AAMAS'04)}, title = {Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation}, volume = {II}, optpages = {}, publisher = {ACM}, month = {jul}, year = {2004}, city = {New York}, opturl = {}, theme = {vv}, } @inproceedings{RaimondiLomuscio03a, author = {F. Raimondi and A. Lomuscio}, editor = {W. van der Hoek and A. Lomuscio and E. de Vink and M. Wooldridge}, booktitle = {Electronic Lecture Notes in Theoretical Computer Science}, title = {A tool for specification and verification of epistemic and temporal properties of multi-agent system}, volume = {85}, publisher = {Elsevier}, year = {2004}, optpages = {}, issue = {2}, opturl = {}, theme = {vv}, } @inproceedings{railom03, author = {F. Raimondi and A. Lomuscio}, booktitle = {Proceedings of the International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS'03)}, title = {A Tool for Specification and Verification of Epistemic Properties of Interpreted Systems}, volume = {85}, number = {2}, optpages = {}, publisher = {Elsevier}, year = {2003}, series = {ENTCS}, opturl = {}, theme = {vv}, } @inproceedings{railom-faabs04, author = {F. Raimondi and A. Lomuscio}, booktitle = {Proceedings of the 3rd NASA Workshop on Formal Approaches to Agent-Based Systems (FAABS III)}, title = {Symbolic Model Checking of Multi-Agent Systems Using OBDDs}, volume = {3228}, publisher = {Springer-Verlag}, pages = {213-221}, year = {2004}, isbn = {3-540-24422-0}, series = {Lecture Notes in Computer Science}, opturl = {}, theme = {vv}, } @inproceedings{railom-deon04, author = {F. Raimondi and A. Lomuscio}, booktitle = {Proceedings of the 7th International Workshop on Deontic Logic in Computer Science (DEON'04)}, title = {Automatic Verification of Deontic Properties of Multi-agent Systems}, volume = {3065}, publisher = {Spinger Verlag}, pages = {228-242}, year = {2004}, series = {Lecture Notes in Artificial Intelligence}, opturl = {}, theme = {vv}, } @inproceedings{LomuscioRaimondisergot02, author = {A. Lomuscio and F. Raimondi and M. Sergot}, booktitle = {Proceedings of Mochart -- First International Workshop on Model Checking and Artificial Intelligence}, title = {Towards model checking interpreted systems}, optpages = {}, optpublisher = {}, year = {2002}, opturl = {}, theme = {vv}, } @inproceedings{LomuscioRaimondi06c, author = {A. Lomuscio and F. Raimondi}, booktitle = {Proceedings of the fifth international joint conference onAutonomous agents and multiagent systems (AAMAS'06)}, title = {Model checking knowledge, strategies, and games in multi-agent systems}, publisher = {ACM Press}, address = {Hakodake, Japan}, year = {2006}, opturl = {}, theme = {vv}, } @inproceedings{LomuscioRaimondi06b, author = {A. Lomuscio and F. Raimondi}, booktitle = {Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (AAMAS'06)}, title = {The complexity of model checking concurrent programs against CTLK specifications}, publisher = {ACM Press}, address = {Hakodake, Japan}, year = {2006}, opturl = {}, theme = {vv}, } @proceedings{LomuscioRaimondi06a, editor = {A. Lomuscio and F. Raimondi}, booktitle = {Proceedings of TACAS06}, title = {MCMAS: A model checker for multi-agent systems}, publisher = {Springer Verlag}, month = {March}, year = {2006}, opturl = {}, theme = {vv}, } @inproceedings{Lomuscio+03-aamas, author = {A. Lomuscio and F. Raimondi and M. J. Sergot}, booktitle = {Proceedings of 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'03)}, title = {Towards model checking interpreted systems}, publisher = {ACM Press}, address = {Melbourne}, optpages = {}, month = {jul}, year = {2003}, opturl = {}, theme = {vv}, } @article{raimondilomuscio05b, author = {F. Raimondi and A. Lomuscio}, title = {Automatic verification of deontic interpreted systems by model checking via OBDD's}, journal = {Journal of Applied Logic}, year = {2005}, editor = {M. Fisher and M. Singh and D. Spears and M. Wooldridge}, publisher = {Elsevier}, opturl = {}, theme = {vv}, } @inproceedings{raimondilomuscio04d, title = {Automatic verification of deontic interpreted systems by model checking via OBDD's}, author = {F. Raimondi and A. Lomuscio}, booktitle = {Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI04)}, publisher = {IOS PRESS}, pages = {53-57}, year = {2004}, opturl = {}, theme = {vv}, } @inproceedings{letier-fse05, author = {E. Letier and J. Kramer and J. Magee and S. Uchitel}, title = {Fluent temporal logic for discrete-time event-based models}, booktitle = {Proc. of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE)}, year = {2005}, isbn = {1-59593-014-0}, pages = {70--79}, location = {Lisbon, Portugal}, url = {http://dx.doi.org/10.1145/1081706.1081719}, publisher = {ACM Press}, address = {New York, NY, USA}, theme = {re} } @inproceedings{letier-icse05, author = {E. Letier and J. Kramer and J. Magee and S. Uchitel}, title = {Monitoring and control in scenario-based requirements analysis}, booktitle = {Proc. of the 27th Int. Conference on Software Engineering}, year = {2005}, isbn = {1-59593-963-2}, pages = {382--391}, location = {St. Louis, MO, USA}, url = {http://dx.doi.org/10.1145/1062455.1062527}, theme = {re} } @article{lam-tse00, author = {A. van Lamsweerde and E. Letier}, title = {Handling Obstacles in Goal-Oriented Requirements Engineering}, journal = {IEEE Transactions on Software Engineering}, volume = {26}, number = {10}, year = {2000}, issn = {0098-5589}, pages = {978--1005}, url = {http://dx.doi.org/10.1109/32.879820}, publisher = {IEEE Press}, address = {Piscataway, NJ, USA}, theme = {re} } @inproceedings{letier-fse04, author = {E. Letier and A. van Lamsweerde}, title = {Reasoning about partial goal satisfaction for requirements and design engineering}, booktitle = {Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering (SIGSOFT/FSE 12)}, year = {2004}, isbn = {1-58113-855-5}, pages = {53--62}, location = {Newport Beach, CA, USA}, url = {http://dx.doi.org/10.1145/1029894.1029905}, publisher = {ACM Press}, address = {New York, NY, USA}, theme = {re} } @inproceedings{landt-re03, author = {R. De Landtsheer and E. Letier and A. van Lamsweerde}, title = {Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models}, booktitle = {Proc. of the 11th IEEE Int. Conf. on Requirements Engineering}, year = {2003}, isbn = {0-7695-1980-6}, pages = {200}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, theme = {re} } @inproceedings{letier-fse02, author = {E. Letier and A. van Lamsweerde}, title = {Deriving operational software specifications from system goals}, booktitle = {Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering (SIGSOFT/FSE 10)}, year = {2002}, isbn = {1-58113-514-9}, pages = {119--128}, location = {Charleston, South Carolina, USA}, url = {http://dx.doi.org/10.1145/605466.605485}, publisher = {ACM Press}, address = {New York, NY, USA}, theme = {re} } @inproceedings{581353, author = {E. Letier and A. van Lamsweerde}, title = {Agent-based tactics for goal-oriented requirements elaboration}, booktitle = {Proc. of the 24th Int. Conference on Software Engineering}, year = {2002}, isbn = {1-58113-472-X}, pages = {83--93}, location = {Orlando, Florida}, url = {http://dx.doi.org/10.1145/581339.581353}, publisher = {ACM Press}, address = {New York, NY, USA}, theme = {re} } @article{rdl-rej03, author = {R. De Landtsheer and E. Letier and A. van Lamsweerde}, title = {Deriving tabular event-based specifications from goal-oriented requirements models}, journal = {Requirements Engineering Journal}, volume = {9}, number = {2}, year = {2004}, issn = {0947-3602}, pages = {104--120}, url = {http://dx.doi.org/10.1007/s00766-004-0189-1}, publisher = {Springer-Verlag New York, Inc.}, address = {Secaucus, NJ, USA}, theme = {re} } @inproceedings{lam-rissef02, author = {A. van Lamsweerde and E. Letier}, title = {From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering}, booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers RISSE}, year = {2002}, pages = {325-340}, url = {http://dx.doi.org/10.1007/b96009}, theme = {re} } @Article{BFPN09:BetterBioinformatics, author = {D.~Bolchini, A.~Finkelstein, V.~Perrone and S.~Nagl}, title = {{Better Bioinformatics Through Usability Analysis}}, journal = {Bioinformatics}, year = {2009}, note = {To appear}, Theme = {misc}, OptPages = {}, Url = {http://dx.doi.org/10.1093/bioinformatics/btn633}, doi = {10.1093/bioinformatics/btn633} } @inproceedings{ELF08:Generating, Author = {A.~Egyed and E.~Letier and A.~Finkelstein}, Title = {{Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models}}, BookTitle = {23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)}, Address= {L'Aquila, Italy}, Year = {2008}, Pages = {99--108}, URL = {http://dx.doi.org/10.1109/ASE.2008.20}, doi = {10.1109/ASE.2008.20}, Theme = {sde} } @inproceedings{FHM+08:Fairness, Author = {A.~Finkelstein and M.~Harman and S.~Mansouri and J.~Ren and Y.~Zhang}, Title = {{'Fairness Analysis' in Requirements Assignments}}, Booktitle = {International Conference on Requirements Engineering (RE 08)}, Address= {Barcelona, Spain}, Publisher = {IEEE CS Press}, Year = {2008}, Pages = {115-124}, url = {http://dx.doi.org/10.1109/RE.2008.61}, doi = {10.1109/RE.2008.61}, Theme = {re} } @article{BFH08:ALightweight, Author = {K.~Boness and A.~Finkelstein and R.~Harrison}, Title = {{A Lightweight Technique for Assessing Risks in Requirements Analysis}}, Journal = {IET Software}, Volume = {2}, Number = {1}, Pages = {46-57}, Year = {2008}, URL = {http://dx.doi.org/10.1049/iet-sen:20070068}, doi = {10.1049/iet-sen:20070068}, Theme = {re} } @inproceedings{BFS+08:UsingJule, Author = {P.~Bunyakiati and A.~Finkelstein and J.~Skene and C.~Chapman}, Title = {{Using JULE to Generate a Compliance Test Suite for the UML Standard}}, BookTitle = {Proc. of the $30^{th}$ Int. Conference on Software Engineering (ICSE)}, Address= {Leipzig, Germany}, Publisher = {ACM}, Year = {2008}, Pages = {827-830}, URL = {http://dx.doi.org/10.1145/1368088.1368212}, doi = {/10.1145/1368088.1368212}, Theme = {sde} } @inproceedings{HFH+08:PRAIS, Author = {R.~Harbird and A.~Finkelstein and S.~Hailes and E.~McKinney and R.~Jeyarajah-Dent}, Title = {{PRAIS - PRivacy impact Analysis for Information Sharing}}, BookTitle = {Healthcare Computing Conference (HC2008)}, Address= {Harrogate, UK}, Publisher = {BCS}, Year = {2008}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/prais.pdf}, Theme = {re} } @inproceedings{JBF078:ComponentAssembly, Author = {S.~Jansen and S.~Brinkkemper and A.~Finkelstein}, Title = {{Component Assembly Mechanisms and Relationship Intimacy in a Software Supply Network}}, BookTitle = {15th Annual EuroMA Conference (Euroma 2008)}, Address= {Groningen, Netherlands}, Publisher = {European Operations Management Association}, Year = {2008}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/euroma08.pdf}, Theme = {misc} } @incollection{JF08a:FlexibleWorkflows, Author = {B.~Jennings and A.~Finkelstein}, Title = {{Flexible Workflows}}, BookTitle = {Service Chain Management: technology innovation for service business}, Editor = {C.~Voudouris and G.~Owusu and R.~Dorne and D.~Lesaint}, Publisher = {Springer}, Pages = {171-185}, Year = {2008}, OptURL = {}, Theme = {dsa} } @inproceedings{JF08b:FlexibleWorkflows, Author = {B.~Jennings and A.~Finkelstein}, Title = {{Flexible Workflows: Reputation-based Message Routing}}, BookTitle = {9th Workshop on Business Process Modeling, Development, and Support (BPMDS 08)}, Address= {Montpellier}, Year = {2008}, URL = {http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-335/paper11.pdf}, Theme = {dsa} } @inproceedings{ZFH08:SearchBased, Author = {Y.~Zhang and A.~Finkelstein and M.~Harman}, Title = {{Search Based Requirements Optimisation: Existing Work & Challenges}}, Booktitle = {International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 08)}, Address= {Montpellier, France}, Publisher = {Springer}, Volume = {LNCS}, Year = {2008}, Theme = {re} } @inproceedings{BFR08:TheCertification, Author = {P.~Bunyakiati and A.~Finkelstein and D.~Rosenblum}, Title = {{The Certification of Software Tools with Respect to Software Standards}}, BookTitle = {IEEE Conference on Information Reuse and Integration (IRI 2007)}, Address= {Las Vegas, Nevada}, Publisher = {IEEE}, Pages = {724-729}, Year = {2007}, URL = {http://dx.doi.org/10.1109/IRI.2007.4296706}, Theme = {sde} } @article{HBS+07:Addressing, Author = {J.~Hetherington and I.~Bogle and P.~Saffrey and O.~Margoninski and L.~Li and M.~Rey and S.~Yamaji and S.~Baigent and J.~Ashmore and K.~Page and R.~Seymour and A.~Finkelstein and A.~Warner}, Title = {{Addressing the Challenges of Multiscale Model Management In Systems Biology}}, Journal = {Computers and Chemical Engineering (7th World Congress of Chemical Engineering)}, Volume = {31}, Number = {8}, Pages = {962-979}, Year = {2007}, URL = {http://dx.doi.org/10.1016/j.compchemeng.2006.10.004}, Theme = {misc} } @inproceedings{JBF07:Providing, Author = {S.~Jansen and S.~Brinkkemper and A.~Finkelstein}, Title = {{Providing Transparency In The Business Of Software: A Modeling Technique For Software Supply Networks}}, BookTitle = {IFIP Working Conference on Virtual Enterprises (Pro-VE): Establishing The Foundation Of Collaborative Networks}, Series= {IFIP International Federation for Information Processing}, Address= {Spain}, Publisher = {Springer Boston}, Volume = {243/2007}, Pages = {677-686}, Year = {2007}, URL = {http://dx.doi.org/10.1007/978-0-387-73798-0_73}, Theme = {misc} } @inproceedings{MPK+07:AReference, Author = {C.~Mattmann and V.~Perrone and S.~Kelly and D.~Crichton and A.~Finkelstein and N.~Medvidovic}, Title = {{A Reference Framework for Requirements and Architecture in Biomedical Grid Systems}}, BookTitle = {IEEE Conference on Information Reuse and Integration (IRI 2007)}, Address= {Las Vegas, Nevada}, Publisher = {IEEE}, Pages = {418-422}, Year = {2007}, URL = {http://dx.doi.org/10.1109/IRI.2007.4296656}, Theme = {dsa} } @inproceedings{PF07:AnalyzingRequirements, Author = {V.~Perrone and A.~Finkelstein}, Title = {{Analyzing Requirements for a Large Scale System for Cancer Research}}, Booktitle = {20th IEEE International Symposium on Computer Based Medical Systems (CBMS 2007)}, Address= {Maribor, Slovenia}, Publisher = {IEEE CS Press}, Pages = {103-108}, Year = {2007}, URL = {Http://dx.doi.org/10.1109/CBMS.2007.24}, Theme = {re} } @article{SMH+07:EndToEnd, Author = {P.~Saffrey and O.~Margoninski and J.~Hetherington and M.~Varela-Rey and S.~Yamaji and A.~Finkelstein and D.~Bogle and A.~Warner}, Title = {{End-to-End Information Management for Systems Biology}}, Journal = {Transactions on Computational Systems Biology}, Volume = {VIII}, Number = {LNBI 4780}, Pages = {77-91}, Year = {2007}, URL = {http://dx.doi.org/10.1007/978-3-540-76639-1_5}, Theme = {misc} } @inproceedings{SFA07:UsingOntology, Author = {Z.~Sun and A.~Finkelstein and J.~Ashmore}, Title = {{Using Ontology with Semantic Web Services to Support Modeling in Systems Biology}}, BookTitle = {International Workshop on Approaches and Architectures for Web Data Integration and Mining in Life Sciences (WebDIM4LS)}, Address= {Nancy, France}, Publisher = {Springer}, Volume = {LNCS 4832}, Pages = {41-51}, Year = {2007}, URL = {http://dx.doi.org/10.1007/978-3-540-77010-7_5}, Theme = {misc} } @incollection{FLP+06:UsingEvent, Author = {A.~Finkelstein and J.~Lewis-Bowen and G.~Piccinelli and W.~Emmerich}, Title = {{Using Event Models in Grid Design}}, Booktitle = {Grid Computing: Software Environments and Tools }, Editor = {J.~Cunha and O.~Rana}, Publisher = {Springer}, Pages = {19-44}, Year = {2006}, Theme = {dsa} } @inproceedings{GF06:AbstractionBased, Author = {L.~Goldin and A.~Finkelstein}, Title = {{Abstraction-Based Requirements Management}}, BookTitle = {Role of Abstraction in Software Engineering (ROA '06)}, Address= {Shanghai, China}, Publisher = {ACM Press}, Volume = {28th International Conference on Software Engineering & Co-Located Workshops}, Pages = {3-11}, Year = {2006}, URL = {http://dx.doi.org/10.1145/1137620.1137623}, Theme = {re} } @article{MSH+06:ASpecification, Author = {O. Margoninski and P. Saffrey and J. Hetherington and A. Finkelstein and A. Warner}, Title = {{A Specification Language and a Framework for the Execution of Composite Models in Systems Biology}}, Journal = {LNCS Transactions on Computational Systems Biology}, Volume = {VII}, Number = {LNBI 4230}, URL = {http://dx.doi.org/10.1007/11905455_9}, Year = {2006}, Theme = {others} } @inproceedings{BBF+05:Challenges, Author = {R. Begent and J. M. Brady and A. Finkelstein and D. Gavaghan and P. Kerr and H. Parkinson and F. Reddington and J. M. Wilkinson}, Title = {{Challenges of Ultra Large Scale Integration of Biomedical Computing Systems}}, BookTitle = {18th IEEE International Symposium on Computer-Based Medical Systems}, Address= {Dublin, Ireland}, Publisher = {IEEE CS Press}, Pages = {64-69}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/biomedical.pdf}, Theme = {sa}, Year = {2005} } @InCollection{AFC+05:UsingGoals, author = {C. Alves and X. Franch and J. Carvallo and A. Finkelstein}, Title = {{Using Goals and Quality Models to Support the Matching Analysis During COTS Selection, Bilbao, Spain}}, BookTitle = {$4^{th}$ International Conference on COTS-Based Software Systems}, Series= {Lecture Notes in Computer Science}, Publisher = {Springer}, Volume = {3412}, Pages = {146--156}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/cotsqual.pdf}, Theme = {re}, Year = {2005} } @inproceedings{CF05:Weaving, Author = {C. Courbis and A. Finkelstein}, Title = {Weaving Aspects into Web Service Orchestrations}, BookTitle = {3rd IEEE International Conference on Web Services (ICWS 2005), Orlando, Florida}, Publisher = {IEEE CS Press}, Pages = {219--226}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/aspectservices.pdf }, Theme = {sa}, Year = {2005} } @inproceedings{CF05:Towards, author = {C. Courbis and A. Finkelstein}, title = {Towards Aspect Weaving Applications}, booktitle = {27th Int. Conference on Software Engineering}, address = {St. Louis, Missouri, USA}, publisher = {ACM Press}, pages = {69-77}, url = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/aspecticse.pdf}, theme = {sa}, year = {2005}, } @article{FGJ04:Relating, Author = {A.~Finkelstein and C.~Gryce and J.~Lewis-Bowen}, Title = {{Relating Requirements and Architectures: A Study of Data-Grids}}, Journal = {Journal of Grid Computing}, Volume = {2}, Number = {3}, Pages = {207--222}, Note = {ISSN 1570-7873}, url = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/gridproof.pdf}, Theme = {sa}, Year = {2004} } @InProceedings{courbis04:_towar_aspec_weavin_bpel_engin, author = {C.~Courbis and A.~Finkelstein}, title = {{Towards an Aspect Weaving BPEL Engine}}, booktitle = {Proceedings of the Third AOSD Workshop on Aspects, omponents, and Patterns for Infrastucture Software (ACP4IS)}, year = 2004, editor = {Yvonne Coady and David H. Lorenz}, number = {NU-CCIS-04-04}, address = {Lancaster, UK}, month = {March}, publisher = {College of Computer and Information Science Northeastern University}, url = {http://www.cs.uvic.ca/~ycoady/acp4is04/papers/E00-1036597838.pdf}}, theme = {dsa} } @article{integ, Author = {C. Alves and A. Finkelstein}, Title = {{Investigating Conflicts in COTS Decision-Making}}, Journal = {International Journal of Software Engineering and Knowledge Engineering}, Volume = {13}, Number = {5}, Pages = {1--21}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/integ.pdf}, Theme = {re}, Year = {2003} } @Article{FHL+04:SystemsBiology, author = {A.~Finkelstein and J.~Hetherington and L.~Li and O.~Margoninski and P. Saffrey and R.~Seymour and A.~Warner}, title = {{Computational Challenges of Systems Biology}}, journal = {IEEE Computer}, year = {2004}, volume = {37}, number = {5}, pages = {26--33}, theme = {others}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/cchallcomputer.pdf} } @inproceedings{stability, Author = {D. Bush and A. Finkelstein}, Title = {{Requirements Stability Assessment Using Scenarios}}, BookTitle = {Requirements Engineering (RE 2003)}, Address= {Monterey, California}, Publisher = {IEEE CS Press}, Pages = {23--32}, Year = {2003}, Theme = {re}, url = {http://dx.doi.org/10.1109/ICRE.2003.1232734}, doi = {10.1109/ICRE.2003.1232734} } @techreport{aspectsase, Author = {A. Dingwall-Smith and A. Finkelstein}, Title = {Monitoring Goals with Aspects}, Institution = {University College London, Dept. of Computer Science}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/aspectsase.pdf}, Theme = {re}, Month= {August}, Year = {2003} } @techreport{orchestration, Author = {A. Finkelstein and J. Hetherington and P. Saffrey and A. Warner}, Title = {Model Orchestration: Addressing the Model Management Challenges of Systems Biology}, Institution = {University College London, Dept. of Computer Science}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/orchestration.pdf}, Theme = {misc}, Month= {August}, Year = {2003} } @article{umlreprofile, Author = {W. Heaven and A. Finkelstein}, Title = {A UML Profile to Support Requirements Engineering with KAOS}, Journal = {IEE Proceedings - Software}, Note = {To Appear}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/umlreprofile.pdf}, Theme = {re}, Year = {2003} } @inproceedings{icsemip, Author = {B. Nuseibeh and A. Finkelstein and J. Kramer}, Title = {ViewPoints: meaningful relationships are difficult}, BookTitle = {International Conference on Software Engineering (ICSE 2003)}, Address= {Portland, Oregon}, Publisher = {ACM Press}, Pages = {676--681}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/icsemip.pdf}, Theme = {view}, Year = {2003} } @article{ist2003, Author = {G. Piccinelli and A. Finkelstein and T. Costa}, Title = {Flexible B2B processes: the answer is in the nodes}, Journal = {Journal of Information and Software Technology}, Note = {To appear}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/ist2003.pdf}, Theme = {sa}, Year = {2003} } @inproceedings{euromicro2003, Author = {G. Piccinelli and A. Finkelstein and S. Williams}, Title = {Service-oriented Workflows: the DySCo framework}, BookTitle = {Euromicro Conference}, Address= {Antalya, Turkey}, Publisher = {Euromicro}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/euromicro2003.pdf}, Theme = {sa}, Year = {2003} } @inproceedings{refsq02, Author = {C. Alves and A. Finkelstein}, Title = {Negotiating Requirements for COTS-Based Systems}, BookTitle = {Eighth International Workshop on Requirements Engineering: Foundation for Software Quality}, Address= {Essen, Germany}, Publisher = {REFSQ}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/refsq02.pdf}, Theme = {re}, Year = {2002} } @inproceedings{seke02, Author = {C. Alves and A. Finkelstein}, Title = {Challenges in COTS-Decision Making: A Goal-Driven Requirements Engineering Perspective}, BookTitle = {Workshop on Software Engineering Decision Support}, Address= {Ischia, Italy}, Publisher = {Electronic}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/seke02.pdf}, Theme = {re}, Year = {2002} } @article{avellis, Author = {G. Avellis and A. Finkelstein}, Title = {How to Annotate Educational Multimedia with Non-Functional Requirements}, Journal = {Educational Technology & Society}, Volume = {5}, Number = {2}, Note = {ISSN 1436-4522}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/avellis.pdf}, Theme = {re}, Year = {2002} } @inproceedings{aosd2002, Author = {A. Dingwall-Smith and A. Finkelstein}, Title = {From Requirements to Monitors by Way of Aspects}, BookTitle = {Workshop on Early Aspects at the 1st International Conference on Aspect-Oriented Software Development (AOSD)}, Address= {Enschede, Netherlands}, Publisher = {AOSD}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/aosd2002.pdf}, Theme = {re}, Year = {2002} } @inproceedings{umlworkshop, Author = {C. Gryce and A. Finkelstein and C. Nentwich}, Title = {Lightweight Checking for UML Based Software Development}, BookTitle = {UML 2002, Model Engineering, Concepts and Tools. Workshop on Consistency Problems in UML-based Software Development.}, Address= {Dresden, Germany}, Publisher = {Blekinge Institute of Technology}, Volume = {Research Report 2002:06}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/umlworkshop.pdf}, Theme = {view}, Year = {2002} } @inproceedings{portfolio, Author = {K. Lawson and A. Finkelstein}, Title = {Integration of Product and Technology Development Process with R&D Portfolio Management using Efficient Frontier Analysis}, BookTitle = {IEEE/IEE International Engineering Management Conference (IEMC)}, Publisher = {IEE}, Theme = {sys}, Year = {2002} } @inproceedings{wsconsis, Author = {G. Piccinelli and A. Finkelstein and C. Nentwich}, Title = {Web Services Need Consistency}, BookTitle = {OOPSLA 2002 Workshop on Object-Oriented Web Services}, Publisher = {OOPSLA}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/wsconsis.pdf}, Theme = {view}, Year = {2002} } @inproceedings{sci2002, Author = {G. Piccinelli and A. Finkelstein and E. Stammers}, Title = {Automated Engineering of e-business Processes: the RosettaNet case study}, BookTitle = {6th International Conference on Systems, Cybernetics and Informatics}, Address= {Orlando, Florida}, Publisher = {ICSCI}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/sci2002.pdf}, Theme = {sa}, Year = {2002} } @inproceedings{edser3eval, Author = {B. Farbey and A. Finkelstein}, Title = {Evaluation in Software Engineering: ROI, but more than ROI}, BookTitle = {Proc. of the 3rd International Workshop on Economics-Driven Software Engineering Research (EDSER-3 2001)}, Publisher = {ICSE 2001}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/edser3eval.pdf}, Theme = {re}, Year = {2001} } @inproceedings{acquisition, Author = {B. Farbey and A. Finkelstein}, Title = {Software Acquisition: a business strategy analysis}, BookTitle = {Proc. of Requirements Engineering (RE 2001)}, Publisher = {IEEE Computer Society Press}, URL = {http://www.cs.ucl.ac.uk/staff/a.finkelstein/acquisition.pdf}, Theme = {re}, Year = {2001} } @inproceedings{straw, Author = {A. Finkelstein and A. Savigni}, Title = {A Framework for Requirements Engineering for Context-Aware Services}, BookTitle = {First International Workshop From Software Requirements to Architectures (STRAW 01) 23rd International Conference on Software Engineering}, Publisher = {IEEE CS Press}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/straw.pdf}, Theme = {mobile}, Year = {2001} } @inproceedings{choices, Author = {B. Farbey and A. Finkelstein}, Title = {Software Engineering Management: strategic choices for a new decade}, BookTitle = {2nd Workshop on Economics--Driven Software Engineering Research (EDSER-2), 22nd International Conference on Software Engineering}, Publisher = {Electronic}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/choices.pdf}, Theme = {misc}, Year = {2000} } @incollection{seencyc, Author = {A. Finkelstein}, Title = {Software Engineering (Encylopedia Entry)}, BookTitle = {Encyclopedia of Information Sciences}, Publisher = {Marcel Dekker}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/seencyc.pdf}, Theme = {se}, Year = {2000} } @article{y2kpiece, Author = {A. Finkelstein}, Title = {Looking Back at Y2K}, Journal = {Computing and Control Engineering Journal}, Volume = {11}, Number = {4}, Pages = {156--159}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/y2kpiece.pdf}, Theme = {misc}, Year = {2000} } @incollection{finkkeynote, Author = {A. Finkelstein}, Title = {A Foolish Consistency: technical challenges in consistency management}, BookTitle = {11th International DEXA - Database and Expert Systems Applications}, Editor = {M. Ibrahim, J. Kueng and N. Revell}, Series = {Lecture Notes in Computer Science}, Publisher = {Springer Verlag}, Address = {London, UK}, Volume = {1873}, Pages = {1--5}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/finkkeynote.pdf}, Theme = {view}, Year = {2000} } @book{future, Editor = {A. Finkelstein}, Title = {The Future of Software Engineering}, Publisher = {ACM Press}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/fose/future.html}, Theme = {se}, Year = {2000} } @incollection{formtools, Author = {A. Finkelstein and W. Emmerich}, Title = {The Future of Requirements Management Tools}, BookTitle = {Information Systems in Public Administration and Law}, Editor = {G. Quirchmayr, R. Wagner and M. Wimmer}, Publisher = {Oesterreichische Computer Gesellschaft}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/formtools.pdf}, Theme = {re}, Year = {2000} } @incollection{seroadmap, Author = {A. Finkelstein and J. Kramer}, Title = {Software Engineering: a roadmap}, BookTitle = {The Future of Software Engineering}, Editor = {A. Finkelstein}, Publisher = {ACM Press}, Pages = {3--24}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/seroadmap.pdf}, Theme = {se}, Year = {2000} } @inproceedings{agentarch, Author = {A. Finkelstein and D. Smolko}, Title = {Software Agent Architecture for Consistency Management in Distributed Documents}, BookTitle = {SCI 2000 -- World Multiconference on Systemics, Cybernetics and Informatics and ISAS}, Publisher = {International Institute of Informatics and Systemics}, Volume = {IX}, Pages = {715--719}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/agentarch.pdf}, Theme = {view}, Year = {2000} } @inproceedings{destheorymeas, Author = {L. Finkelstein and A. Finkelstein}, Title = {Design Theory Advances and Measurement Science}, BookTitle = {XVI IMEKO World Congress}, Address= {Vienna, Austria}, Publisher = {IMEKO and Austrian Society for Measurement and Automation}, Volume = {V}, Pages = {43--48}, Theme = {sys}, Year = {2000} } @article{stage, Author = {K. Breitman and J. Leite and A. Finkelstein}, Title = {The World's a Stage: A Survey of Requirements Engineering Using a Real-life Case Study}, Journal = {Journal of the Brazilian Computer Society}, Volume = {6}, Number = {1}, Pages = {13--37}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/stage.pdf}, Theme = {re}, Year = {1999} } @inproceedings{supplybrief, Author = {B. Farbey and A. Finkelstein}, Title = {Exploiting software supply chain business architecture: a research agenda}, BookTitle = {1st Workshop on Economics-Driven Software Engineering Research (EDSER-1), 21st International Conference on Software Engineering}, Publisher = {Electronic}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/supplybrief.pdf}, Theme = {re}, Year = {1999} } @article{ijseke99, Author = {S. Morris and A. Finkelstein}, Title = {Engineering via discourse: Content structure as an essential component for multimedia documents}, Journal = {International Journal of Software Engineering and Knowledge Engineering}, Volume = {9}, Number = {6}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/ijseke99.pdf}, Theme = {misc}, Year = {1999} } @inproceedings{stake, Author = {H. Sharp and A. Finkelstein and G. Galal}, Title = {Stakeholder Identification in the Requirements Engineering Process}, BookTitle = {DEXA}, Publisher = {IEEE Computer Society Press}, Pages = {387--391}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/stake.pdf}, Theme = {re}, Year = {1999} } @article{ase99, Author = {G. Spanoudakis and A. Finkelstein and D. Till}, Title = {Overlaps in Requirements Engineering}, Journal = {Automated Software Engineering}, Number = {6}, Pages = {171--198}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/ase99.pdf}, Theme = {view}, Year = {1999} } @inproceedings{multicg, Author = {T. Thanitsukkarn and A. Finkelstein}, Title = {Multiperspective Analysis of the Sisyphus--I Room Allocation Task Modelled in a CG Meta-Representation Language}, BookTitle = {7th International Conference on Conceptual Structures, ICCS 99 Lecture Notes in Computer Science 1640}, Publisher = {Springer Verlag}, Pages = {272--296}, Theme = {view}, Year = {1999} } @article{compliancemanager, Author = {S. Armitage and R. Stevens and A. Finkelstein}, Title = {Implementing a Compliance Manager}, Journal = {Requirements Engineering}, Volume = {3}, Number = {2}, Pages = {98--106}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/compliancemanager.pdf}, Theme = {sde}, Year = {1998} } @incollection{isichap, Author = {A. Finkelstein}, Title = {Interoperable Systems: an introduction}, BookTitle = {Information Systems Interoperability}, Editor = {B. KrŠmer, M. Papazoglou and M. Schmidt}, Publisher = {Research Studies Press}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/isichap.pdf}, Theme = {se}, Year = {1998} } @inproceedings{oois98, Author = {G. Spanoudakis and A. Finkelstein}, Title = {A Semi-automatic process of Identifying Overlaps and Inconsistencies between Requirement Specifications}, BookTitle = {5th International Conference on Object--Oriented Information Systems (OOIS 98)}, Publisher = {OOIS}, Pages = {405--424}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/oois98.pdf}, Theme = {view}, Year = {1998} } @inproceedings{kaw98, Author = {T. Thanitsukkarn and A. Finkelstein}, Title = {A Conceptual Graph Approach to Support Multiperspective Development Environments}, BookTitle = {11th Knowledge Acquisition Workshop (KAW 98)}, Address= {Banff, Canada}, Publisher = {KAW}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/kaw98.pdf}, Theme = {view}, Year = {1998} } @article{exemplar, Author = {M. Feather and S. Fickas and A. Finkelstein and A. v. Lamsweerde}, Title = {Requirements and Specification Exemplars}, Journal = {Automated Software Engineering}, Volume = {4}, Number = {4}, Pages = {419--438}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/exemplar.pdf}, Theme = {re}, Year = {1997} } @inproceedings{casetrace, Author = {O. Gotel and A. Finkelstein}, Title = {Extended Requirements Traceability: results of an industrial case study}, BookTitle = {3rd International Symposium on Requirements Engineering (RE97)}, Publisher = {IEEE CS Press}, Pages = {169--178}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/casetrace.pdf}, Theme = {re}, Year = {1997} } @article{annals97, Author = {G. Spanoudakis and A. Finkelstein}, Title = {Reconciling Requirements: a method for managing interference, inconsistency and conflict}, Journal = {Annals of Software Engineering}, Volume = {3}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/annals97.pdf}, Theme = {view}, Year = {1997} } @inproceedings{overlap, Author = {G. Spanoudakis and A. Finkelstein}, Title = {Overlaps Among Requirements Specifications}, BookTitle = {International Conference on Software Engineering Workshop on Living with Inconsistency}, Publisher = {IEEE CS Press}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/overlap.pdf}, Theme = {view}, Year = {1997} } @article{recoord, Author = {A. Finkelstein}, Title = {Requirements Engineering Research: Coordination and Infrastructure}, Journal = {Requirements Engineering}, Volume = {1}, Number = {1}, Pages = {63--69}, Theme = {re}, Year = {1996} } @inproceedings{relviews, Author = {A. Finkelstein}, Title = {Relating Viewpoints}, BookTitle = {ACM SIGSOFT 96 Workshop - Viewpoints 96}, Publisher = {ACM Press}, Pages = {157}, Theme = {view}, Year = {1996} } @article{public, Author = {A. Finkelstein}, Title = {Improving Public Understanding}, Journal = {IEEE Software}, Pages = {20 et seq}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/public.pdf}, Theme = {se}, Year = {1996} } @incollection{lascase, Author = {A. Finkelstein and J. Dowell}, Title = {A Comedy of Errors: the London Ambulance Service case study}, BookTitle = {8th International Workshop on Software Specification & Design IWSSD-8}, Publisher = {IEEE CS Press}, Pages = {2--4}, URL = { http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/lascase.pdf}, Theme = {spec}, Year = {1996} } @inproceedings{package, Author = {A. Finkelstein and M. Ryan and G. Spanoudakis}, Title = {Software Package Requirements and Procurement}, BookTitle = {8th International Workshop on Software Specification Design IWSSD-8}, Publisher = {IEEE CS Press}, Pages = {141--146}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/package.pdf}, Theme = {re}, Year = {1996} } @article{viewfaq, Author = {A. Finkelstein and I. Sommerville}, Title = {The Viewpoints FAQ}, Journal = {Software Engineering Journal}, Volume = {11}, Number = {1}, Pages = {2--4}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/viewfaq.pdf}, Theme = {view}, Year = {1996} } @inproceedings{vp96, Author = {A. Finkelstein and G. Spanoudakis and D. Till}, Title = {Managing Interference}, BookTitle = {ACM SIGSOFT 96 Workshop - Viewpoints 96}, Publisher = {ACM Press}, Pages = {172--174}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/vp96.pdf}, Theme = {view}, Year = {1996} } @incollection{rtprob, Author = {O. Gotel and A. Finkelstein}, Title = {An Analysis of the Requirements Traceability Problem}, BookTitle = {Software Change Impact Analysis}, Editor = {R. Arnold and S. Bohner}, Publisher = {IEEE Computer Society Press}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/rtprob.pdf}, Theme = {re}, Year = {1996} } @article{revisrp, Author = {O. Gotel and A. Finkelstein}, Title = {Revisiting Requirements Production}, Journal = {Software Engineering Journal}, Volume = {11}, Number = {3}, Pages = {66--182}, Theme = {re}, Year = {1996} } @inproceedings{contribnetwork, Author = {O. Gotel and A. Finkelstein}, Title = {The Contribution Stuctures of Networked Organisations}, BookTitle = {ACM Workshop on Enabling Technologies - Infrastructure for Collaborative Enterprises (WET--ICE)}, Publisher = {ACM Press}, Theme = {re}, Year = {1996} } @inproceedings{extenrt, Author = {O. Gotel and A. Finkelstein}, Title = {Extended Requirements Traceability a Framework for Changing Requirements}, BookTitle = {CAISE Workshop on Requirements Engineering in a Changing World}, Publisher = {CAISE}, Theme = {re}, Year = {1996} } @inproceedings{multimediadocs, Author = {S. Morris and A. Finkelstein}, Title = {Integrating design and development in the production of multimedia documents}, BookTitle = {International Workshop on Multimedia Software Development}, Publisher = {IEEE CS Press}, Pages = {98--107}, Theme = {misc}, Year = {1996} } @article{ist96, Author = {B. Nuseibeh and A. Finkelstein and J. Kramer}, Title = {Method Engineering for Multi-Perspective Software Development}, Journal = {Information and Software Technology}, Volume = {38}, Number = {4}, Pages = {267--274}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/ist96.pdf}, Theme = {view}, Year = {1996} } @inproceedings{consmgt, Author = {W. Poon and A. Finkelstein}, Title = {Consistency Management for Multiple Perspective Software Development}, BookTitle = {ACM SIGSOFT 96 Workshop - Viewpoints 96}, Publisher = {ACM Press}, Pages = {192--196}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/consmgt.pdf}, Theme = {view}, Year = {1996} } @inproceedings{ecai96, Author = {G. Spanoudakis and A. Finkelstein}, Title = {Reconciliation: Managing Interference in Software Development}, BookTitle = {ECAI '96 Workshop on Modelling Conflicts in AI}, Publisher = {ECAI}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/ecai96.pdf}, Theme = {view}, Year = {1996} } @article{vp96rep, Author = {G. Spanoudakis and A. Finkelstein and W. Emmerich}, Title = {Viewpoints 96: International Workshop on Multiple Perspectives in Software Development}, Journal = {ACM SIGSOFT Software Engineering Notes}, Volume = {22}, Number = {1}, Pages = {39--41}, URL = {http://dx.doi.org/10.1145/251759.251832}, Theme = {view}, Year = {1996} } @article{videoconference, Author = {M. Colbert and C. Voglimacci and A. Finkelstein}, Title = {Live, Audio-Visual Communication Systems for Distance Learning: Experience, Heuristics and ISDN}, Journal = {Behaviour & Information Technology}, Volume = {14}, Number = {5}, Pages = {267--288}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/videoconference.pdf}, Theme = {misc}, Year = {1995} } @article{viewpol, Author = {A. Finkelstein and J. Kramer and B. Nuseibeh and L. Finkelstein and M. Goedicke}, Title = {Punkty Widzenia: Schemat Integrujacy Wielosc Perspektyw W Projektowaniu Systemow}, Journal = {Projektowanie i Systemy}, Volume = {XV}, Pages = {129--153}, Theme = {view}, Year = {1995} } @incollection{revdesgas, Author = {L. Finkelstein and A. Finkelstein}, Title = {Review of Design Methodology}, BookTitle = {Design and Systems Praxiology: The International Annual of Practical Philosophy and Methodology}, Editor = {A. Collen and W. Gasparski}, Publisher = {Transaction Publishers}, Volume = {3}, Pages = {95--122}, Theme = {sys}, Year = {1995} } @inproceedings{contrib, Author = {O. Gotel and A. Finkelstein}, Title = {Contribution Structures}, BookTitle = {2nd International Symposium on Requirements Engineering RE95}, Publisher = {IEEE CS Press}, Pages = {100--107}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/contrib.pdf}, Theme = {re}, Year = {1995} } @inproceedings{icse17, Author = {U. Leonhardt and A. Finkelstein and J. Kramer and B. Nuseibeh}, Title = {Decentralised Process Enactment in a Multi-perspective Development Environment}, BookTitle = {17th International Conference on Software Engineering}, Publisher = {IEEE CS Press}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/icse17.pdf}, Theme = {view}, Year = {1995} } @inproceedings{ewspt95, Author = {B. Nuseibeh and J. Kramer and A. Finkelstein and U. Leonhardt}, Title = {Decentralised Process Modelling}, BookTitle = {4th European Workshop on Software Process Technology EWSPT 95}, Publisher = {Springer--Verlag}, Pages = {185--188}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/ewspt95.pdf}, Theme = {view}, Year = {1995} } @incollection{dirnspmt, Author = {J.-C. Derniame and A. Finkelstein and J. Kramer and B. Nuseibeh}, Title = {Directions in Software Process Modelling and Technology}, BookTitle = {Software Process Modelling and Technology}, Editor = {A. Finkelstein, J. Kramer and B. Nuseibeh}, Publisher = {Research Studies Press and Wiley}, Theme = {sde}, Year = {1994} } @inproceedings{coordconflict, Author = {S. Easterbrook and A. Finkelstein and J. Kramer and B. Nuseibeh}, Title = {Coordinating Conflicting ViewPoints by Managing Inconsistency}, BookTitle = {Workshop on Conflict Management in Design, International Conference on Artificial Intelligence in Design}, Publisher = {ICAID}, Theme = {view}, Year = {1994} } @article{cera, Author = {S. Easterbrook and A. Finkelstein and J. Kramer and B. Nuseibeh}, Title = {Coordinating Distributed ViewPoints: The Anatomy of a Consistency Check}, Journal = {International Journal on Concurrent Engineering: Research & Applications}, Volume = {2}, Number = {3}, Pages = {209--222}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/cera.pdf}, Theme = {view}, Year = {1994} } @inproceedings{realprob, Author = {A. Finkelstein}, Title = {Is Application Development Focused on Real Problems}, BookTitle = {13th World Computer Congress 94}, Publisher = {Elsevier}, Volume = {3}, Pages = {448--450}, Theme = {se}, Year = {1994} } @inproceedings{recrse, Author = {A. Finkelstein}, Title = {A Course on Requirements Engineering}, BookTitle = {Dagstuhl Seminar on Systems Requirements Analysis - Management & Exploitation}, Publisher = {Schloss Dagstuhl Germany, October 4th-7th}, Theme = {educ}, Year = {1994} } @inproceedings{rereview, Author = {A. Finkelstein}, Title = {Requirements Engineering: a review and research agenda}, BookTitle = {1st Asian-Pacific Software Engineering Conference}, Publisher = {IEEE CS Press}, Pages = {10--19}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/rereview.pdf}, Theme = {re}, Year = {1994} } @article{tse94esec, Author = {A. Finkelstein and D. Gabbay and A. Hunter and J. Kramer and B. Nuseibeh}, Title = {Inconsistency Handling In Multi-Perspective Specifications}, Journal = {IEEE Transactions on Software Engineering}, Volume = {20}, Number = {8}, Pages = {569--578}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/tse94.esec.pdf}, Theme = {view}, Year = {1994} } @book{spmt, Editor = {A. Finkelstein and J. Kramer and B. Nuseibeh}, Title = {Software Process Modelling Technology}, Publisher = {Research Studies Press}, Theme = {sde}, Year = {1994} } @inproceedings{rtprob, Author = {O. Gotel and A. Finkelstein}, Title = {An Analysis of the Requirements Traceability Problem}, BookTitle = {1st International Conference on Requirements Engineering}, Publisher = {IEEE CS Press}, Pages = {94--101}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/rtprob.pdf}, Theme = {re}, Year = {1994} } @inproceedings{rtqual, Author = {O. Gotel and A. Finkelstein}, Title = {Modelling the Contribution Structure Underlying Requirements}, BookTitle = {1st International Workshop on Requirements Engineering: Foundations for Software Quality}, Publisher = {Auflage Aachen: Verlag der Augustinus Buchhandlung}, Pages = {71--81}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/rtqual.pdf}, Theme = {re}, Year = {1994} } @inproceedings{concurriee, Author = {B. Nuseibeh and A. Finkelstein and J. Kramer and S. Easterbrook}, Title = {Concurrent Software Engineering: Coordinating Distributed ViewPoints for Managing Inconsistency}, Publisher = {IEE}, Theme = {view}, Year = {1994} } @article{tse94icse, Author = {B. Nuseibeh and J. Kramer and A. Finkelstein}, Title = {A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification}, Journal = {IEEE Transactions on Software Engineering}, Volume = {20}, Number = {10}, Pages = {760--773}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/tse94.icse.pdf}, Theme = {view}, Year = {1994} } @inproceedings{descomposite, Author = {G. Avellis and A. Finkelstein}, Title = {Designing Composite Systems}, BookTitle = {Italian National Computing Conference (AICA 93), International Section, 22nd--24th September}, Publisher = {AICA}, Theme = {misc}, Year = {1993} } @article{shorteurcurricula, Author = {A. Finkelstein}, Title = {A Short Guide to European Computing Curricula}, Journal = {International Perspectives in Software Engineering}, Volume = {2}, Theme = {educ}, Year = {1993} } @article{eurcurricula, Author = {A. Finkelstein}, Title = {European Computing Curricula: a guide and comparative analysis}, Journal = {The Computer Journal}, Volume = {36}, Number = {4}, Pages = {299--319}, Theme = {educ}, Year = {1993} } @inproceedings{dra, Author = {A. Finkelstein and S. Easterbrook and J. Kramer and B. Nuseibeh}, Title = {Multi-view Requirements Engineering}, BookTitle = {DRA Colloquium on Analysis of Requirements for Software Intensive Systems}, Publisher = {Defence Research Agency}, Pages = {18--26}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/dra.pdf}, Theme = {re}, Year = {1993} } @incollection{esec, Author = {A. Finkelstein and D. Gabbay and A. Hunter and J. Kramer and B. Nuseibeh}, Title = {Inconsistency Handling In Multi-Perspective Specifications}, BookTitle = {Proceedings of 4th European Software Engineering Conference (ESEC 93)}, Series = {Lecture Notes in Computer Science}, Publisher = {Springer-Verlag}, Volume = {989}, Pages = {84--99}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/esec.pdf}, Theme = {view}, Year = {1993} } @article{integstudy, Author = {A. Finkelstein and J. Kramer and S. Abramsky and K. Broda and S. Drossopoulou and S. Eisenbach}, Title = {An Integrated Engineering Study Scheme in Computing}, Journal = {The Computer Journal}, Volume = {36}, Number = {4}, Pages = {320--334}, Theme = {educ}, Year = {1993} } @incollection{vodapps, Author = {A. Finkelstein and J. Kramer and B. Nuseibeh}, Title = {Viewpoint Oriented Development: applications in composite systems}, BookTitle = {Safety Critical Systems: current issues, techniques & standards}, Editor = {F. Redmill and T. Anderson}, Publisher = {Chapman and Hall}, Pages = {90--101}, Theme = {view}, Year = {1993} } @incollection{mintegoverview, Author = {J. Kramer and A. Finkelstein and B. Nuseibeh}, Title = {Method Integration and Support for Distributed Software Development: an overview}, BookTitle = {Studies of Software Design}, Series = {Lecture Notes in Computer Science}, Publisher = {Springer Verlag}, Volume = {1078}, Pages = {115--126}, Theme = {sde}, Year = {1993} } @inproceedings{media, Author = {S. Morris and A. Finkelstein}, Title = {Development of Multiple Media Documents}, BookTitle = {ACM Conference on Organisational Computing Systems}, Publisher = {ACM Press}, Pages = {69--77}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/media.pdf}, Theme = {misc}, Year = {1993} } @inproceedings{iwssd7, Author = {B. Nuseibeh and A. Finkelstein and J. Kramer}, Title = {Fine-Grain Process Modelling}, BookTitle = {7th International Workshop on Software Specification and Design (IWSSD-7)}, Publisher = {IEEE CS Press}, Pages = {42--46}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/iwssd7.pdf}, Theme = {sde}, Year = {1993} } @inproceedings{icse15, Author = {B. Nuseibeh and J. Kramer and A. Finkelstein}, Title = {Expressing the Relationships Between Multiple Views in Requirements Specification}, BookTitle = {15th International Conference on Software Engineering}, Publisher = {IEEE CS Press}, Pages = {187--196}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/icse15.pdf}, Theme = {view}, Year = {1993} } @inproceedings{reqelicitform, Author = {J. Castro and A. Finkelstein}, Title = {Requirements Elicitation and Formalization}, BookTitle = {XII Congress of the Brazilian Computer Society (XIX SEMISH)}, Publisher = {Brazilian Computer Society}, Pages = {15--30}, Theme = {re}, Year = {1992} } @incollection{write, Author = {A. Finkelstein}, Title = {Reviewing and Correcting Specifications}, BookTitle = {Computers & Writing: issues and implementations}, Editor = {M. Sharples}, Publisher = {Kluwer Academic Publishers}, Pages = {183--198}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/write.pdf}, Theme = {sde}, Year = {1992} } @article{manifesto, Author = {A. Finkelstein}, Title = {Software Process Modelling: a manifesto}, Journal = {IOPener}, Volume = {1}, Number = {4}, Pages = {3--7}, Theme = {sde}, Year = {1992} } @article{writejrnl, Author = {A. Finkelstein}, Title = {Reviewing and Correcting Specifications}, Journal = {Instructional Science}, Volume = {21}, Pages = {183--198}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/write.pdf}, Theme = {sde}, Year = {1992} } @inproceedings{education, Author = {A. Finkelstein}, Title = {An Advanced Course on Software Development Environments}, BookTitle = {2nd National Conference on Software Engineering in Higher Education}, Publisher = {SIHE}, Pages = {141--152}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/education.pdf}, Theme = {educ}, Year = {1992} } @article{immaturity, Author = {A. Finkelstein}, Title = {A Software Process Immaturity Model}, Journal = {SIGSOFT Software Engineering Notes}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/immaturity.pdf}, Theme = {sde}, Year = {1992} } @inproceedings{promodcritiee, Author = {A. Finkelstein and J. Kramer}, Title = {A Critical Evaluation of Software Process Modelling Techniques}, BookTitle = {IEE Colloquium on Process Planning and Modelling}, Publisher = {IEE, London}, Volume = {1992/018}, Theme = {sde}, Year = {1992} } @incollection{promodcrit, Author = {A. Finkelstein and J. Kramer and M. Hales}, Title = {Process Modelling: a critical analysis}, BookTitle = {Integrated Software Reuse: management and techniques}, Editor = {P. Walton and N. Maiden}, Publisher = {Chapman and Hall and UNICOM}, Pages = {137--148}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/promodcrit.pdf}, Theme = {sde}, Year = {1992} } @article{ijseke92, Author = {A. Finkelstein and J. Kramer and B. Nuseibeh and L. Finkelstein and M. Goedicke}, Title = {Viewpoints: a framework for integrating multiple perspectives in system development}, Journal = {International Journal of Software Engineering and Knowledge Engineering}, Volume = {2}, Number = {1}, Pages = {31--57}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/ijseke92.pdf}, Theme = {view}, Year = {1992} } @article{ttseed, Author = {A. Finkelstein and B. Nuseibeh and L. Finkelstein and J. Huang}, Title = {Technology Transfer: software engineering and engineering design}, Journal = {IEE Computing and Control Engineering Journal}, Volume = {3}, Number = {6}, Pages = {259--265}, Theme = {sys}, Year = {1992} } @article{measurement2, Author = {L. Finkelstein and J. Huang and A. Finkelstein and B. Nuseibeh}, Title = {Using Software Specification Methods for Measurement Instruments: Part II - Formal Methods}, Journal = {Measurement}, Volume = {10}, Number = {2}, Pages = {87--92}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/measurement2.pdf}, Theme = {sys}, Year = {1992} } @article{measurement1, Author = {L. Finkelstein and J. Huang and A. Finkelstein and B. Nuseibeh}, Title = {Using Software Specification Methods for Measurement Instruments: Part I - Structured Methods}, Journal = {Measurement}, Volume = {10}, Number = {2}, Pages = {79--86}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/measurement1.pdf}, Theme = {sys}, Year = {1992} } @article{hypertextart, Author = {S. Morris and A. Finkelstein}, Title = {An Experimental Hypertext Design Method and Applications in the Field of Art History}, Journal = {Computers and the History of Art}, Volume = {2}, Number = {2}, Pages = {45--63}, Theme = {misc}, Year = {1992} } @inproceedings{viewpointvehicle, Author = {B. Nuseibeh and A. Finkelstein}, Title = {Viewpoints: a vehicle for method and tool integration}, BookTitle = {5th International Workshop on CASE -- CASE 92}, Publisher = {IEEE CS Press}, Pages = {50--60}, Theme = {view}, Year = {1992} } @inproceedings{ieecoll, Author = {A. Finkelstein and J. Kramer and B. Nuseibeh}, Title = {A Viewpoint-based Framework for Software Development Environments}, BookTitle = {IEE Colloquium on Architectures for Distributed Development Support Environments}, Address= {London}, Publisher = {IEE}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/ieecoll.pdf}, Theme = {view}, Year = {1991 1991/162} } @inproceedings{civilprot, Author = {G. Attridge and A. Finkelstein and G. Phillips}, Title = {Application of Information Systems Modelling to Civil Protection Planning and Operations}, BookTitle = {Annual Conference of Scientific Advisers}, Publisher = {Home Office}, Theme = {misc}, Year = {1991} } @inproceedings{compwrite, Author = {A. Finkelstein}, Title = {Reviewing and Correcting Specifications}, BookTitle = {Computers & Writing IV}, Publisher = {Computers and Writing Association}, Pages = {219--237}, Theme = {sde}, Year = {1991} } @inproceedings{neat, Author = {A. Finkelstein}, Title = {A (Neat) Alphabet of Requirements Engineering Issues}, BookTitle = {3rd European Software Engineering Conference (LNCS 550}, Publisher = {Springer Verlag}, Pages = {489--492}, Theme = {re}, Year = {1991} } @inproceedings{studprobsseeduc, Author = {A. Finkelstein}, Title = {Student Problems in Software Engineering Education}, BookTitle = {IEE Colloquium on The Teaching of Software Engineering}, Address= {London}, Publisher = {IEE}, Volume = {1991/034}, Theme = {educ}, Year = {1991} } @inproceedings{tracing, Author = {A. Finkelstein}, Title = {Tracing Back from Requirements}, BookTitle = {IEE Colloquium on Tools & Techniques for Maintaining Traceability During Design}, Address= {London}, Publisher = {IEE}, Volume = {1991/180}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/tracing.pdf}, Theme = {re}, Year = {1991} } @incollection{vosdinre, Author = {A. Finkelstein and M. Goedicke and J. Kramer and C. Niskier}, Title = {ViewPoint Oriented Software Development: methods and viewpoints in requirements engineering}, BookTitle = {Algebraic Methods II: theory, tools and applications}, Editor = {J. Bergstra and L. Feijs}, Series = {Lecture Notes in Computer Science}, Publisher = {Springer Verlag}, Volume = {490}, Pages = {29--54}, Theme = {view}, Year = {1991} } @incollection{tara, Author = {A. Finkelstein and J. Kramer}, Title = {TARA: Tool Assisted Requirements Analysis}, BookTitle = {Conceptual Modelling, Databases and CASE: an integrated view of information systems development}, Editor = {P. Loucopoulos and R. Zicari}, Publisher = {John Wiley}, Pages = {413--432}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/tara.pdf}, Theme = {re}, Year = {1991} } @inproceedings{mengse, Author = {A. Finkelstein and J. Kramer}, Title = {An MEng Programme of Study in Software Engineering}, BookTitle = {1st National Conference on Software Engineering in Higher Education}, Publisher = {SIHE}, Pages = {128--151}, Theme = {educ}, Year = {1991} } @article{lifecycleep, Author = {L. Finkelstein and A. Finkelstein}, Title = {The Life Cycle of Engineering Products: an analysis of concepts}, Journal = {Engineering Management Journal}, Volume = {1}, Number = {3}, Pages = {115--121}, Theme = {sys}, Year = {1991} } @inproceedings{instrumentadvances, Author = {L. Finkelstein and A. Finkelstein}, Title = {Advances in the Automation of Instrument Systems Design}, BookTitle = {IMEKO XII}, Publisher = {International Academic Publishers}, Pages = {1293--1297}, Theme = {sys}, Year = {1991} } @inproceedings{socialknowledge, Author = {M. Fischer and A. Finkelstein}, Title = {A Case Study in Social Knowledge Representation}, BookTitle = {Using Computers in Qualitative Research}, Editor = {N. Fielding and R. Lee}, Publisher = {Sage Publications}, Theme = {misc}, Year = {1991} } @inproceedings{formalinformalteach, Author = {S. Gilmore and A. Finkelstein}, Title = {Teaching Formal and Informal Aspects of Software Engineering in a Unified Framework}, BookTitle = {1st National Conference on Software Engineering in Higher Education}, Publisher = {SIHE}, Pages = {117--127}, Theme = {educ}, Year = {1991} } @article{rerealtime, Author = {S. Goldsack and A. Finkelstein}, Title = {Requirements Engineering for Real-Time Systems}, Journal = {Software Engineering Journal}, Volume = {6}, Number = {3}, Pages = {101--115}, Theme = {re}, Year = {1991} } @inproceedings{spexample, Author = {M. Kellner and P. Feiler and A. Finkelstein and T. Katayama and L. Osterweil and M. Penedo and D. Rombach}, Title = {Software Process Example}, BookTitle = {1st International Conference on the Software Process}, Publisher = {IEEE CS Press}, Pages = {176--187}, Theme = {sde}, Year = {1991} } @incollection{case91, Author = {J. Kramer and A. Finkelstein}, Title = {A Configurable Framework for Method and Tool Integration}, BookTitle = {European Symposium on Software Development Environments & CASE Technology}, Editor = {A. Endres and H. Weber}, Series = {Lecture Notes in Computer Science}, Publisher = {Springer Verlag}, Volume = {509}, Pages = {233--257}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/case91.pdf}, Theme = {sde}, Year = {1991} } @incollection{hetero, Author = {A. Finkelstein}, Title = {Heterogeneous, Composite or Multi-paradigm System Development}, BookTitle = {Encyclopedia of Software Engineering}, Editor = {J. Marciniak}, Publisher = {John Wiley}, Theme = {se}, Year = {1990} } @inproceedings{eintl, Author = {A. Finkelstein and L. Finkelstein and T. Maibaum}, Title = {Engineering-in-the-Large: software engineering and instrumentation}, BookTitle = {UK IT '90}, Publisher = {Peter Peregrinus}, Pages = {1--8}, Theme = {sys}, Year = {1990} } @incollection{conversation, Author = {A. Finkelstein and H. Fuks}, Title = {Conversation Analysis and Specification}, BookTitle = {Computers and Conversation}, Editor = {P. Luff, N. Gilbert and D. Frohlich}, Publisher = {Academic Press}, Pages = {183--187}, Theme = {misc}, Year = {1990} } @inproceedings{vose90, Author = {A. Finkelstein and J. Kramer and M. Goedicke}, Title = {ViewPoint Oriented Software Development}, BookTitle = {of 3rd International Workshop Software Engineering and its Applications}, Publisher = {Cigref EC2}, Volume = {1}, Pages = {337--351}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/vose90.pdf}, Theme = {view}, Year = {1990} } @inproceedings{humanaction, Author = {A. Finkelstein and M. Tauber and R. Traunmuller}, Title = {Human Action in Information System Development}, BookTitle = {Human Factors in Information Systems Analysis and Design}, Editor = {A. Finkelstein, M. Tauber and R. Traunmuller}, Publisher = {North Holland}, Pages = {1--4}, Theme = {misc}, Year = {1990} } @book{humanfactors, Editor = {A. Finkelstein and M. Tauber and R. Traunmuller}, Title = {Human Factors in Information Systems Analysis and Design}, Publisher = {North Holland}, Theme = {misc}, Year = {1990} } @inproceedings{sei, Author = {J. Kramer and J. Magee and A. Finkelstein}, Title = {A Constructive Approach to the Design of Distributed Systems}, BookTitle = {10th International Conference on Distributed Computer Systems}, Publisher = {IEEE CS Press}, Pages = {580--587}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/sei.pdf}, Theme = {sa}, Year = {1990} } @article{marriage, Author = {A. Finkelstein and M. Fischer}, Title = {Arranging a Marriage in Pakistan and Legal Expert Systems}, Journal = {Computers and Law}, Number = {61}, Theme = {misc}, Year = {1989)} } @inproceedings{drowning, Author = {A. Finkelstein}, Title = {Not Waving but Drowning: representation schemes for modelling software development}, BookTitle = {11th International Conference on Software Engineering}, Publisher = {IEEE CS Press}, Pages = {402--404}, Theme = {sde}, Year = {1989} } @inproceedings{sdmexample, Author = {A. Finkelstein}, Title = {An Example of Software Development Modelling}, BookTitle = {5th Software Process Workshop}, Publisher = {IEEE CS Press}, Pages = {151--154}, Theme = {sde}, Year = {1989} } @inproceedings{structcoop, Author = {A. Finkelstein}, Title = {A Structural Framework for the Formal Representation of Cooperation}, BookTitle = {5th Software Process Workshop}, Publisher = {IEEE CS Press}, Pages = {61--64}, Theme = {sde}, Year = {1989} } @inproceedings{formalisre, Author = {A. Finkelstein and J. Hagelstein}, Title = {Formal Frameworks for Understanding Information System Requirements Engineering: a research agenda}, BookTitle = {IFIP CRIS Review Workshop}, Editor = {S. Nijssen and S. Twine}, Publisher = {North Holland}, Theme = {re}, Year = {1989} } @incollection{instrumentdesprinc, Author = {L. Finkelstein and A. Finkelstein}, Title = {Instruments and Instrument Systems: design principles}, BookTitle = {Systems and Control Encylopedia, IV}, Editor = {M. Singh}, Publisher = {Pergamon Press}, Pages = {2533--2536}, Theme = {sys}, Year = {1989} } @inproceedings{remtf, Author = {A. Finkelstein}, Title = {Requirements Engineering: methods, tools and frameworks}, BookTitle = {10th Workshop on Distributed Systems Architecture}, Editor = {M. B. T. i. Metody}, Publisher = {Biblioteka Informatyki Szkol Wyzszych}, Pages = {100--114}, Theme = {re}, Year = {1988} } @article{coopist, Author = {A. Finkelstein and H. Fuks}, Title = {A Cooperative Framework for Program Development}, Journal = {Information & Software Technology}, Volume = {30}, Number = {8}, Pages = {467--476}, Theme = {view}, Year = {1988} } @inproceedings{dialogic, Author = {A. Finkelstein and H. Fuks}, Title = {Constructing a Dialogic Framework for Software Development}, BookTitle = {4th Software Process Workshop}, Publisher = {IEEE CS Press}, Theme = {view}, Year = {1988} } @inproceedings{coopse, Author = {A. Finkelstein and H. Fuks}, Title = {A Cooperative Framework for Software Engineering}, BookTitle = {22nd Hawaii International Conference Systems Sciences}, Publisher = {IEEE CS Press}, Volume = {2}, Pages = {189--200}, Theme = {view}, Year = {1988} } @inproceedings{multi, Author = {A. Finkelstein and H. Fuks}, Title = {Multi-Party Specification}, BookTitle = {5th International Workshop on Software Specification & Design}, Publisher = {IEEE CS Press also as ACM Sigsoft Notes}, Pages = {185--195}, URL = {http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/multi.pdf}, Theme = {view}, Year = {1988} } @article{fundprincmi, Author = {L. Finkelstein and A. Finkelstein}, Title = {Fundamental Principles of Measurement and Instrumentation - Design Principles}, Journal = {Acta Polytechnica Scandinavica}, Volume = {EE 63}, Pages = {11--23}, Theme = {sys}, Year = {1988} } @article{methodologypol, Author = {L. Finkelstein and A. Finkelstein}, Title = {Przeglad Metodologii Projectowania}, Journal = {Projectwanie i Systemy}, Volume = {X}, Theme = {sys}, Year = {1988} } @inproceedings{caemarriage, Author = {M. Fischer and A. Finkelstein}, Title = {Computer Assisted Ethnography - Arranging a Marriage in Pakistan}, BookTitle = {American Association of Anthropologists}, Address= {Phoenix}, Publisher = {American Association of Anthropologists}, Theme = {misc}, Year = {1988} } @article{reqreuse, Author = {A. Finkelstein}, Title = {Reuse of Formatted Specifications}, Journal = {Software Engineering Journal}, Volume = {3}, Number = {5}, Pages = {186--197}, Theme = {re}, Year = {1987} } @inproceedings{formresystematically, Author = {A. Finkelstein and C. Potts}, Title = {Formalising Requirements Systematically}, BookTitle = {Informationsbedarfs-ermittlung und - analyse fŸr den Entwurf von Informationssytemen}, Series= {Fachtagung EMISA}, Publisher = {Springer-Verlag Informatik Fachberichte 143}, Pages = {44--58}, Theme = {re}, Year = {1987} } @inproceedings{formalscs, Author = {A. Finkelstein and C. Potts}, Title = {Building Formal Specifications using Structured Common Sense}, BookTitle = {4th International Workshop Software Specification and Design}, Publisher = {IEEE CS Press}, Pages = {108--114}, Theme = {re}, Year = {1987} } @inproceedings{forest, Author = {R. Cunningham and A. Finkelstein}, Title = {Formal Requirements Specification: the FOREST project}, BookTitle = {3rd International Workshop Software Specification and Design}, Publisher = {IEEE CS Press}, Pages = {186--192}, Theme = {re}, Year = {1986} } @inproceedings{specsdo, Author = {A. Finkelstein}, Title = {Making Specifications Dynamic Objects}, BookTitle = {3rd Software Process Workshop}, Publisher = {IEEE CS Press}, Theme = {sde}, Year = {1986} } @inproceedings{scs, Author = {A. Finkelstein and C. Potts}, Title = {Structured Common Sense: the elicitation and formalisation of system requirements}, BookTitle = {SE 86}, Editor = {D. Barnes and P. Brown}, Publisher = {Peter Peregrinus}, Pages = {236--250}, Theme = {re}, Year = {1986} } @inproceedings{formrsrtes, Author = {A. Finkelstein and C. Potts}, Title = {Formal Requirements Specification of Real-time Embedded Systems}, BookTitle = {INTERKAMA}, Editor = {M. Thoma and P. Schmidt}, Publisher = {Springer--Verlag}, Volume = {FMSR 14}, Pages = {346--353}, Theme = {re}, Year = {1986} } @inproceedings{idareview, Author = {A. Finkelstein and L. Finkelstein}, Title = {A Review of Instrument System Design Automation}, BookTitle = {Proc.10th IMEKO}, Publisher = {Omnikk--Technoinform}, Volume = {2}, Pages = {79--85}, Theme = {sys}, Year = {1985} } @article{methodology, Author = {A. Finkelstein and L. Finkelstein}, Title = {Review of Design Methodology}, Journal = {Proc. IEE Part A}, Volume = {130}, Number = {4}, Pages = {213--222}, Theme = {sys}, Year = {1983} } @phdthesis{Ros88:DesignAnd, author = {D. Rosenblum}, title = {Design and Verification of Distributed Tasking Supervisors for Concurrent Programming Languages}, school = {Stanford University}, year = {1988}, url = {http://www.cs.ucl.ac.uk/staff/D.Rosenblum/Publications/dissertation.html}, theme = {dsa}, } @article{HRR+01:Empirical, author = {M.J. Harrold and D. Rosenblum and G. Rothermel and E. Weyuker}, title = {Empirical Studies of a Prediction Model for Regression Test Selection}, journal = {IEEE Transactions on Software Engineering}, volume = {27}, number = {3}, pages = {248-263}, year = {2001}, month = {mar}, url = {http://www.cs.ucl.ac.uk/staff/D.Rosenblum/Publications/ieeetse0103.pdf}, theme = {vv}, } @article{CRW01:Siena, author = {A. Carzaniga and D. Rosenblum and A. Wolf}, title = {Design and Evaluation of a Wide Area Event Notification Service}, journal = {ACM Transactions on Computer Systems}, volume = {19}, number = {3}, pages = {332-383}, year = {2001}, url = {http://www.cs.ucl.ac.uk/staff/D.Rosenblum/Publications/acmtocs0108.pdf}, month = {aug}, theme = {dsa}, } @article{BRR01:AComparative, author = {J. Bible and G. Rothermel and D. Rosenblum}, title = {A Comparative Study of Coarse- and Fine-Grained Safe Regression Test Selection Techniques}, journal = {ACM Transactions on Software Engineering and Methodology}, volume = {10}, number = {2}, pages = {149-183}, year = {2001}, month = {apr}, url = {http://www.cs.ucl.ac.uk/staff/D.Rosenblum/Publications/acmtosem0104.pdf}, theme = {vv}, } @article{MRR+02:Modeling, author = {N. Medvidovic and D. Rosenblum and D. Redmiles and J. Robbins}, title = {Modeling Software Architectures in the Unified Modeling Language}, journal = {ACM Transactions on Software Engineering and Methodology}, volume = {11}, number = {1}, pages = {2-57}, note = {English}, year = {2002}, month = {jan}, url = {http://www.cs.ucl.ac.uk/staff/D.Rosenblum/Publications/acmtosem0201.pdf}, theme = {dsa}, } @inproceedings{OHR+02:UsingComponent, author = {A. Orso and M.J. Harrold and D. Rosenblum and G. Rothermel and M.L. Soffa and H. Do}, title = {Using Component Metacontent to Support the Regression Testing of Component-Based Software}, booktitle = {Proc. IEEE International Conference on Software Maintenance 2001}, address = {Florence, Italy}, publisher = {IEEE Computer Society Press}, pages = {716-725}, year = {2001}, month = {nov}, url = {http://www.cs.ucl.ac.uk/staff/D.Rosenblum/Publications/icsm2001.pdf}, theme = {vv}, } @inproceedings{LR01:UML, author = {C. Lueer and D. Rosenblum}, title = {UML Component Diagrams and Software Architecture - Experiences from the Wren Project}, booktitle = {Proc. 1st ICSE Workshop on Describing Software Architecture with UML}, address = {Toronto, Ontario}, pages = {134-137}, year = {2001}, month = {may}, theme = {dsa}, } @inproceedings{LRH01:Evolution, author = {C. Lueer and D. Rosenblum and A. van der Hoek}, title = {The Evolution of Software Evolvability}, booktitle = {Proc. 4th International Workshop on Principles of Software Evolution}, series = {International Workshop on Principles of Software Evolution (IWPSE)}, address = {Vienna, Austria}, publisher = {Association for Computing Machinery}, pages = {134-137}, year = {2001}, month = {sep}, theme = {misc}, } @inproceedings{LR01:Wren, author = {C. Lueer and D. Rosenblum}, title = { Wren -An Environment for Component-Based Development}, booktitle = {Proc. Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering}, address = {Vienna, Austria}, publisher = {ACM Press}, pages = {207-217}, year = {2001}, month = {sep}, url = {http://www.cs.ucl.ac.uk/staff/D.Rosenblum/Publications/esec2001.pdf}, theme = {sde}, } @article{Ros03:Technology, author = {D. Rosenblum}, title = {Technology Update: Real-Time Delivery Gets Efficiency Boost}, journal = {Network World}, volume = {20}, number = {19}, pages = {37}, month = {12 May}, note = {invited contribution, also published online in Network World Fusion}, year = {2003}, theme = {dsa}, } @Proceedings{RE04:ICSE26, title = {Proc. of the $26^{th}$ Int. Conference on Software Engineering, Edinburgh, UK}, year = {2004}, editor = {D.~S.~Rosenblum and J.~Estublier}, month = MAY, publisher = {IEEE Computer Society Press}, theme = {se} } @inproceedings{RRE04:AModel, author = {G. Rodrigues and D. Rosenblum and W. Emmerich}, title = {A Model Driven Approach for Software Systems Reliability}, booktitle = {Proc. of the 26th Int. Conference on Software Engineering, Edinburgh, UK}, year = {2004}, month = MAY, pages = {30-32}, publisher = {IEEE Computer Society Press}, url = {http://www.cs.ucl.ac.uk/staff/G.NunesRodrigues/phd/publications/icse04/abstract.htm}, theme = {dsa}, } @incollection{RRU05:UsingScenarios, author = {G. Rodrigues and D. Rosenblum and S. Uchitel}, title = {Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems}, booktitle = {Fundamental Approaches to Software Engineering - FASE 2005}, editor = {M. Cerioli}, pages = {111-126}, year = {2005}, series = {Lecture Notes in Computer Science}, volume = {3442}, month = {APR}, publisher = {Springer}, theme = {doc}, url = {http://www.cs.ucl.ac.uk/staff/g.nunesrodrigues/phd/publications/ETAPS/abstract.htm}, doi = {10.1007/b107062} } @inproceedings{RRU05:Sensitivity, author = {G. Rodrigues and D. Rosenblum and S. Uchitel}, title = {Sensitivity Analysis for a Scenario-Based Reliability Prediction Model}, booktitle = {Proc. ICSE 2005 Workshop on Architecting Dependable Systems, St. Louis, MO, USA}, year = {2005}, url = {http://www.cs.ucl.ac.uk/staff/D.Rosenblum/Publications/wads2005.pdf}, theme = {dsa}, } @incollection{RRU05:Reliability, author = {G. Rodrigues and D. Rosenblum and S. Uchitel}, title = {Reliability Prediction in Model Driven Development}, booktitle = {Proc. of the 8th Int. Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica}, pages = {339-354}, publisher = {Springer}, year = {2005}, editor = {L. Briand and C. Williams}, volume = {3713}, series = {Lecture Notes in Computer Science}, month = {OCT}, url = {http://www.cs.ucl.ac.uk/staff/D.Rosenblum/Publications/models2005.pdf}, theme = {dsa}, }