King's College London

Research portal

Software Modelling and Applied Logic

Organisational unit: Research Group

YearTypeCountFull text
2017Show types1722
Editorial2
Article714
Conference paper88
2016Show types3662
Editorial11
Conference paper49
Article918
Other chapter contribution12
Conference paper1727
Chapter34
Anthology11
2015Show types3848
Conference paper12
Article1219
Conference paper2123
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 types3622
Working paper2
Conference paper3
Article75
Other chapter contribution1
Conference paper1713
Chapter44
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 types146
Article34
Other chapter contribution1
Conference paper82
Chapter1
Book1
2001Show types61
Article11
Entry in encyclopedia/dictionary1
Conference paper4
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. 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

  2. Modelling Homogeneous Generative Meta-programming

    Berger, M., Tratt, L. R. & Urban, C. Jun 2017 European Conference on Object-Oriented Programming. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 74

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

  3. Accepted/In press

    A Formal Approach to Cyber-Physical Attacks

    Lanotte, R., Merro, M., Muradore, R. & Vigano, L. 25 May 2017 30th IEEE Computer Security Foundations Symposium. IEEE Computer Society Press, 15 p.

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

  4. Accepted/In press

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

    Combi, C., Posenato, R., Vigano, L. & Zavatteri, M. 15 May 2017 15th International Conference on Business Process Management. Springer‐Verlag Berlin Heidelberg, 17 p.

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

  5. Accepted/In press

    Horn Fragments of the Halpern-Shoham Interval Temporal Logic

    Bresolin, D., Kurucz, A., Munoz-Velasco, E., Ryzhikov, V., Sciavicco, G. & Zakharyaschev, M. 29 Apr 2017 In : ACM Transactions on Computational Logic. 38 p.

    Research output: Contribution to journalArticle

  6. Accepted/In press

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

    De Meo, F. & Vigano, L. 18 Apr 2017 International Symposium on Engineering Secure Software and Systems. Springer‐Verlag Berlin Heidelberg

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

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

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

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

  10. Preface

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

    Research output: Contribution to journalEditorial

  11. Preface

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

    Research output: Contribution to journalEditorial

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

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

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

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

  16. Accepted/In press

    Theory Refinement for Program Verification

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

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

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

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

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

    Zschaler, S. & Mandow, L. 1 Dec 2016 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer‐Verlag Berlin Heidelberg, Vol. 9946 LNCS, p. 317-329 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9946 LNCS)

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  20. Accepted/In press

    Access Controlled Temporal Networks

    Combi, C., Posenato, R., Vigano, L. & Zavatteri, M. 28 Nov 2016 ICAART 2017: 9th International Conference on Agents and Artificial Intelligence. SciTePress

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

  21. Probabilistic Fault Localisation

    Landsberg, D., Chockler, H. & Kroening, D. 1 Nov 2016 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Hardware and Software: Verification and Testing. Springer‐Verlag Berlin Heidelberg, Vol. 10028 LNCS, p. 65-81 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10028 LNCS)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. Accepted/In press

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

    Santacà, K., Cristani, M., Rocchetto, M. & Vigano, L. 19 Oct 2016 Proceedings of EUMAS 2016.

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

  23. Accepted/In press

    A Graph-Based Framework for the Analysis of Access Control Policies

    Alves, S. & Fernandez, M. I. 16 Oct 2016 In : Theoretical Computer Science. TCS-D-15-00606R2

    Research output: Contribution to journalArticle

  24. Verified bidirectional transformations by construction

    Lano, K. & Yassipour-Tehrani, S. 2 Oct 2016 In : CEUR Workshop Proceedings. 1693, p. 28-37 10 p.

    Research output: Contribution to journalConference paper

  25. Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection

    De Meo, F., Rocchetto, M. & Vigano, L. 17 Sep 2016 In : Lecture Notes in Computer Science. 9871, p. 179-195 16 p.

    Research output: Contribution to journalConference paper

  26. Introducing EqArgSolver: An argumentation solver using equational semantics

    Rodrigues, O. 31 Aug 2016 In : CEUR Workshop Proceedings. 1672, p. 22-33 12 p.

    Research output: Contribution to journalConference paper

  27. Statistical approach towards malware classification and detection

    Ghanaei, V., Iliopoulos, C. S. & Overill, R. E. 29 Aug 2016 Proceedings of 2016 SAI Computing Conference, SAI 2016. Institute of Electrical and Electronics Engineers Inc., p. 1093-1099 7 p. 7556114

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

  28. Labelled graph rewriting meets social networks

    Fernandez, M., Kirchner, H., Pinaud, B. & Vallet, J. 18 Aug 2016 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer‐Verlag Berlin Heidelberg, Vol. 9942 LNCS, p. 1-25 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9942 LNCS)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)

    Ausaf, F., Dyckhoff, R. & Urban, C. 7 Aug 2016 Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Springer LNCS: Springer International Publishing, p. 69-86 17 p. (Lecture Notes in Computer Science ; vol. 9807)

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

  30. Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory

    Copello, E., Tasistro, Á., Szasz, N., Bove, A. & Fernández, M. 11 Jul 2016 In : Electronic Notes in Theoretical Computer Science. 323, p. 109-124 16 p.

    Research output: Contribution to journalConference paper

  31. Checking Overlaps of Nominal Rewriting Rules

    Ayala-Rincon, M., Fernandez, M. I., Gabbay, M. J. & Rocha-Oliveira, A. C. 11 Jul 2016 Electronic Notes in Theoretical Computer Science. Elsevier, Vol. 323, p. 39-56 18 p.

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

  32. Completeness in PVS of a Nominal Unification Algorithm

    Ayala-Rincon, M., Fernandez, M. I. & Rocha-Oliveira, A. C. 11 Jul 2016 Electronic Notes in Theoretical Computer Science. Elsevier, Vol. 323, p. 57-74 18 p.

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

  33. Requirements Engineering in Model-Transformation Development: An Interview-Based Study

    Yassipour Tehrani, S., Zschaler, S. & Lano, K. C. 4 Jul 2016 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Theory and Practice of Model Transformations. Springer‐Verlag Berlin Heidelberg, Vol. 9765, p. 123-137 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9765)

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

  34. Correct Reuse of Transformations is Hard to Guarantee

    Salay, R., Zschaler, S. & Chechik, M. Jul 2016 9th International Conference on Model Transformations (ICMT'16). Springer

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

  35. Making an embedded DBMS JIT-friendly

    Bolz, C. F., Kurilova, D. & Tratt, L. Jul 2016 In : Leibniz International Proceedings in Informatics, LIPIcs. 56, p. 41-424

    Research output: Contribution to journalArticle

  36. Nominal narrowing

    Ayala-Rincón, M., Fernández, M. & Nantes-Sobrinho, D. Jun 2016 Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 52, 17 p. 11

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

  37. The decision problem of modal product logics with a diagonal, and faulty counter machines

    Hampson, C. S., Kikot, S. & Kurucz, A. Jun 2016 In : Studia Logica. 104, 3, p. 455-486

    Research output: Contribution to journalArticle

  38. Prioritised Default Logic as Rational Argumentation

    Young, A. P., Modgil, S. & Rodrigues, O. 13 May 2016 Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016). p. 626-634 9 p.

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

  39. AspectJ Code Analysis and Verification with GASR

    Fabry, J., De Roover, C., Noguera, C., Zschaler, S., Rashid, A. & Jonckers, V. 16 Apr 2016 In : Journal of Systems and Software.

    Research output: Contribution to journalArticle

  40. Accepted/In press

    An experimental search-based approach to cohesion metric evaluation

    Ó Cinnéide, M., Hemati Moghadam, I., Harman, M., Counsell, S. & Tratt, L. 13 Apr 2016 In : EMPIRICAL SOFTWARE ENGINEERING. p. 1-38 38 p.

    Research output: Contribution to journalArticle

  41. An automated approach for testing the security of web applications against Chained Attacks

    Calvi, A. & Viganò, L. 4 Apr 2016 Proceedings of the ACM Symposium on Applied Computing. Association for Computing Machinery, Vol. 04-08-April-2016, p. 2095-2102 8 p.

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

  42. Towards contractual interfaces for reusable functional quality attribute operationalisations

    Horcas, J. M., Pinto, M., Fuentes, L. & Zschaler, S. 14 Mar 2016 MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity. Association for Computing Machinery, Inc, p. 201-205 5 p.

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

  43. Security constraints in temporal role-based access-controlled workflows

    Combi, C., Viganò, L. & Zavatteri, M. 9 Mar 2016 CODASPY 2016 - Proceedings of the 6th ACM Conference on Data and Application Security and Privacy. Association for Computing Machinery, Inc, p. 207-218 12 p.

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

  44. Network Traffic Classification Techniques and Challenges

    Al Khater, N. & Overill, R. E. 13 Jan 2016 The 10th International Conference on Digital Information Management, ICDIM 2015. Institute of Electrical and Electronics Engineers Inc., p. 43-48 6 p. 7381869

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

  45. Detection of known and unknown DDoS attacks using Artificial Neural Networks

    Saied, A., Overill, R. E. & Radzik, T. 8 Jan 2016 In : Neurocomputing. 172, p. 385-393 9 p.

    Research output: Contribution to journalArticle

  46. Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories

    Rodrigues, O. T. & Gabbay, D. M. Jan 2016 Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday. Brewka, G., Thimm, M. & Beierle, C. (eds.). College Publications, p. 392 408 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  47. CEUR Workshop Proceedings: Preface

    Amrani, M., Syriani, E., Ergin, H., Paige, R. & Zschaler, S. 2016 In : CEUR Workshop Proceedings. 1693

    Research output: Contribution to journalEditorial

  48. Estimating second-order arguments in dialogical settings

    Hosseini, S. A., Modgil, S. & Rodrigues, O. 2016 Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1469-1470 2 p.

    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

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