DisCoTec 2014 - Preliminary Programme
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

View only
 
ABCDEFGHIJKLMNOPQRSTUV
1
Tuesday
June 3
Wednesday
June 4
Thursday
June 5
Friday
June 6
2
COORDINATIONCOORDINATIONDAISDAISFORTEFORTECOORDINATIONCOORDINATIONDAISDAISFORTEFORTECS2BIOCS2BIOICEICEMeMoMeMo
3
08:30-Registration
4
09:15-Opening
5
09:30-10:30COORDINATION
Invited Speaker:
Frank Leymann
Orchestrating Management Behavior of Cloud ApplicationsDAIS
Invited Speaker:
Maarten van Steen
A perspective on the future of computer sciences (through a technical example)FORTE
Invited Speaker:
Joachim Parrow
The right stuff
6
10:30-11:00
7
Autonomic and Adaptive SystemsCloud computingJoint SessionSecurity Analysis I
8
11:00-11:30Mirko Viroli and Ferruccio DamianiA Calculus of Self-Stabilising Computational FieldsMario Macias and Jordi GuitartA Risk-based Model for Service Level Agreement Differentiation in Cloud Market Providers

Carlos Baquero, Paulo Sérgio Almeida and Ali ShokerMaking Operation-based CRDTs Operation-basedChen, Jia, Xu, Luo, Zhou, Loo.A Program Logic for Verifying Secure Routing Protocols
9
11:30-12:00Lenz BelznerVerifiable Decisions in Autonomous Concurrent SystemsStefan Brenner, Benjamin Garbers and Rüdiger KapitzaAdaptive and Scalable High Availability for Infrastructure Clouds

Paolo Baldan, Filippo Bonchi, Fabio Gadducci and Giacoma MonrealeEncoding Synchronous Interactions using Labelled Petri NetsDiekmann, Posselt, Niedermayer, Kinkelin, Hanka, Carle.Verifying Security Policies using Host Attributes
10
12:00-12:30Julio Cano, Gwenaël Delaval and Eric RuttenCoordination of ECA rules by verification and controlMario Macias and Jordi GuitartTrust-aware Operation of Providers in Cloud Markets (short paper)Romero Hernández, Frutos Escrig.Coinductive Definition of Distances Between Processes: Beyond Bisimulation DistancesWang, Nielson, Nielson.Denial-of-Service Security Attack in the Continuous-Time World
11
12:30-13:00
12
13:00-13:30
13
13:30-14:00
14
Session-based Communication and TypesStorageMonitoring and TestingConcurrency and Coordination ModelsLarge-scale systemsBisimulation, Abstraction and Reduction
15
14:00-14:30Marco Carbone, Ornela Dardha and Fabrizio MontesiProgress as Compositional Lock-FreedomKamal Hakimzadeh, Hooman Peiro Sajjad and Jim DowlingScaling HDFS with a Strongly Consistent Relational Model for MetadataAlbert, Arenas, Gomez-Zamalloa.Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in TestingSung-Shik T.Q. Jongmans, Sean Halle and Farhad ArbabAutomata-based Optimization of Interaction Protocols for Scalable Multicore PlatformsBaarir, Duret-Lutz.Mechanizing the Minimization of Deterministic Generalized Büchi Automata
16
14:30-15:00Dimitris Mostrous and Vasco T. VasconcelosAffine SessionsJoão Paulo and José PereiraDistributed Exact Deduplication for Primary Storage InfrastructuresFalcone, Cornebize, Fernandez.Efficient and Generalized Decentralized Monitoring of Regular LanguagesBenjamin Morandi, Sebastian Nanz and Bertrand MeyerSafe and Efficient Data Sharing for Message-Passing ConcurrencyMathieu Pasquet, Francisco Maia, Etienne Rivière and Valerio SchiavoniAutonomous Multi-Dimensional Slicing for Large-Scale Distributed SystemsDarvas, Fernández Adiego, Vörös, Bartha, Blanco Viñuela, González Suárez.Formal verification of complex properties on PLC programs
17
15:00-15:30Luca Padovani, Vasco T. Vasconcelos and Hugo Torres VieiraTyping Liveness in Multiparty Communicating SystemsRicardo Gonçalves, Paulo Sérgio Almeida, Carlos Baquero, Nuno Preguica and Victor FonteScalable and Accurate Causality Tracking for Eventually Consistent StoresGraf-Brill, Hermanns, Garavel.A Model-Based Certification Framework for the EnergyBus StandardKebin Zeng, Flemming Nielson and Hanne Riis NielsonThe Stochastic Quality CalculusAndreas Benzing, Boris Koldehofe and Kurt RothermelBandwidth-Minimized Distribution of Measurements in Global Sensor NetworksDe Nicola, Iacobelli, Tribastone.Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction
18
15:30-16:00Rumyana Neykova and Nobuko YoshidaMultiparty Session ActorsNeil Donnelly, Mark Roantree and Kate IrvingCooperation Across Multiple Healthcare Clinics on the Cloud (short paper)Gregorio-Rodríguez, Llana, Martinez-Torres.Effectiveness for Input Output Conformance Simulation iocosMaxime Louvel and François PacullLINC: a compact yet powerful coordination environmentAbdulrahman Azab, Hein Meling and Reggie DavidrajuhA Fuzzy-Logic Based Coordinated Scheduling Technique for Inter-Grid ArchitecturesMennicke, Schicke-Uffmann, Goltz.On the Step Branching Time Closure of Free-Choice Petri Nets
19
16:00-16:30
20
New Directions in Coordination Models and LanguagesWeb and peer-to-peer systemsSpecification Languages and Type SystemsDistributed algorithmsSecurity Analysis II
21
16:30-17:00Open SessionDavide Frey, Mathieu Goessens and Anne-Marie KermarrecBehave: Behavioral Cache for Web ContentDebois, Hildebrandt, Slaats, Yoshida.Type Checking Liveness for Collaborative Processes with Bounded and Unbounded RecursionFatemeh Rahimian, Amir Payberah, Sarunas Girdzijauskas and Seif HaridiDistributed Vertex-Cut PartitioningBoreale, Pampaloni.Quantitative information flow under generic leakage functions and adaptive adversaries
22
17:00-17:30Kent Inge Fagerland Simonsen and Lars KristensenImplementing the Web Socket Protocol based on Formal Modelling and Automated Code GenerationRemenska, Bal, Templon, Verstoep, Willemse.Property Specification Made Easy: Harnessing the Power of Model Checking in UML designsMarino Miculan, Marco Peressotti and Alessio MansuttiMulti-agent systems design and prototyping with bigraphical reactive systems (short paper)Vigo, Nielson, Nielson.Uniform Protection for Multi-exposed Targets
23
17:30-18:00Gonçalo Avelar and Luís VeigaGreenBrowsing (short paper)Zeller, Bieniusa, Poetzsch-Heffter.Formal Specification and Verification of CRDTsXu, Chatzikokolakis, Lin.Metrics for Differential Privacy in Concurrent Systems
24
25
26
19:00-23:00SC+PC dinner
Social Dinner
Loading...