Recent site activity

Feb 9, 2018, 2:22 AM Gianni Zampedri created Conference LNCS available
Feb 9, 2018, 2:20 AM Gianni Zampedri edited Workshops
Dec 11, 2017, 1:37 AM Gianni Zampedri edited Programme
Dec 11, 2017, 1:36 AM Gianni Zampedri edited Slides
Dec 11, 2017, 1:36 AM Gianni Zampedri attached FormalizingTimingDiagramRequirementsInDiscreteDurationCalculus.pdf to Slides
Nov 27, 2017, 2:18 AM Gianni Zampedri edited Programme
Nov 27, 2017, 2:17 AM Gianni Zampedri edited Slides
Nov 27, 2017, 2:16 AM Gianni Zampedri attached ModularVerificationOfInformationFlowSecurityInComponentBasedSystems.pdf to Slides
Nov 20, 2017, 1:57 AM Gianni Zampedri edited Programme
Nov 20, 2017, 1:56 AM Gianni Zampedri edited Slides
Nov 20, 2017, 1:55 AM Gianni Zampedri attached SemanticRepresentationOfEmbeddedSystemsRequirementsInDescriptionLogicAndTransformationToTemporalLogic.pptx to Slides
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

older | newer