The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kevin Lano: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
    Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. [Citation Graph (1, 0)][DBLP]
    ECOOP, 1997, pp:324-343 [Conf]
  2. Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe
    The UML as a Formal Modeling Notation. [Citation Graph (1, 0)][DBLP]
    UML, 1998, pp:336-348 [Conf]
  3. Kevin Lano
    Enhancing Object-Oriented Methods with Formal Notations. [Citation Graph (1, 0)][DBLP]
    TAPOS, 1996, v:2, n:4, pp:247-268 [Journal]
  4. Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
    Towards a compositional interpretation of object diagrams. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:187-211 [Conf]
  5. Kevin Lano, Howard P. Haughton
    An Algebraic Semantics for the Specification Language Z++. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:478-493 [Conf]
  6. T. S. E. Maibaum, Pauline Kan, Kevin Lano
    Systematising Reactive System Design. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:17-22 [Conf]
  7. S. J. Goldsack, Kevin Lano, Eugène Dürr
    Specification and Refinement of Continuous Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:310-324 [Conf]
  8. Kevin Lano, Ana Sánchez
    Transformational Formal Development of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:184-198 [Conf]
  9. Kevin Lano, Howard P. Haughton
    Reasoning and Refinement in Object-Oriented Specification Languages. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1992, pp:78-97 [Conf]
  10. Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
    Formalizing Object-Oriented Models in the Object Calculus. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1997, pp:155-160 [Conf]
  11. Kevin Lano, S. J. Goldsack
    Formalizing Real-Time System Design. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1997, pp:436-445 [Conf]
  12. Kevin Lano
    A Constraint-Based Fuzzy Inference System. [Citation Graph (0, 0)][DBLP]
    EPIA, 1991, pp:45-59 [Conf]
  13. Kevin Lano, Kelly Androutsopoulos, David Clark
    Structuring and Design of Reactive Systems Using RSDS and B. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:97-111 [Conf]
  14. Kevin Lano, Andy Evans
    Rigorous Development in UML. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:129-144 [Conf]
  15. Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes
    Specification of Required Non-determinism. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:298-317 [Conf]
  16. Kevin Lano, Ana Sánchez
    Design of Reactive Control Systems for Event-Drivem Operations. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:142-161 [Conf]
  17. Kevin Lano
    Distributed System Specification in VDM++. [Citation Graph (0, 0)][DBLP]
    FORTE, 1995, pp:23-38 [Conf]
  18. Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan
    Invariant-Based Synthesis of Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:46-57 [Conf]
  19. Kevin Lano, Runa Jesmin
    Generating Accessible and Usable Internet Systems. [Citation Graph (0, 0)][DBLP]
    ICWI, 2004, pp:75-82 [Conf]
  20. Kevin Lano, S. J. Goldsack
    Discrete event process controller synthesis using VDM/sup ++/. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:129-136 [Conf]
  21. Kevin Lano, Kelly Androutsopoulos, Pauline Kan
    Structuring Reactive Systems in B AMN. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:25-34 [Conf]
  22. Kevin Lano, Kelly Androutsopoulos
    Reactive System Refinement of Distributed Systems in B. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:415-434 [Conf]
  23. Kevin Lano, David Clark, Kelly Androutsopoulos
    From Implicit Specifications to Explicit Designs in Reactive System Development. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:49-68 [Conf]
  24. Kevin Lano, David Clark, Kelly Androutsopoulos
    UML to B: Formal Verification of Object-Oriented Models. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:187-206 [Conf]
  25. Kevin Lano, S. J. Goldsack
    Refinement, Subtyping and Subclassing in VDM++. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:341-363 [Conf]
  26. N. Malik, Kevin Lano
    A Formal Approach to Design Patterns in Re-Engineering. [Citation Graph (0, 0)][DBLP]
    IWFM, 1997, pp:- [Conf]
  27. Kevin Lano
    Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:258-268 [Conf]
  28. Kevin Lano, Juan Bicarregui, Andy Evans
    Structured Axiomatic Semantics for UML Models. [Citation Graph (0, 0)][DBLP]
    Rigorous Object-Oriented Methods, 2000, pp:- [Conf]
  29. Kevin Lano, David Clark, Kelly Androutsopoulos
    Safety and Security Analysis of Object-Oriented Models. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:82-93 [Conf]
  30. Kevin Lano, Pauline Kan, Ana Sánchez
    Linking Hazard Analysis to Formal Specification and Design in B. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1998, pp:60-74 [Conf]
  31. Runa Jesmin, Kevin Lano
    Internet System Design for the Disabled Net. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2003, pp:956-962 [Conf]
  32. Kevin Lano
    Reactive System Specification and Refinement. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:696-710 [Conf]
  33. Kevin Lano, Juan Bicarregui
    Semantics and Transformations for UML Models. [Citation Graph (0, 0)][DBLP]
    UML, 1998, pp:107-119 [Conf]
  34. Kevin Lano, Howard P. Haughton
    Integrating Formal and Structured Methods in Reverse Engineering. [Citation Graph (0, 0)][DBLP]
    WCRE, 1993, pp:17-26 [Conf]
  35. Kevin Lano
    Z++, An Object-orientated Extension to Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:151-172 [Conf]
  36. Kevin Lano
    Z++. [Citation Graph (0, 0)][DBLP]
    Object Orientation in Z, 1992, pp:105-112 [Conf]
  37. Kevin Lano
    Specifying Reactive Systems in B AMN. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:242-274 [Conf]
  38. Kevin Lano, S. J. Goldsack, Juan Bicarregui, Stuart Kent
    Integrating VDM++ and Real-Time System Design. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:188-219 [Conf]
  39. Kevin Lano, Howard P. Haughton
    Reuse and Adaptation of Z Specifications. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:62-90 [Conf]
  40. Kevin Lano, Pauline Kan, Ana Sánchez
    Compositional Specification of Controllers for Batch Process Operations. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:250-264 [Conf]
  41. Kevin Lano
    Object-Oriented Specification Techniques. [Citation Graph (0, 0)][DBLP]
    TOOLS (7), 1992, pp:403- [Conf]
  42. S. J. Goldsack, Kevin Lano
    Models Involving Multiple Instances of a Component. [Citation Graph (0, 0)][DBLP]
    LMO, 1999, pp:245-260 [Conf]
  43. Kevin Lano
    The Intuitionistic Alternative Set Theory. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1993, v:59, n:2, pp:141-156 [Journal]
  44. Kevin Lano, N. Malik
    Mapping Procedural Patterns to Object-Oriented Design Patterns. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:3, pp:265-289 [Journal]
  45. Kevin Lano, Robert B. France, Jean-Michel Bruel
    A Semantic Comparison of Fusion and Syntropy. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2000, v:43, n:6, pp:451-468 [Journal]
  46. Kevin Lano, Kelly Androutsopoulos, David Clark
    Refinement Patterns for UML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:131-149 [Journal]
  47. Juan Bicarregui, D. L. Clutterbuck, Gavin R. Finnie, Howard P. Haughton, Kevin Lano, H. Lesan, D. W. R. M. Marsh, B. M. Matthews, Michael R. Moulding, A. Richard Newton, Brian Ritchie, T. G. A. Rushton, P. N. Scharbach
    Formal methods into practice: case studies in the application of the B method. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 1997, v:144, n:2, pp:119-133 [Journal]
  48. Kevin Lano
    Intuitionistic Modal Logic and Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:497-516 [Journal]
  49. Kevin Lano
    Logical Specification of Reactive and Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:5, pp:679-711 [Journal]
  50. S. J. Goldsack, Kevin Lano, Eugène Dürr
    Annealing and Data Decomposition in VDM++. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1996, v:31, n:4, pp:32-38 [Journal]
  51. Kevin Lano
    Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2001, v:11, n:1, pp:55- [Journal]
  52. Kevin Lano
    Transformational Program Analysis. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1994, v:4, n:3, pp:155-189 [Journal]
  53. Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano
    A light-weight static approach to analyzing UML behavioral properties. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:56-63 [Conf]

  54. Semantics and Refinement of Behavior State Machines. [Citation Graph (, )][DBLP]


  55. Slicing of UML Models Using Model Transformations. [Citation Graph (, )][DBLP]


  56. Model Transformation Specification and Verification. [Citation Graph (, )][DBLP]


  57. RSDS, a Subset of UML with Precise Semantics. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002