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