default search action

combined dblp search
author search
venue search
publication search

ask others

16th Monterey Workshop 2010: Redmond, WA, USA

> 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/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/2010
Radu Calinescu, Ethan K. Jackson:
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6662, Springer 2011, ISBN 978-3-642-21291-8
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/VassevH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/VassevH10
Emil Vassev, Mike Hinchey:
Software Verification of Autonomic Systems Developed with ASSL. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/GronnigerR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/GronnigerR10
Hans Grönniger, Bernhard Rumpe:
Modeling Language Variability. 17-32
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/KangJS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/KangJS10
Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte:
An Approach for Effective Design Space Exploration. 33-54
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/ResmeritaBDNP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/ResmeritaBDNP10
Stefan Resmerita, Kenneth R. Butts, Patricia Derler, Andreas Naderlinger, Wolfgang Pree:
Migration of Legacy Software Towards Correct-by-Construction Timing Behavior. 55-76
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/KadirvelF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/KadirvelF10
Selvi Kadirvel, José A. B. Fortes:
Towards IT Systems Capable of Managing Their Health. 77-102
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/BaarirHKR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/BaarirHKR10
Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault:
Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. 103-121
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/CalinescuK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/CalinescuK10
Radu Calinescu, Shinji Kikuchi:
Formal Methods @ Runtime. 122-135
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/LakosP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/LakosP10
Charles Lakos, Laure Petrucci:
Modular State Spaces for Prioritised Petri Nets. 136-156
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/ReggioARL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/ReggioARL10
Gianna Reggio, Egidio Astesiano, Filippo Ricca, Maurizio Leotta:
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation. 157-175
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/Haxthausen10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/Haxthausen10
Anne E. Haxthausen:
Towards a Framework for Modelling and Verification of Relay Interlocking Systems. 176-192
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/Lange10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/Lange10
Douglas S. Lange:
Trust Of, In, and among Adaptive Systems. 193-205
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/WassyngMLB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/WassyngMLB10
Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer:
Software Certification: Is There a Case against Safety Cases? 206-227
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/LuqiJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/LuqiJ10
Luqi, Grant A. Jacoby:
Testing Adaptive Probabilistic Software Components in Cyber Systems. 228-238

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.