Profiles

Charles Pecheur

Results of search for link=Profiles.CharlesPecheur:
Publications /
25thIEEE-ACMInternationalConferenceOnAutomatedSoftwareEngineering
ABackward-traversal-basedApproachForSymbolicModelCheckingOfUniformStrategiesForConstrainedReachability
ABisimulation-BasedApproachToTheAnalysisOfHuman-ComputerInteraction
AFormalAnalysisOfRequirements-BasedTesting
AFormalFrameworkForDesignAndAnalysisOfHuman-MachineInteraction
AFrameworkForTheFormalVerificationOfNetworksOfRailwayInterlockings-ApplicationToTheBelgianRailway
AJavaPathfinderExtensionToAnalyseHuman-MachineInteractions
AMethodologyForAnalyzingHuman-AutomationInteractionsInFlightOperationsUsingFormalVerificationTechniques
ApplicationsOfModelCheckingForMulti-agentSystemsVerificationOfDiagnosabilityAndRecoverability
AutomaticDetectionOfPotentialAutomationSurprisesForADEPTModels
AutomaticVerificationOfKnowledgeAndTimeWithNuSMV
CombiningPartialOrderReductionAndSymbolicModelCheckingToVerifyLTLProperties
CombiningPartialOrderReductionWithBoundedModelChecking
EfficientSymbolicModelCheckingForProcessAlgebras
FormalMethodsForIndustrialCriticalSystems18thInternationalWorkshopFMICS2013
FormalVerificationOfAutonomyModelsFromLivingstoneToSMV
ImprovingTheModelCheckingOfStrategiesUnderPartialObservabilityAndFairnessConstraints
LearningSystemAbstractionsForHumanOperators
MilestonesAModelCheckerCombiningSymbolicModelCheckingAndPartialOrderReduction
PDVerAToolToVerifyPDDLPlanningDomains
PyNuSMVNuSMVAsAPythonLibrary
ReasoningAboutMemorylessStrategiesUnderPartialObservabilityAndUnconditionalFairnessConstraints
ReasoningAboutStrategiesUnderPartialObservabilityAndFairnessConstraints
RichCounter-ExamplesForTemporal-EpistemicLogicModelChecking
StateEventModelsForTheFormalAnalysisOfHuman-MachineInteractions
SymbolicModelCheckingOfLogicsWithActions
TasksDecompositionOfSystemModelsForHuman-MachineInteractionAnalysis
TestingPlanningDomainsWithoutModelCheckers
VerificationAndValidationAndArtificialIntelligence
VerificationOfRailwayInterlocking-CompositionalApproachWithOCRA
VerificationOfRailwayInterlockingSystems
Talks /
ASTRA2006
Dagstuhl2006
FMICS2007
MALETS2011
MBT2007
MOCHART2006
MOVEStutorial2008
PARC2009
UCLMath2012
40 pages found out of 574 pages searched.

A search for more than one word will find pages that contain all of the words. Use quotation marks to search for a phrase. Also use quotes for text with punctuation or special characters. Searches are case insensitive.

To limit your search to a single group, enter the group name followed by a slash at the beginning of the search string (e.g., "PmWiki/" or "Site/"). To list all pages, enter a slash for the search.

Search examples

EnterTo find pages containing
apple pieboth 'apple' and 'pie'
"apple pie"the phrase 'apple pie'
pmwiki/apple'apple' in the PmWiki group of pages
"pmwiki/apple"the phrase 'pmwiki/apple' in all groups of pages
apple -pie'apple', omitting those containing 'pie'
food -"apple pie"'food', omitting those containing 'apple pie'
apple "-pie"the words 'apple' and '-pie'
apple - pie'apple', '-', and 'pie'
"pie:"the word 'pie' with a colon
"pie=tasty"the phrase 'pie=tasty'
pmwiki/all pages in the PmWiki group

Some special characters need to be enclosed in quotes, including the colon (:), equals sign (=), less than (<), single quote (') and double quote(").