King's College London

Research portal

Software Modelling and Applied Logic

Organisational unit: Research Group

YearTypeCountFull text
2018Show types1118
Other contribution12
Conference paper11
Article38
Conference paper56
Chapter11
2017Show types3652
Pre-print11
Editorial2
Conference paper12
Article1020
Conference paper2128
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. 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

  3. Accepted/In press

    Technical Debt in Model Transformation Specifications

    Lano, K. C. & Alfraihi, H. A. A. 26 Apr 2018 (Accepted/In press) In : Lecture Notes in Computer Science.

    Research output: Contribution to journalConference paper

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

  5. A survey of model transformation design patterns in practice

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

  13. Accepted/In press

    Typed Nominal Rewriting

    Fairweather, E. P. M. & Fernandez, M. I. 24 Nov 2017 (Accepted/In press) In : ACM Transactions on Computational Logic.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  35. Preface

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

    Research output: Contribution to journalEditorial

  36. Preface

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

    Research output: Contribution to journalEditorial

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

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

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

  40. The Integration of Agile Development and Model Driven Development: A Systematic Literature Review

    Alfraihi, H. A. A. & Lano, K. C. Jan 2017 The 5th International Confrence on Model-Driven Engineeing and Software Development . Portugal

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

  41. Accepted/In press

    A Forward Propagation Algorithm for the Computation of the Semantics of Argumentation Frameworks

    Rodrigues, O. T. 2017 (Accepted/In press) Proceedings of the 4th Intl. Conference on Theory and Applications of Formal Argumentation. Springer, (Lecture Notes in Artificial Intelligence)

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

  42. A Verb-based Algorithm for Multiple-Relation Extraction from Single Sentences

    Rodrigues, O. T., Keppens, J. & Hao, Q. 2017 Proceddings of the International Conference on Information and Knowledge Engineering. CSREA Press Inc., p. 115 7 p.

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

  43. Accepted/In press

    EqArgSolver – System Description

    Rodrigues, O. T. 2017 (Accepted/In press) Proceedings of the 4th Intl. Conference on Theory and Applications of Formal Argumentation. Springer

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

  44. Kripke completeness of strictly positive modal logics over meet-semilattices with operators

    Kikot, S., Kurucz, A., Tanaka, Y., Wolter, F. & Zakharyaschev, M. 2017 (Submitted) 54 p.

    Research output: Working paperPre-print

  45. Accepted/In press

    On the Interaction between Logic and Preference in Structured Argumentation

    Rodrigues, O. T., Modgil, S. & Young, A. P. 2017 (Accepted/In press) Proceedings of the 4th Intl. Conference on Theory and Applications of Formal Argumentation. Springer, (Lecture Notes in Artificial Intelligence)

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

  46. An Approach to Quantifying the Plausibility of the Inadvertent Download Defence

    Overill, R. E. & Chow, K-P. 19 Dec 2016 In : Forensic Sciences Research. 1, 1, p. 28-32 5 p., 4

    Research output: Contribution to journalArticle

  47. Message from the WSDF 2016 workshop organizers

    Overill, R. E., Franqueira, V. N. L., Marrington, A. & Jones, A. 15 Dec 2016 Availability, Reliability and Security (ARES), 2016 11th International Conference on. IEEE, p. xxiv 1 p.

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

  48. Towards model-based optimisation: Using domain knowledge explicitly

    Zschaler, S. & Mandow, L. 1 Dec 2016 Software Technologies: Applications and Foundations: STAF 2016. Springer International Publishing AG, Vol. 9946, p. 317-329 13 p. (Lecture Notes in Computer Science; vol. 9946)

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

Previous 1 2 3 4 5 6 7 8 ...10 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