default search action

combined dblp search
author search
venue search
publication search

ask others

17th Monterey Workshop 2012: Oxford, UK

> Home > Conferences and Workshops > Monterey Workshop

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/monterey/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/2012
Radu Calinescu, David Garlan:
Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7539, Springer 2012, ISBN 978-3-642-34058-1

Challenges of Large-Scale Complex IT Systems

- view
  authority control:
- export record
  dblp key:
  - conf/monterey/BroyCG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/BroyCG12
Manfred Broy, María Victoria Cengarle, Eva Geisberger:
Cyber-Physical Systems: Imminent Challenges. 1-28
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/CliffN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/CliffN12
Dave Cliff, Linda M. Northrop:
The Global Financial Markets: An Ultra-Large-Scale Systems Perspective. 29-70
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/Keen12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/Keen12
Justin Keen:
What Is a Care Pathway? 71-80
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/LangeVGRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/LangeVGRS12
Douglas S. Lange, Phillip Verbancsics, Robert S. Gutzwiller, John Reeder, Cullen Sarles:
Command and Control of Teams of Autonomous Systems. 81-93
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/McDermid12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/McDermid12
John Alexander McDermid:
The Risks of LSCITS: The Odds Are Stacked against Us. 94-117

Model-Driven Engineering

- view
  authority control:
- export record
  dblp key:
  - conf/monterey/AutiliCRIPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/AutiliCRIPT12
Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli:
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space. 118-131
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/ChenR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/ChenR12
Bangdao Chen, A. W. Roscoe:
Social Networks for Importing and Exporting Security. 132-147
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/FaleiroRRRV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/FaleiroRRRV12
Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani:
CScale - A Programming Model for Scalable and Reliable Distributed Applications. 148-156
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/GarlanDRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/GarlanDRS12
David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley R. Schmerl:
Foundations and Tools for End-User Architecting. 157-182
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/HaberRRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/HaberRRS12
Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Evolving Delta-Oriented Software Product Line Architectures. 183-208
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/HanxledenLMF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/HanxledenLMF12
Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann:
Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems. 209-223
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/HennickerL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/HennickerL12
Rolf Hennicker, Matthias Ludwig:
View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling. 224-250
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/PaigeBGPBP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/PaigeBGPBP12
Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher Power, Frank R. Burton, Simon M. Poulding:
Revealing Complexity through Domain-Specific Modelling and Analysis. 251-265
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/SommervilleLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/SommervilleLS12
Ian Sommerville, Russell Lock, Tim Storer:
Information Requirements for Enterprise Systems. 266-282

Formal Specification, Analysis and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/monterey/AndreKOP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/AndreKOP12
Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci:
A Counterexample-Based Incremental and Modular Verification Approach. 283-302
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/CalinescuKJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/CalinescuKJ12
Radu Calinescu, Shinji Kikuchi, Kenneth Johnson:
Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems. 303-329
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/ColangeHKP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/ColangeHKP12
Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto:
Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach. 330-352
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/DragerK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/DragerK12
Klaus Dräger, Marta Z. Kwiatkowska:
Towards Communication-Based Steering of Complex Distributed Systems. 353-368
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/Ghezzi12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/Ghezzi12
Carlo Ghezzi:
Evolution, Adaptation, and the Quest for Incrementality. 369-379
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/HenzingerN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/HenzingerN12
Thomas A. Henzinger, Dejan Nickovic:
Independent Implementability of Viewpoints. 380-395
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/JacksonS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/JacksonS12
Ethan K. Jackson, Wolfram Schulte:
Understanding Specification Languages through Their Model Theory. 396-415

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.