Publications
Export 179 results:
"Constructing Customized Interpreters from Reusable Evaluators using GAME", Proceedings of the 11th International Conference on Software Composition (SC12), 2012.
, "Context Petri Nets: Enabling Consistent Composition of Context-Dependent Behavior", International Workshop on Petri Nets and Software Engineering: CEUR, June, 2012.
, "Context-oriented Programming for Customizable SaaS Applications", Symposium on Applied Computing, Trento, Italy, ACM, March, 2012.
, "Domains: safe sharing among actors", Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions: ACM, 2012.
, A foundation for quantum programming and its highly-parallel virtual execution, Software Languages Lab, Vrije Universiteit Brussel, 2012.
, "Group orchestration in a mobile environment", Proceedings of the 14th international conference on Coordination Models and Languages, Berlin, Heidelberg, Springer-Verlag, 2012.
, Handling Partial Failures in Mobile Ad hoc Network Applications: From Programming Language Design to Tool Support: Vrije Universiteit Brussel, Faculty of Sciences, Software Languages Lab, October, 2012.
, "How to Achieve Scalable Fork/Join on Many-core Architectures?", Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity, New York, NY, USA, ACM, 2012.
, "Interruptible Context-dependent Executions - A Fresh Look at Programming Context-aware Applications", Proceedings of the ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (SPLASH/OnWard!12), 2012.
, "MORENA: A Middleware for Programming NFC-Enabled Android Applications as Distributed Object-Oriented Programs", Middleware 2012, vol. 7662: Springer Berlin Heidelberg, pp. 61-80, 2012.
, "Parallel Gesture Recognition with Soft Real-Time Guarantees", Proceedings of the compilation SPLASH 2012 workshops, AGERE! workshop, 2nd International Workshop on Programming based on Actors, Agents, and Decentralized Control, Tucson, Arizona, USA, October, 2012.
, "A privacy-preserving cloud computing system for creating participatory noise maps", 36th Annual IEEE International Computer Software and Applications Conference (COMPSAC 2012; July 16-20, 2012, Izmir, Turkey), pp. 581–586, July, 2012.
, "Programming urban-area applications", Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC'12), Coordination Models, Languages and Applications Track: ACM, pp. 1516–1521, March, 2012.
, "Refactoring in the Presence of Annotations", Proceedings of the 28th IEEE International Conference on Software Maintenance (ICSM12), 2012.
, "SpeeG: A Multimodal Speech- and Gesture-based Text Input Solution", Proceedings of AVI 2012, 11th International Working Conference on Advanced Visual Interfaces, Capri Island, Italy, May, 2012.
, "Synchronization Views for Event-loop Actors", Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, New York, NY, USA, ACM, 2012.
, "Uniting Global and Local Context Behavior with Context Petri Nets", International Workshop on Context-Oriented Programming, New York, NY, USA, ACM, June, 2012.
, "ViDaX: An Interactive Semantic Data Visualisation and Exploration Tool", Proceedings of AVI 2012, 11th International Working Conference on Advanced Visual Interfaces, Capri Island, Italy, May, 2012.
, "Ambient contracts: verifying and enforcing ambient object compositions àla carte", Personal and Ubiquitous Computing, vol. 15, pp. 341-351, 2011.
, "Assessing architectural evolution: a case study", Empirical Software Engineering, pp. 1-44, 2011.
, "Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs", Proceedings of the 11th International Working Conference on Source Code Analysis and Manipulation (SCAM11), 2011.
, "Classical knowledge for quantum security", Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models (QPL/DCM 2008), Reykjavik., vol. 270, no. 1: Elsevier, pp. 155–163, 2011.
, "CrimeSPOT: Language Support for Programming Interactions among Wireless Sensor Network Nodes", Proceedings of the 5th International Symposium on Ubiquitous Computing and Ambient Intelligence (UCAmI11), 2011.
, "Diagnosing and Correcting Design Inconsistencies in Source Code with Logical Abduction", Science of Computer Programming - Special Issue on Software Evolution, Adaptability and Variability, vol. 76, pp. 1113–1129, December, 2011.
, "Distributed quantum programming", Natural Computing, vol. 10, pp. 1313–1343, 2011.
,