Team ATEAMS

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Bibliography

Major publications by the team in recent years

[1]
B. Basten.
Tracking Down the Origins of Ambiguity in Context-Free Grammars, in: Seventh International Colloquium on Theoretical Aspects of Computing (ICTAC 2010), A. Cavalcanti, D. Deharbe, M.-C. Gaudel, J. Woodcock (editors), Springer, September 2010, vol. 6255, p. 76-90.
[2]
B. Basten, J. Vinju.
Faster Ambiguity Detection by Grammar Filtering, in: Proceedings of the tenth workshop on Language Descriptions Tools and Applications, C. Brabrand, P.-E. Moreau (editors), 2010.
[3]
G. Economopoulos, P. Klint, J. Vinju.
Faster Scannerless GLR Parsing, in: CC '09: Proceedings of the 18th International Conference on Compiler Construction, Berlin, Heidelberg, Springer-Verlag, 2009, p. 126–141.
[4]
Jan van. Eijck, C. Unger.
Computational Semantics with Functional Programming, Cambridge University Press, September 2010.
[5]
P. Klint, T. van der Storm, J. Vinju.
RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation, in: Source Code Analysis and Manipulation, IEEE International Workshop on, Los Alamitos, CA, USA, 2009, p. 168-177.
http://doi.ieeecomputersociety.org/10.1109/SCAM.2009.28
[6]
P. Klint, T. van der Storm, J. Vinju.
EASY Meta-Programming with RASCAL, in: Generative and Transformational Techniques in Software Engineerin, J. Fernandes, R. Laemmel, J. Saraiva, J. Visser (editors), Lecture Notes in Computer Science, Springer, Heidelberg, 2010, no 6491, p. 222–298, to appear.
[7]
Y. Wang, F. Sietsma, Jan van. Eijck.
Composing Models, in: 9th Conference on Logic and the Foundations of Game and Decision Theory, July 2010, to appear.

Publications of the year

Doctoral Dissertations and Habilitation Theses

[8]
Y. Wang.
Epistemic Modelling and Protocol Dynamics, Universiteit van Amsterdam, 2010.

Articles in International Peer-Reviewed Journal

[9]
D. O. Camacho, K. Mens, M. van den Brand, J. Vinju.
Automated generation of program translation and verification tools using annotated grammars, in: Science of Computer Programming, 2010, vol. 75, no 1-2, p. 3-20.
http://dx.doi.org/10.1016/j.scico.2009.10.003
[10]
F. Dechesne, Y. Wang.
To know or not to know: epistemic approaches to security protocol verification, in: Synthese, 2010, p. 1-26, 10.1007/s11229-010-9765-8.
[11]
H. v. Ditmarsch, J. van Eijck, W. Wu.
Verifying one hundred prisoners and a lightbulb, in: Journal of Applied Non-classical Logics, 2010, to appear.
[12]
J. van Eijck.
The language of social software, in: Synthese, 2010, p. 1-20.
http://dx.doi.org/10.1007/s11229-010-9766-7

International Peer-Reviewed Conference/Proceedings

[13]
T. T. Bartolomei, K. Czarnecki, R. Laemmel, Tijs van der. Storm.
Study of an API migration for two XML APIs, in: Postproceedings of Software Language Engineering (SLE 2009), LNCS, Springer, 2010.
[14]
B. Basten.
Practical Ambiguity Detection for Context-Free Grammars, in: Doctoral Symposium of the International Conference on Software Language Engineering, 2010.
[15]
B. Basten.
Tracking Down the Origins of Ambiguity in Context-Free Grammars, in: Seventh International Colloquium on Theoretical Aspects of Computing (ICTAC 2010), A. Cavalcanti, D. Deharbe, M.-C. Gaudel, J. Woodcock (editors), Springer, September 2010, vol. 6255, p. 76-90.
[16]
B. Basten, Tijs van der. Storm.
AmbiDexter: Practical Ambiguity Detection, Tool Demonstration, in: Proceedings of the Tenth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'10), J. Vinju, C. Marinescu, P. Cuoq (editors), IEEE, 2010, to appear.
[17]
B. Basten, J. Vinju.
Faster Ambiguity Detection by Grammar Filtering, in: Proceedings of the tenth workshop on Language Descriptions Tools and Applications, C. Brabrand, P.-E. Moreau (editors), 2010.
[18]
Jeroen van den. Bos.
Domain-Specific Languages for Digital Forensics, in: Doctoral Symposium of the International Conference on Software Language Engineering, 2010.
[19]
H. v. Ditmarsch, J. van Eijck, W. Wu.
One hunderd prisoners and a lightbulb — logic and computation, in: Proceedings of KR 2010 Toronto, F. Lin, U. Sattler (editors), AAAI Press, 2010, to appear.
[20]
M. Hills, G. Rosu.
A Rewriting Logic Semantics Approach to Modular Program Analysis, in: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, Edinburgh, Scottland, UK, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, July 11-13 2010, vol. 6, p. 151-160.
http://dx.doi.org/10.4230/LIPIcs.RTA.2010.151
[21]
P. Klint, Tijs van der. Storm, J. Vinju.
On the Impact of DSL tools on the Maintainability of Language Implementations., in: Proceedings of the tenth workshop on Language Descriptions Tools and Applications, 2010, to appear.
[22]
P. Klint, T. van der Storm, J. Vinju.
EASY Meta-Programming with RASCAL, in: Generative and Transformational Techniques in Software Engineerin, J. Fernandes, R. Laemmel, J. Saraiva, J. Visser (editors), Lecture Notes in Computer Science, Springer, Heidelberg, 2010, no 6491, p. 222–298, to appear.
[23]
V. Lussenburg, Tijs van der. Storm, J. Vinju, J. Warmer.
Mod4J: A Qualitative Case Study of Model-Driven Software Development, in: 13th International Conference on Model Driven Engineering Languages and Systems, D. Petriu, N. Rouquette, O. Haugen (editors), Lecture Notes in Computer Science, Springer, October 2010.
[24]
Y. Wang, Jan van. Eijck, Hans van. Ditmarsch.
On the Logic of Lying, in: International Workshop on Games, action and social software, J. v. Eijck, R. Verbrugge (editors), 2010, to appear.
[25]
Y. Wang, F. Sietsma, Jan van. Eijck.
Composing Models, in: 9th Conference on Logic and the Foundations of Game and Decision Theory, July 2010, to appear.
[26]
Y. Wang, F. Sietsma, J. van Eijck.
Logic of information flow on communication channels, in: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1, Richland, SC, AAMAS '10, International Foundation for Autonomous Agents and Multiagent Systems, 2010, p. 1447–1448.
http://portal.acm.org/citation.cfm?id=1838206.1838425
[27]
S. de Gouw, F. de Boer, J. Vinju.
Prototyping a tool environment for run-time assertion checking in JML with Communication Histories, in: 12th Workshop on Formal Techniques for Java-like Programs, 2010, to appear.
[28]
T. van der Storm.
Relational Meta-Modeling, in: Relationships, Objects, Roles, and Queries in Modern Programming Languages, G. Boella, E. Meijer, D. J. Pearce, F. Steimann, F. Tip (editors), Dagstuhl Seminar Proceedings, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2010, no 10152, Abstract.

Scientific Books (or Scientific Book chapters)

[29]
Jan van. Eijck, C. Unger.
Computational Semantics with Functional Programming, Cambridge University Press, September 2010.
[30]
J. v. Eijck, H. Kamp.
Discourse Representation in Context, in: Handbook of Logic and Language, J. v. Benthem, A. ter Meulen (editors), Elsevier, 2010, to appear.

previous
next