King's College London

Research portal

Software Modelling and Applied Logic

Organisational unit: Research Group

YearTypeCountFull text
2018Show types2134
Other contribution12
Conference paper11
Conference article1
Article716
Conference paper912
Chapter23
2017Show types3552
Pre-print11
Editorial2
Conference paper12
Article919
Conference paper2129
Chapter11
2016Show types3561
Editorial11
Conference paper49
Article918
Conference paper1728
Chapter34
Anthology11
2015Show types3949
Conference paper12
Article1219
Conference paper2224
Chapter33
Book11
2014Show types4342
Editorial11
Article1413
Poster abstract1
Foreword/postscript11
Conference paper2122
Chapter55
2013Show types3222
Conference paper11
Article87
Poster abstract2
Foreword/postscript11
Conference paper1712
Chapter31
2012Show types1514
Editorial11
Article46
Poster abstract1
Meeting abstract11
Conference paper75
Chapter11
2011Show types2923
Article77
Conference paper1311
Chapter73
Report22
2010Show types3623
Working paper2
Conference paper3
Article75
Other chapter contribution1
Conference paper1713
Chapter45
Commissioned report1
Book1
2009Show types2918
Special issue12
Editorial22
Conference paper21
Article98
Other chapter contribution22
Conference paper92
Chapter21
Book2
2008Show types4027
Letter11
Editorial22
Conference paper11
Article1210
Other chapter contribution11
Meeting abstract1
Conference paper169
Chapter32
Commissioned report21
Book1
2007Show types3313
Editorial11
Conference paper62
Article96
Other chapter contribution1
Conference paper154
Chapter1
2006Show types207
Editorial11
Conference paper1
Article22
Other chapter contribution3
Conference paper114
Chapter2
2005Show types178
Editorial21
Article75
Conference paper42
Chapter2
Book2
2004Show types246
Article2
Meeting abstract1
Conference paper175
Chapter2
Commissioned report21
2003Show types2010
Article66
Conference paper103
Chapter2
Commissioned report11
Book1
2002Show types136
Article34
Conference paper82
Chapter1
Book1
2001Show types81
Article11
Entry in encyclopedia/dictionary1
Conference paper6
2000Show types142
Article61
Conference paper71
Chapter1
1999Show types1
Conference paper1
1998Show types11
Article11
1997Show types1
Conference paper1
1996Show types31
Conference paper31
1995Show types1
Conference paper1
1994Show types1
Conference paper1
  1. Accepted/In press

    Timed Vacuity

    Chockler, H., Guha, S. & Kupferman, O. 15 Jul 2018 (Accepted/In press) International Symposium on Formal Methods. Springer, (LNCS)

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  2. Automated and Efficient Analysis of Administrative Temporal RBAC Policies with Role Hierarchies

    Ranise, S., Truong, A. & Vigano, L. 13 Jul 2018 In : Journal of Computer Security. p. 423-458 35 p.

    Research output: Contribution to journalArticle

  3. Accepted/In press

    Strategic Port Graph Rewriting: An Interactive Modelling Framework

    Fernandez, M. I., Kirchner, H. & Pinaud, B. 26 Jun 2018 (Accepted/In press) In : MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE.

    Research output: Contribution to journalArticle

  4. Accepted/In press

    MobSTer: A Model-based Security Testing Framework for Web Applications

    Peroli, M., De Meo, F., Vigano, L. & Guardini, D. 18 Jun 2018 (Accepted/In press) In : SOFTWARE TESTING VERIFICATION AND RELIABILITY. 40 p.

    Research output: Contribution to journalArticle

  5. Accepted/In press

    A Formal Approach to Analyzing Cyber-Forensics Evidence

    Karafili, E., Cristani, M. & Vigano, L. 15 Jun 2018 (Accepted/In press) 23rd European Symposium on Research in Computer Security ( ESORICS). Springer‐Verlag Berlin Heidelberg, 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  6. Technical Debt in Model Transformation Specifications

    Lano, K. C. & Alfraihi, H. A. A. 1 Jun 2018 In : Lecture Notes in Computer Science.

    Research output: Contribution to journalConference paper

  7. A survey of model transformation design patterns in practice

    Lano, K., Kolahdouz-Rahimi, S., Yassipour-Tehrani, S. & Sharbaf, M. Jun 2018 In : Journal of Systems and Software. 140, p. 48-73 26 p.

    Research output: Contribution to journalArticle

  8. Accepted/In press

    Explainable Security

    Vigano, L. & Magazzeni, D. 30 May 2018 (Accepted/In press) IJCAI/ECAI 2018 Workshop on Explainable Artificial Intelligence (XAI). 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  9. Nominal essential intersection types

    Ayala-Rincón, M., Fernández, M., Rocha-Oliveira, A. C. & Ventura, D. L. 7 May 2018 In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  10. Labelled Graph Strategic Rewriting for Social Networks

    Fernandez, M. I., Kirchner, H., Pinaud, B. & Vallet, J. Apr 2018 In : JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING. p. 12–40

    Research output: Contribution to journalArticle

  11. Gnirut: The Trouble With Being Born Human In An Autonomous World

    Vigano, L. & Sempreboni, D. 21 Feb 2018 WWW ’18 Companion: The 2018 Web Conference Companion, April 23–27, 2018, Lyon, France.. ACM Press, 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  12. Accepted/In press

    MMM: May I Mine Your Mind?

    Sempreboni, D. & Vigano, L. 21 Feb 2018 (Accepted/In press) WWW ’18 Companion: The 2018 Web Conference Companion, April 23–27, 2018, Lyon, France. ACM Press, 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  13. Attributed hierarchical port graphs and applications

    Ene, N. C., Fernández, M. & Pinaud, B. 16 Feb 2018 In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 265, p. 2-19 18 p.

    Research output: Contribution to journalConference article

  14. Typed Nominal Rewriting

    Fairweather, E. P. M. & Fernandez, M. I. 1 Feb 2018 In : ACM Transactions on Computational Logic. 19, 1

    Research output: Contribution to journalArticle

  15. Accepted/In press

    Combining Experts’ Causal Judgments

    Alrajeh, D., Chockler, H. & Halpern, J. Y. Feb 2018 (Accepted/In press) The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18). AAAI Press

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  16. Accepted/In press

    Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience

    Sciarretta, G., Carbone, R., Ranise, S. & Vigano, L. 26 Jan 2018 (Accepted/In press) 7th International Conference on Principles of Security and Trust, POST 2018. Springer‐Verlag Berlin Heidelberg, 25 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  17. Modularity for automated assessment: A design-space exploration

    Zschaler, S., White, S., Hodgetts, K. & Chapman, M. 1 Jan 2018 CEUR Workshop Proceedings. Vol. 2066, p. 57-61 5 p. (CEUR Workshop Proceedings)

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  18. Accepted/In press

    An Investigation into Reduction and Direct Approaches to the Computation of Argumentation Semantics

    Rodrigues, O. T. 2018 (Accepted/In press) Festschrift in Honour of Tarcisio Pequeno. College Publications, (Tributes)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. Accepted/In press

    Deriving Persuasion Strategies Using Search-Based Model Engineering

    Murphy, J., Burdusel, A., Luck, M. M., Zschaler, S. & Black, E. 2018 (Accepted/In press) 7th International Conference on Computational Models of Argument.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  20. Accepted/In press

    On strictly positive modal logics with S4.3 frames

    Kikot, S., Kurucz, A., Wolter, F. & Zakharyaschev, M. 2018 (Accepted/In press) Advances in Modal Logic. Vol. 12

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. A Process for Integrating Agile Software Development and Model-driven Development

    Alfraihi, H. A. A. & Lano, K. C. 10 Dec 2017 3rd Flexible MDE workshop: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017). Austin, USA, Vol. 2019, p. 412-417

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  22. Practical Aspects of the Integration of Agile Development and Model-driven Development: An Exploratory

    Alfraihi, H. A. A. & Lano, K. C. 10 Dec 2017 3rd Flexible MDE wrokshop: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017). Austin, USA, Vol. 2019, p. 399-404

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  23. Accepted/In press

    Measuring Evidential Weight in Digital Forensic Investigations: a Role for Bayesian Networks in Digital Forensic Triage

    Overill, R. E. & Chow, K-P. 21 Oct 2017 (Accepted/In press) Advances in Digital Forensics. Shenoi, S. & G. P. (eds.). Heidelberg: Springer, Vol. XIV, 28

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  24. Accepted/In press

    Constraint Networks Under Conditional Uncertainty

    Zavatteri, M. & Vigano, L. 16 Oct 2017 (Accepted/In press) Proceedings of the 10th International Conference on Agents and Artificial (ICAART 2018). SciTePress, 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  25. Virtual Machine Warmup Blows Hot and Cold

    Barrett, E., Bolz, C. F., Mount, S., Killick, R. & Tratt, L. R. 12 Oct 2017 OOPSLA.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  26. A Formal Approach to Cyber-Physical Attacks

    Lanotte, R., Merro, M., Muradore, R. & Vigano, L. 28 Sep 2017 Proceedings - IEEE 30th Computer Security Foundations Symposium, CSF 2017. IEEE Computer Society Press, p. 436-450 15 p. 8049737

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  27. An interpolation-based method for the verification of security protocols

    Rocchetto, M., Vigano, L. & Volpe, M. 24 Aug 2017 In : Journal of Computer Security. 25, 6, p. 463-510 49 p.

    Research output: Contribution to journalArticle

  28. Invisible Security

    Bella, G., Christianson, B. & Vigano, L. 17 Aug 2017 Security Protocols XXIV : 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers. Springer‐Verlag Berlin Heidelberg, Vol. Lecture Notes in Computer Science 10368, p. 1-9 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  29. Theory Refinement for Program Verification

    Hyyvarinen, A., Asadi, S., Even Mendoza, K., Fedyukovich, G., Chockler, H. & Sharygina, N. 9 Aug 2017 20th International Conference on Theory and Applications of Satisfiability Testing (SAT). Springer, Vol. 10491, p. 347-363

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  30. Compositional Meaning in Logic

    Caleiro, C. & Vigano, L. 8 Aug 2017 In : Logica Universalis. 11, 3, p. 283-295 14 p.

    Research output: Contribution to journalArticle

  31. Horn Fragments of the Halpern-Shoham Interval Temporal Logic

    Bresolin, D., Kurucz, A., Munoz-Velasco, E., Ryzhikov, V., Sciavicco, G. & Zakharyaschev, M. Aug 2017 In : ACM Transactions on Computational Logic. 18, 3, 39 p., 22

    Research output: Contribution to journalArticle

  32. Accepted/In press

    Automatic generation of evolution rules for model-driven optimisation

    Burdusel, A. & Zschaler, S. 17 Jul 2017 (Accepted/In press) Pre-Proceedings of the 8th International Workshop on Graph Computation Models (GCM'17). 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  33. A tableaux-based decision procedure for distributed temporal logic

    Caleiro, C., Gouveia, P., Ramos, J. & Vigano, L. 5 Jul 2017 Logic and Computation: Essays in Honour of Amilcar Sernadas. College Publications, London, p. 73-124 51 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  34. A Formal Approach to Exploiting Multi-Stage Attacks based on File-System Vulnerabilities of Web Applications

    De Meo, F. & Vigano, L. 24 Jun 2017 International Symposium on Engineering Secure Software and Systems. Springer‐Verlag Berlin Heidelberg, p. 196-212

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  35. A Topological Categorization of Agents for the Definition of Attack States in Multi-Agent Systems

    Santacà, K., Cristani, M., Rocchetto, M. & Viganò, L. 23 Jun 2017 Proceedings of EUMAS 2016: Part of the Lecture Notes in Computer Science book series. Vol. 10207, p. 261-276

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  36. Modelling Homogeneous Generative Meta-programming

    Berger, M., Tratt, L. R. & Urban, C. 16 Jun 2017 In : Leibniz International Proceedings in Informatics, LIPIcs. 74, 23 p.

    Research output: Contribution to journalConference paper

  37. A Formalisation of Nominal α-equivalence with A and AC Function Symbols: LSFA 2016 - 11th Workshop on Logical and Semantic Frameworks with Applications (LSFA)

    Ayala-Rincón, M., de Carvalho-Segundo, W., Fernández, M. & Nantes-Sobrinho, D. 11 Jun 2017 In : Electronic Notes in Theoretical Computer Science. 332, p. 21-38 18 p.

    Research output: Contribution to journalArticle

  38. A survey of model transformation design pattern usage

    Lano, K., Kolahdouz-Rahimi, S., Yassipour-Tehrani, S. & Sharbaf, M. 1 Jun 2017 Theory and Practice of Model Transformation - 10th International Conference, ICMT 2017 Held as Part of STAF 2017, Proceedings. Springer Verlag, Vol. 10374 LNCS, p. 108-118 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10374 LNCS)

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  39. Accepted/In press

    Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty

    Zavatteri, M., Combi, C., Posenato, R. & Vigano, L. 15 May 2017 (Accepted/In press) 15th International Conference on Business Process Management. Springer‐Verlag Berlin Heidelberg, p. 235-251 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  40. Intruder deduction problem for locally stable theories with normal forms and inverses

    Ayala-Rincón, M., Fernández, M. & Nantes-Sobrinho, D. 11 Apr 2017 In : Theoretical Computer Science. 672, p. 64-100 TCS-D-14-00678R4

    Research output: Contribution to journalArticle

  41. Bimodal logics with a `weakly connected' component without the finite model property

    Kurucz, A. 9 Mar 2017 In : Notre Dame Journal of Formal Logic. 58, 2, p. 287-299

    Research output: Contribution to journalArticle

  42. Access Controlled Temporal Networks

    Combi, C., Posenato, R., Vigano, L. & Zavatteri, M. 24 Feb 2017 ICAART 2017: 9th International Conference on Agents and Artificial Intelligence. SciTePress, p. 118-131

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  43. The computational complexity of structure-based causality

    Aleksandrowicz, G., Chockler, H., Halpern, J. Y. & Ivrii, A. 1 Feb 2017 In : Journal Artificial Intelligence Research. 58, p. 431-451 21 p.

    Research output: Contribution to journalArticle

  44. Preface

    Cervesato, I. & Fernández, M. 17 Jan 2017 In : Electronic Proceedings in Theoretical Computer Science. 238

    Research output: Contribution to journalEditorial

  45. Preface

    Cervesato, I. & Fernández, M. 17 Jan 2017 In : EPTCS 238, 2017. 238

    Research output: Contribution to journalEditorial

  46. A Framework for Secure Data Collection and Management for Internet of Things

    Fernandez, M. I., Kantarcioglu, M. & Thuraisingham, B. 15 Jan 2017 ICSS '16: Proceedings of the 2nd Annual Industrial Control System Security Workshop. ACM Press

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  47. Synthesizing non-vacuous systems

    Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O. 12 Jan 2017 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer‐Verlag Berlin Heidelberg, Vol. 10145 LNCS, p. 55-72 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10145 LNCS)

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  48. Amalgamation of domain specific languages with behaviour

    Durán, F., Moreno-Delgado, A., Orejas, F. & Zschaler, S. 1 Jan 2017 In : Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 208-235 28 p.

    Research output: Contribution to journalArticle

Previous 1 2 3 4 5 6 7 8 ...11 Next

View graph of relations

Search within the list

Refine results

Language

Language

Publication year

Publication year

Full text

Full text

Meeting and poster abstracts

Meeting and poster abstracts

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454