Recent site activity

Sep 19, 2017, 8:14 AM Gianni Zampedri edited Programme
Sep 19, 2017, 8:14 AM Gianni Zampedri edited Slides
Sep 19, 2017, 8:13 AM Gianni Zampedri attached UserStudiesOfPrincipledModelFinderOutput.pdf to Slides
Sep 19, 2017, 3:07 AM Gianni Zampedri edited Programme
Sep 19, 2017, 3:06 AM Gianni Zampedri edited Slides
Sep 19, 2017, 3:06 AM Gianni Zampedri attached ParticipatoryVerificationOfRailwayInfrastructureByRepresentingRegulationsInRailCNL.pdf to Slides
Sep 18, 2017, 1:53 AM Gianni Zampedri edited Programme
Sep 18, 2017, 1:53 AM Gianni Zampedri attached SEFM17_BestPaperAward.pdf to Programme
Sep 18, 2017, 1:37 AM Gianni Zampedri edited Programme
Sep 18, 2017, 1:37 AM Gianni Zampedri edited Slides
Sep 18, 2017, 1:36 AM Gianni Zampedri attached IJITAnApiForBooleanProgramAnalysisWithJustInTimeTranslation.pdf to Slides
Sep 18, 2017, 1:16 AM Gianni Zampedri edited Programme
Sep 18, 2017, 1:16 AM Gianni Zampedri edited Slides
Sep 18, 2017, 1:15 AM Gianni Zampedri attached FocusedCertificationOfAnIndustrialCompilationAndStaticVerificationToolchain.pdf to Slides
Sep 15, 2017, 3:00 AM Gianni Zampedri edited Programme
Sep 15, 2017, 2:59 AM Gianni Zampedri edited Slides
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

older | newer