Program
October 1-2: InSuEdu 2012, MoKMaSD 2012, OpenCert 2012 - PDF
October 3-5: SEFM 2012 Conference Program - PDF
Presentations
October 1:
InSuEdu, Invited Talk:
- Grainne Conole: New Ecologies and Trajectories of Learning
InSuEdu, Session 1:
- Nikolova, Stefanova: Inquiry-based science education in secondary school informatics – challenges and rewards
- Persico, Manca, Pozzi: Innovation and sustainability in higher education: lessons learnt from the case study of an online university
InSuEdu, Session 2:
- Ternier, De Vries, Borner, Specht: Mobile augmented reality with audio; supporting fieldwork of Cultural science students in Florence
- Barbosa, Martinho: Mathematical literacy as a condition for sustainable development
InSuEdu, Session 3:
- Bittel, Bettoni: Learning CSCW by Fairytales: a Practical Model
- Papadopoulos, Cerone: The Role of Peer Review in Supporting the Sustainability of Technology-Enhanced Learning Environments
- Fernandes, Cerone, Barbosa: A preliminary analysis of learning awareness in FLOSS projects
InSuEdu, Session 4:
- Fernandes, Barbosa, Cerone, Papadopoulos: FLOSS in Technology-Enhanced Learning
- Franke, Kowalewski: Experiences on using Wikis for Seminar Papers
- Bocconi, Kampylis, Punie: Creative Classrooms: A Systemic Approach for Mainstreaming ICT-enabled Innovation for Learning in Europe
October 2:
OpenCert, Session 1:
- Oscar Slotosch: Model-Based Tool Qualification: The Roadmap of Eclipse towards Tool Qualification
- Karampaglis, Mentis, Rafailidis, Tsolakidis, Ampatzoglou: Secure Migration of Legacy Applications to the Web
- Martins, Fernandes, Saraiva: A Web Portal for the Certification of Open Source Software
- Berki, Merruko, Nykanen: Open Source Software Process: A Potential Catalyst for Major Changes in Electronic Health Record Systems
OpenCert, Session 2:
- Papadopoulos, Stamelos, Cerone: Using Open Source Projects in Higher Education: A Two-Way Certification Framework
- Alexander Chatzigeorgiou: Guidelines for the application of Data Envelopment Analysis to assess evolving software
- Kalutarage, Krishnan, Shaikh: A Certification Process for Android Applications
MoKMaSD, Invited Talk:
- Corrado Priami: Algorithmic Systems Ecology
MoKMaSD, Session 1:
- Barbuti, Cerone, Schettini, Milazzo, Setiawan: Modelling Population Dynamics Using Grid systems
- D’Alessandro, Bernardo: Transition to Sustainability: Italian Scenarios
MoKMaSD, Session 2:
- Bolisani, Scramoncin, Shaikh: Models of Knowledge Transfer for Sustainable Development
- Gong, Janssen: A Framework for Translating Legal Knowledge into Administrative Processes: Dynamic Adaption of Business Processes
October 3:
SEFM, Invited Talk 1:
- Corrado Priami: Computing as Enabling Technology for Systems Biology
SEFM, Session 1:
- Amighi, Gomes, Gurov, Huisman: Sound Control-Flow Graph Extraction for Java Programs with Exceptions
- Barnat, Bauch, Brim: Checking Sanity of Software Requirements
- Ferrara, Fuchs, Juhasz: TVAL+ : TVLA and Value Analyses Together
- Salehi Fathabadi, Butler, Rezazadeh: A Systematic Approach to Atomicity Decomposition in Event-B
SEFM, Session 2:
- Din, Dovland, Owe: Compositional Reasoning about Shared Futures
- Zhang, Khedri, Jaskolka: Verification of Aspectual Composition in Feature-Modeling
- Zhao, Zhu, Zhu, He:
A Denotational Model for Instantaneous Signal Calculus - Ciobanu, Koutny, Steggles: A Timed Mobility Semantics based on Rewriting Strategies
SEFM, Session 3:
- Di Cosmo, Zacchiroli, Zavattaro: Towards a Formal Component Model for the Cloud
- Zhu, Xu, Ma, Qin, Qiu: The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs
- Paul, Schmaltz, Shadrin: Completing the Automated Verification of a Small Hypervisor-Assembler Code Verification
- Januzaj, Kugele, Biechele, Mauersberger: A Configuration Approach for IMA Systems
October 4:
SEFM, Invited Talk 2:
- Cliff Jones: Abstraction for Concurrency
SEFM, Session 4:
- Colombo, Francalanza, Mizzi, Pace: Runtime Verification with Configurable System-Monitor Resource-Aware Boundaries
- Kirchner, Kosmatov, Prevosto, Signoles, Yakobowski, Cuoq: Frama-C: A Program Analysis Perspective
- Abdelhalim, Schneider, Treharne: An Optimization Approach for Effective Formalized fUML Model Checking
- Ouchani, Ait Mohamed, Debbabi: Efficient Probabilistic Abstraction for SysML Activity Diagrams
- Ayrault, Benayoun, Dubois, Pessaux: ML Dependency Analysis for Assessors
October 5:
SEFM, Invited Talk 3:
- Wolfgang Reisig: Service Oriented Computing: Forthcoming challenges
SEFM, Session 5:
- Lefticaru, Ipate: An improved test generation approach from extended finite state machines using genetic algorithms
- Bistarelli, Santini: Securely Accessing Shared Resources with Concurrent Constraint Programming
- Dranidis, Bratanis, Ipate: JSXM: a tool for automated test generation
- Vorobyov, Krishnan, Stocks: A Low-Overhead, Value-Tracking Approach to Information Flow Security
SEFM, Session 6:
- Reis, Bicknell, Butler, Colley, Snook: A Practical Approach for Closed Systems Verification Using Event-B
- Matichuk, Murray: Extensible Specifications for Automatic Re-Use of Specifications and Proofs
- Filho, Oliveira: Implementing Tactics of Refinement in CRefine




