Recent site activity

Sep 15, 2017, 2:59 AM Gianni Zampedri attached OnRunTimeEnforcementOfAuthorizationConstraintsInSecuritySensitiveBusinessProcesses.pdf to Slides
Sep 12, 2017, 8:32 AM Gianni Zampedri edited Programme
Sep 12, 2017, 8:32 AM Gianni Zampedri edited Slides
Sep 12, 2017, 8:31 AM Gianni Zampedri attached AFormalContractBasedDesignMethodologyForCyberPhysicalSystems.pptx to Slides
Sep 12, 2017, 2:13 AM Gianni Zampedri edited Programme
Sep 12, 2017, 2:12 AM Gianni Zampedri edited Slides
Sep 12, 2017, 2:12 AM Gianni Zampedri attached UsingSharedMemoryAbstractionsToDesignEagerSequentializationsForWeakMemoryModels.pdf to Slides
Sep 11, 2017, 6:32 AM Gianni Zampedri edited Programme
Sep 11, 2017, 6:32 AM Gianni Zampedri edited Slides
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