King's College London

Research portal

Software Modelling and Applied Logic

Organisational unit: Research Group

YearTypeCountFull text
2017Show types1113
Editorial1
Article68
Conference paper45
2016Show types3462
Editorial11
Conference paper49
Article1019
Other chapter contribution12
Conference paper1526
Chapter24
Anthology11
2015Show types3748
Conference paper12
Article1119
Conference paper2123
Chapter33
Book11
2014Show types4444
Editorial11
Article1515
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. Accepted/In press

    Horn Fragments of the Halpern-Shoham Interval Temporal Logic

    Kurucz, A., Bresolin, D., 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

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

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

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

  5. The Computational Complexity of Structure-Based Causality

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

    Research output: Contribution to journalArticle

  6. Preface

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

    Research output: Contribution to journalEditorial

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

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

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

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

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

  12. Message from the WSDF 2016 workshop organizers

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

  20. Preface

    Corradini, A., Fernández, M., Mackie, I., Plump, D., Van Raamsdonk, F. & Zantema, H. 10 Sep 2016 In : Cornell University Press. 225, p. 1 1 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  43. Principles of Security and Trust: 5th International Conference, POST 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016 Eindhoven, The Netherlands, April 2–8, 2016 Proceedings

    Piessens, F. (ed.) & Viganò, L. (ed.) 2016 Springer‐Verlag Berlin Heidelberg. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9635)

    Research output: Book/ReportAnthology

  44. Evaluating and comparing language workbenches. Existing results and benchmarks for the future

    Erdweg, S. , van der Storm, T. , Völter, M. , Tratt, L. , Bosman, R. , Cook, W. R. , Gerritsen, A. , Hulshout, A. , Kelly, S. , Loh, A. , Konat, G. , Molina, P. J. , Palatnik, M. , Pohjonen, R. , Schindler, E. , Schindler, K. , Solmi, R. , Vergu, V. , Visser, E. , van der Vlist, K. & 2 others Wachsmuth, G. & van der Woning, J. 1 Dec 2015 In : COMPUTER LANGUAGES SYSTEMS AND STRUCTURES. 44, p. 24-47 24 p.

    Research output: Contribution to journalArticle

  45. Approaches to interpreter composition

    Barrett, E., Bolz, C. F. & Tratt, L. Dec 2015 In : COMPUTER LANGUAGES SYSTEMS AND STRUCTURES. 44, C, p. 199-217 19 p.

    Research output: Contribution to journalArticle

  46. Equilibrium states in numerical argumentation networks

    Rodrigues, O. T. & Gabbay, D. M. Dec 2015 In : Logica Universalis. 9, 4, p. 411-473

    Research output: Contribution to journalArticle

  47. Model Transformation Applications from Requirements Engineering Perspective

    Yassipour Tehrani, S. & Lano, K. C. 19 Nov 2015 The 10th International Conference on Software Engineering Advances.

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

  48. Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment

    Almousa, O., Mödersheim, S., Modesti, P. & Viganò, L. 18 Nov 2015 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer‐Verlag Berlin Heidelberg, Vol. 9327, p. 209-229 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9327)

    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