ERC Workshop - Material - Self Managing Situated Computing

Material

Attachments:
Alrajeh - Integrating MC and ILP.pdf	[ ]
Baresi - Dynamic Reconfiguration.pdf	[ ]
Ben-David - Weak Alphabet Merge.pdf	[ ]
Boker - DeterminizingWeightedAutomata.pdf	[ ]
Cerny - Quantitative synthesis for ConcurProgvenice1.pdf	[ ]
Dalpiaz - Evolution through reconfiguration.pdf	[ ]
Diciolla - TimeBounded Verification.pdf	[ ]
Ghezzi - SMSCom.pdf	[ ]
Henzinger - From Qualitative to Quantitative Theories.pdf	[ ]
Jureta - Techne and guidelines for the design of RE formalisms.pdf	[ ]
Kwiatkowsk - Veriware Intro.pdf	[ ]
Lapouchnian - Awareness and SysID.pdf	[ ]
Mylopoulos - Lucrezius.pdf	[ ]
Parker - Prism future directions.pdf	[ ]
Schmerl - Improving Fault Diagnosis Model-checking.pdf	[ ]
Uchitel - PBMFIMBSE.pdf	[ ]
Ujima - Incremental_Online_Verification.pdf	[ ]