Recent site activity

Sep 11, 2017, 6:31 AM Gianni Zampedri attached TheChallengeOfChange.pdf to Slides
Sep 11, 2017, 2:54 AM Gianni Zampedri attached Springer_Logo.png to Programme
Sep 11, 2017, 2:52 AM Gianni Zampedri edited Slides
Sep 11, 2017, 2:51 AM Gianni Zampedri edited Programme
Sep 11, 2017, 2:48 AM Gianni Zampedri attached ACompleteGenerativeLabelModelForLatticeBasedAcrossControlModels.pdf to Slides
Sep 11, 2017, 2:48 AM Gianni Zampedri attached TracePartitioningAndLocalMonitoringForAysnchronousComponents.pdf to Slides
Sep 11, 2017, 2:48 AM Gianni Zampedri attached OnApproximateDiagnosabilityOfMetricSystems.pdf to Slides
Sep 11, 2017, 2:48 AM Gianni Zampedri attached ValidatingTheMetaTheoryOfProgrammingLanguages.pdf to Slides
Sep 11, 2017, 2:48 AM Gianni Zampedri attached InformationFlowTrackingForLinuxHandlingConcurrentSystemCallsAndSharedMemory.pdf to Slides
Sep 8, 2017, 6:12 AM Gianni Zampedri edited Programme
Sep 8, 2017, 6:10 AM Gianni Zampedri edited Slides
Sep 8, 2017, 6:09 AM Gianni Zampedri attached DesignOfEmbeddedSystemsWithSharedResourceInterference.pdf to Slides
Sep 8, 2017, 6:08 AM Gianni Zampedri attached FromPartialAnalysisResultsToAProofWitness.pdf to Slides
Sep 8, 2017, 6:06 AM Gianni Zampedri attached CompositionalVerificationOfInterlockingSystemsForLargeStations.pdf to Slides
Sep 8, 2017, 6:04 AM Gianni Zampedri attached TowardsInverseUncertaintyQuantificationInSoftwareDevelopment.pdf to Slides
Sep 7, 2017, 8:58 AM Gianni Zampedri edited Programme
Sep 7, 2017, 8:57 AM Gianni Zampedri edited Slides
Sep 7, 2017, 8:57 AM Gianni Zampedri attached TowardsAutomatedDeploymentSelfAdaptiveAppsOnHybridClouds.pdf to Slides
Sep 7, 2017, 8:26 AM Gianni Zampedri edited Programme
Sep 7, 2017, 8:21 AM Gianni Zampedri edited Programme
Sep 7, 2017, 8:20 AM Gianni Zampedri edited Slides
Sep 7, 2017, 8:16 AM Gianni Zampedri edited Slides
Sep 7, 2017, 8:13 AM Gianni Zampedri attached SpecificationClonesAnEmpiricalStudyOfTheStructureOfEventBSpecifications.pdf to Slides
Sep 7, 2017, 8:13 AM Gianni Zampedri attached SpecificationAndAutomatedVerificationOfDynamicDataflowNetworks.pdf to Slides
Sep 7, 2017, 8:13 AM Gianni Zampedri attached SoftwareSafetyAndSecurityAssuranceCasesAndModelManagement.pptx to Slides