Index of /uploads/Publications/

../
ABackward-traversal-basedApproachForSymbolicMod..> 28-May-2020 12:52                   -
ABisimulation-BasedApproachToTheAnalysisOfHuman..> 28-May-2020 12:52                   -
AFormalAnalysisOfRequirements-BasedTesting/        28-May-2020 12:52                   -
AFormalFrameworkForDesignAndAnalysisOfHuman-Mac..> 28-May-2020 12:52                   -
AFormalFrameworkForTheAnalysisOfHuman-MachineIn..> 28-May-2020 12:52                   -
AJavaPathfinderExtensionToAnalyseHuman-MachineI..> 28-May-2020 12:52                   -
AMethodologyForAnalyzingHuman-AutomationInterac..> 28-May-2020 12:52                   -
ApplicationsOfModelCheckingForMulti-agentSystem..> 28-May-2020 12:52                   -
AutomaticVerificationOfKnowledgeAndTimeWithNuSMV/  28-May-2020 12:52                   -
CombiningPartialOrderReductionAndSymbolicModelC..> 28-May-2020 12:52                   -
CombiningPartialOrderReductionWithBoundedModelC..> 28-May-2020 12:52                   -
CombiningPartialOrderReductionWithSymbolicModel..> 28-May-2020 12:52                   -
EfficientSymbolicModelCheckingForProcessAlgebras/  28-May-2020 12:52                   -
FormalVerificationOfAutonomyModelsFromLivingsto..> 28-May-2020 12:52                   -
FormalVerificationOfDiagnosabilityViaSymbolicMo..> 28-May-2020 12:52                   -
ImprovingTheModelCheckingOfStrategiesUnderParti..> 28-May-2020 12:52                   -
LearningSystemAbstractionsForHumanOperators/       28-May-2020 12:52                   -
MilestonesAModelCheckerCombiningSymbolicModelCh..> 28-May-2020 12:52                   -
OperationalModelIntegratingUserTasksAndEnvironm..> 28-May-2020 12:52                   -
PDVerAToolToVerifyPDDLPlanningDomains/             28-May-2020 12:52                   -
PyNuSMVNuSMVAsAPythonLibrary/                      28-May-2020 12:52                   -
ReasoningAboutMemorylessStrategiesUnderPartialO..> 28-May-2020 12:52                   -
ReasoningAboutStrategiesUnderPartialObservabili..> 28-May-2020 12:52                   -
RichCounter-ExamplesForTemporal-EpistemicLogicM..> 28-May-2020 12:52                   -
StateEventModelsForTheFormalAnalysisOfHuman-Mac..> 28-May-2020 12:52                   -
SymbolicModelCheckingOfLogicsWithActions/          28-May-2020 12:52                   -
SymbolicModelCheckingOfMulti-modalLogicsUniform..> 28-May-2020 12:52                   -
TasksDecompositionOfSystemModelsForHuman-Machin..> 28-May-2020 12:52                   -
TestingPlanningDomainsWithoutModelCheckers/        28-May-2020 12:52                   -
VerificationAndValidationAndArtificialIntelligence 28-May-2020 12:52                   -
VerificationOfRailwayInterlockingSystems/          28-May-2020 12:52                   -
cpa09-sbtp.pdf                                     28-May-2020 12:52              232103