Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Divisions: SoSyM: Software and Systems Modeling Team

Number of items at this level: 23.

Lano, K (2007) A Compositional Semantics of UML-RSDS. Software and Systems Modelling . (In Press)

Clark, D and Hunt, S and Malacaria, P (2007) A Static Analysis for Quantifying the Information Flow in a Simple Imperative Language. Journal of Computer Security, 15 (3). pp. 321-371.

Lano, K (2007) Constraint Driven Development. Information and Software Technology . (In Press)

Lano, K and Clark, D (2007) Direct Semantics of Extended State Machines. Journal of Object Technology, 6 (9). pp. 35-51.

Lano, K (2007) Formal Specification using Interaction Diagrams. In: SEFM 2007: 5th IEEE International Conference on Software Engineering and Formal Methods.

Lano, K (2007) Formalising Design Patterns as Model Transformations. In: Design Patterns Formalization Techniques. IGI Press.

Lano, K and Androutsopolous, K (2006) Automated synthesis of high-integrity systems using model-driven development. In: 5th International Workshop CSDUML.

Lano, K and Androutsopolous, K and Clark, D (2006) Concurrency Specification in UML-RSDS. In: MARTES '06, MODELS Conference.

Lano, K and Fiadeiro, J (2006) Extending UML with Coordination Contracts. Software and Systems Modelling, 5 (2).

Clark, David and Hunt, Sebastian and Malacaria, Pasquale (2005) Quantified Interference for a While Language. Electronic Notes in Theoretical Computer Science, 112 . pp. 149-166.

Lano, K (2005) Advanced System Design using Java, UML and MDA. Elsevier.

Clark, David and Hunt, Sebastian and Malacaria, Pasquale (2005) Quantitative Information Flow, Relations and Polymorphic Types. Journal of Logic and Computation, 15 (2). pp. 181-199.

Clark, David and Hunt, Sebastian and Malacaria, Pasquale (2004) Quantified Interference: Information Theory and Information Flow. In: Workshop on Issues in the Theory of Security, April 3-4 2004, Barcelona.

Lano, K and Clark, D and Androutsopolous, K (2004) UML to B: formal verification of object-oriented models. In: Integrated Formal Methods: 4th International Conference, IFM 2004.

Lano, K and Androutsopoulos, K and Clark, D (2003) Formal Specification and Verification of Railway Systems using UML. In: FORMS 2003.

Lano, K and Clark, D and Androutsopoulos, K (2003) RSDS: A Subset of UML with Precise Semantics. L'Objet, 9 (4). pp. 53-73.

Lano, K and Clark, D and Androutsopoulos, K (2002) Formalising Inter-model Consistency of the UML. In: UML '02 Workshop on Consistency of UML Models.

Lano, K and Clark, D and Androutsopolous, K (2002) From implicit specifications to explicit designs in reactive system development. In: Integrated Formal Methods, Third International Conference, IFM 2002.

Clark, David and Hunt, Sebastian and Hankin, Chris (2002) Information Flow for ALGOL-like Languages. Computer Languages, 28 (1). pp. 3-28.

Clark, David and Hunt, Sebastian and Malacaria, Pasquale (2002) Quantified Analysis of the Leakage of Confidential Data. Electronic Notes in Theoretical Computer Science, 59 (3). pp. 1-14.

Lano, K and Androutsopolous, K and Clark, D (2002) Safety and Security Analysis of Object-oriented Models. In: SAFECOMP 2002, York, UK.

Lano, K and Fiadeiro, J and Andrade, L (2002) Software Design using Java 2. Palgrave Macmillan.

Lano, K and Clark, D and Androutsopolous, K and Kan, P (2000) Invariant-based synthesis of fault-tolerant systems. In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium.

This list was generated on Sat Nov 29 04:04:00 2014 GMT.