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
|
|