King's College London

Research portal

Software Modelling and Applied Logic

Organisational unit: Research Group

YearTypeCountFull text
2018Show types3249
Other contribution12
Conference paper21
Conference article1
Article1124
Conference paper1419
Chapter33
2017Show types3551
Pre-print11
Editorial2
Conference paper12
Article919
Conference paper2027
Chapter11
Book11
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

    The 'Robots Don't Rape' Controversy

    Homayounnejad, M. & Overill, R. E. 28 Dec 2018 (Accepted/In press) Routledge Handbook of War, Law and Technology. Gow, J., Dijxhoorn, E., Verdirame, G. & Kerr, R. (eds.). 1st ed. Routlege

    Research output: Chapter in Book/Report/Conference proceedingChapter

  2. Function Summarization Modulo Theories

    Asadi, S., Blicha, M., Fedyukovich, G., Hyyvarinen, A., Even Mendoza, K., Sharygina, N. & Chockler, H. 16 Nov 2018 LPAR-22: 22nd International Conference on Logic for Programming, Articial Intelligence and Reasoning. Vol. 57, p. 56-75 (EPiC Series in Computing)

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

  3. Lookahead-Based SMT Solving

    Hyyvarinen, A., Marescotti, M., Sadigova, P., Chockler, H. & Sharygina, N. 16 Nov 2018 LPAR-22: LPAR-22: 22ND INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING. EasyChair

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

  4. Ranking the Impact of Different Tests on a Hypothesis in a Bayesian Network

    Overill, R. E., Schneps, L. & Lagnado, D. 7 Nov 2018 In : Entropy. 20, 11, p. 856 - 870 15 p., 357847

    Research output: Contribution to journalArticle

  5. Conditional Simple Temporal Networks with Uncertainty and Decisions

    Zavatteri, M. & Viganò, L. 6 Nov 2018 In : Theoretical Computer Science. 48 p.

    Research output: Contribution to journalArticle

  6. Accepted/In press
  7. Accepted/In press

    MDEOptimiser: A Search Based Model Engineering Tool

    Burdusel, A., Zschaler, S. & Struber, D. 24 Aug 2018 (Accepted/In press) MODELS 2018 Satellite Events. 5 p.

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

  8. Strategic Port Graph Rewriting: An Interactive Modelling Framework

    Fernández, M., Kirchner, H. & Pinaud, B. 2 Aug 2018 In : MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE.

    Research output: Contribution to journalArticle

  9. Lattice-Based Refinement in Bounded Model Checking

    Even Mendoza, K., Asadi, S., Hyyvarinen, A., Chockler, H. & Sharygina, N. 18 Jul 2018 Verified Software. Theories, Tools, and Experiments (VSTTE) 2018. Switzerland: Springer, p. 1 19 p.

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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. Labelled Graph Strategic Rewriting for Social Networks

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

    Research output: Contribution to journalArticle

  19. MMM: May I Mine Your Mind?

    Sempreboni, D. & Vigano, L. Apr 2018 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

  20. 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

  21. 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

  22. Combining Experts’ Causal Judgments

    Alrajeh, D., Chockler, H. & Halpern, J. Y. 2 Feb 2018 The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18). AAAI Press, p. 6311-6318 8 p.

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

  23. 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

  24. 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

  25. Towards Automatic Generation of Evolution Rules for Model-Driven Optimisation

    Burdusel, A. & Zschaler, S. 23 Jan 2018 Pre-Proceedings of the 8th International Workshop on Graph Computation Models (GCM'17). 16 p.

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

  26. 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

  27. On structural properties of argumentation frameworks: Lessons from ICCMA

    Rodrigues, O., Black, E., Luck, M. & Murphy, J. 1 Jan 2018 In : CEUR Workshop Proceedings. 2171, p. 22-35 14 p.

    Research output: Contribution to journalConference paper

  28. 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

  29. 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

  30. 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

  31. 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

  32. 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

  33. 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

  34. 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

  35. 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

  36. 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

  37. 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

  38. 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

  39. 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

  40. 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

  41. 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

  42. 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

  43. 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

  44. 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

  45. 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

  46. 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

  47. 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

  48. 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

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