- Context-PetriNets.Docs was modified June 12, 2014, at 03:56 PM.
- News.FeaturesOnDemandPaper was modified December 23, 2013, at 04:28 PM.
- Publications.FeaturesOnDemand was modified December 23, 2013, at 04:22 PM.
- News.PhDDefended was modified September 17, 2013, at 02:17 PM.
- Publications.IdentificationAndManagementOfInconsistenciesInDynamicallyAdaptiveSoftwareSystems was modified September 17, 2013, at 02:17 PM.
- Publications.ModelingAndAnalyzingSelf-AdaptiveSystemsWithContextPetriNets was modified July 10, 2013, at 12:02 PM.
- Intranet.Equipment was modified May 21, 2013, at 04:14 PM.
- Intranet.ResearchProgressNicolásCardozo was modified May 21, 2013, at 04:10 PM.
- News.CoPNPaperAcceptedAtTASE2013 was modified April 30, 2013, at 10:21 AM.
- Intranet.PaperPlans was modified March 06, 2013, at 12:28 PM.
- Publications.ContextTraitsDynamicBehaviourAdaptationThroughRun-TimeTraitRecomposition was modified February 02, 2013, at 02:31 PM.
- News.COPWorkshop2013Edition was modified January 28, 2013, at 05:54 PM.
- Intranet.ResearchProgressSebastiánGonzález was modified December 17, 2012, at 04:10 PM.
- News.ContextTraitsPaperAcceptedAtAOSD2013 was modified December 11, 2012, at 09:41 PM.
- Members.KimMens was modified December 05, 2012, at 02:04 PM.
- Publications.Subjective-CMultithreadedContext-OrientedProgrammingwithObjective-C was modified December 05, 2012, at 11:14 AM.
- Publications.Subjective-CEnablingContext-AwareProgrammingOnIPhones was modified December 04, 2012, at 01:42 PM.
- Tools.Subjective-C was modified December 04, 2012, at 01:15 PM.
- News.FeaturedArticleInDatanews was modified November 29, 2012, at 03:12 PM.
- Intranet.Intranet was modified November 19, 2012, at 03:25 PM.
- Intranet.InterestingConferences was modified November 04, 2012, at 10:39 PM.
- News.LogicObjectsPaperAcceptedAtPADL2013 was modified October 31, 2012, at 04:34 PM.
- IntranetNews.LogicObjectsPaperAcceptedAtPADL2013 was modified October 31, 2012, at 04:33 PM.
- News.VariCompWorkshop2013Edition was modified October 22, 2012, at 02:50 PM.
- Intranet.TFEGuidance was modified October 18, 2012, at 04:14 PM.
- Intranet.TeachingAssignments was modified October 18, 2012, at 01:31 PM.
- KimMens.UsefulDocumentsForThesisStudents was modified October 18, 2012, at 01:27 PM.
- News.VariCompWorkshop2012Edition was modified October 16, 2012, at 07:21 PM.
- Members.TestPreviousMember? was modified October 10, 2012, at 03:19 PM. Bye bye Hommer
- Projects.FNRS-IdentifyingFingerprintsOfStructuralCodeDeficienciesInObjectOrientedSoftware was modified September 22, 2012, at 12:34 PM.
- Intranet.PhDProgressOfNicolasCardozo was modified September 18, 2012, at 11:01 AM.
- Tools.Context-PetriNets was modified August 05, 2012, at 07:53 PM.
- Context-PetriNets.NewBug was modified August 03, 2012, at 10:41 PM.
- Context-PetriNets.BugReport was modified August 03, 2012, at 09:59 PM.
- Context-PetriNets.LatestRelease was modified August 03, 2012, at 06:54 PM.
- Intranet.InterestingJournals was modified July 24, 2012, at 11:41 AM.
- News.CopJs-Context-AwareTraitCompositionForMobilePlatforms was modified July 17, 2012, at 10:29 AM.
- News.PhenomenalGem-PuttingFeaturesAsAServiceOnRails was modified July 12, 2012, at 11:40 AM.
- Publications.TowardsATaxonomyOfToolsForDocumentingCodeDesign was modified July 09, 2012, at 11:17 PM.
- Publications.GenerationAndCompositionOfCorrectiveActionsToStructuralDesignProblemsInCodeWithHeal was modified July 09, 2012, at 11:14 PM.
- Publications.LogicObjectsALinguisticSymbiosisApproachToBringTheDeclarativePowerOfPrologToJava was modified July 09, 2012, at 11:01 PM.
- Publications.DynamicSchemaALightweightPersistencyFrameworkForContext-OrientedDataManagement was modified July 09, 2012, at 10:52 PM.
- Publications.UnifyingGlobalAndContextBehaviorWithContextPetriNets was modified July 03, 2012, at 04:24 PM.
- Members.NicolasCardozo was modified July 02, 2012, at 01:06 PM.
- Publications.ContextPetriNetsEnablingConsistentCompositionOfContext-DependentBehavior was modified July 02, 2012, at 01:00 PM.
- Publications.Context-OrientedProgramming was modified June 28, 2012, at 09:11 AM.
- News.LogicObjects-ALinguisticSymbiosisApproachToBringTheDeclarativePowerOfPrologToJava was modified June 25, 2012, at 10:36 AM.
- Research.ContextOrientedProgramming was modified May 28, 2012, at 02:00 PM.
- News.ContextPetriNetsEnablingConsistentDefinitionOfContext-DependentBehavior was modified May 15, 2012, at 11:38 AM.
- News.DynamicSchema-ALightweightPersistencyFrameworkForContext-OrientedDataManagement was modified May 09, 2012, at 04:15 PM.
- News.CourseOnReflectionAndContext-orientedProgramming was modified May 08, 2012, at 06:03 PM.
- Projects.VARIBRU was modified May 08, 2012, at 06:03 PM.
- News.Sad was modified May 03, 2012, at 03:33 PM.
- IntranetNews.Dasdsf? was modified May 03, 2012, at 03:32 PM.
- IntranetNews.CollaborativeProjectFNRSMINCyTApproved? was modified May 03, 2012, at 03:32 PM.
- News.Dsadsad was modified May 01, 2012, at 10:07 PM.
- IntranetNews.UnitingGlobalAndLocalContextBehaviorWithContextPetriNets was modified April 30, 2012, at 01:54 PM.
- Main.HomePage was modified April 29, 2012, at 08:48 AM.
- Members.DiegoOrdonez was modified April 23, 2012, at 03:14 PM.
- Publications.ContextPetriNetsDefinitionAndManagement was modified April 23, 2012, at 03:01 PM.
- News.PhenomenalGem was modified April 19, 2012, at 10:11 PM.
- Publications.AQualitativeComparisonOfThreeAspectMiningTechniques was modified April 18, 2012, at 10:04 PM.
- Publications.ApplyingAndCombiningThreeDifferentAspectMiningTechniques was modified April 18, 2012, at 10:04 PM.
- Publications.ASurveyOfAutomatedCode-LevelAspectMiningTechniques was modified April 18, 2012, at 10:03 PM.
- Publications.PitfallsInAspectMining was modified April 18, 2012, at 10:02 PM.
- Context-PetriNets.Examples was modified April 17, 2012, at 05:14 PM.
- Tools.Ambience was modified April 16, 2012, at 03:08 PM.
- News.BestPaperAward was modified April 03, 2012, at 11:37 AM.
- Projects.WBI-EvaluationDesEffetsDeLUtilisationDesRegularitesDeCodeSourceSurLaMaintenabiliteEtLEvolutiviteDeLogiciels was modified March 23, 2012, at 05:22 PM.
- News.Fff was modified March 23, 2012, at 05:21 PM.
- IntranetNews.PaperAcceptedAtRSSE2012AutomatedAssessmentOfCorrectnessOfRecommendationSystems was modified March 23, 2012, at 03:59 PM.
- Publications.AutomatedAssessmentOfCorrectnessOfRecommendationSystems was modified March 23, 2012, at 03:50 PM.
- IntranetNews.CooperationProjectWallonieQuebecApproved? was modified March 23, 2012, at 10:35 AM.
- IntranetNews.CollaborativeProjectWallonie-BruxellesQuebecApproved? was modified March 23, 2012, at 10:34 AM.
- Publications.ProgrammingInAmbienceGearingUpForDynamicAdaptationToContext was modified March 20, 2012, at 10:48 AM.
- Members.SebastianGonzalez was modified March 20, 2012, at 10:08 AM.
- News.VariBruLunchEvent-SolvingYourVariabilityHeadache was modified March 20, 2012, at 09:57 AM.
- News.VariBruLunchEvent-VariBruLunchEvent-SolvingYourVariabilityHeadache was modified March 20, 2012, at 09:33 AM.
- News.TowardsAStudent-centricApproachInTeachingObject-orientedDesignAndDataManagement was modified March 20, 2012, at 01:32 AM.
- Publications.BuildingComposableAspect-specificLanguagesWithLogicMetaprogramming was modified March 20, 2012, at 01:19 AM.
- Publications.MaintainingSoftwareThroughIntentionalSource-CodeViews was modified March 20, 2012, at 01:14 AM.
- Publications.WorkshopOnKnowledge-BasedObject-OrientedSoftwareEngineering was modified March 20, 2012, at 01:09 AM.
- Publications.SupportingSoftwareEvolutionWithIntentionalSoftwareViews was modified March 20, 2012, at 01:00 AM.
- Publications.ManagingUnanticipatedEvolutionOfSoftwareArchitectures was modified March 20, 2012, at 12:57 AM.
- Publications.DeclarativelyCodifyingSoftwareArchitecturesUsingVirtualSoftwareClassifications was modified March 20, 2012, at 12:51 AM.
- Publications.AssessingTheEvolvabilityOfSoftwareArchitectures was modified March 20, 2012, at 12:47 AM.
- Publications.WorkshopReport-ECOOP98Workshop7OnToolsAndEnvironmentsForBusinessRules was modified March 20, 2012, at 12:42 AM.
- Publications.Aspect-OrientedProgrammingWorkshopReport was modified March 20, 2012, at 12:35 AM.
- Publications.CombiningBehaviouralAndStructuralSoftwareDescriptions was modified March 20, 2012, at 12:30 AM.
- Publications.ManagingSoftwareEvolutionThroughReuseContracts was modified March 20, 2012, at 12:24 AM.
- Publications.OPUSAFormalApproachToObject-Orientation was modified March 20, 2012, at 12:10 AM.
- Publications.Guest was modified March 19, 2012, at 11:28 PM.
- Publications.MiningSourceCodeForStructuralRegularities was modified March 19, 2012, at 11:27 PM.
- Publications.MEntoRMiningEntitiesToRules was modified March 19, 2012, at 11:26 PM.
- Publications.DeclarativeMetaProgrammingToSupportSoftwareDevelopmentWorkshopReport was modified March 19, 2012, at 11:22 PM.
- Publications.FifthInternationalWorkshopOnObject-orientedReengineering was modified March 19, 2012, at 11:16 PM.
- Publications.MiningAspectualViewsUsingFormalConceptAnalysis was modified March 19, 2012, at 11:13 PM.
- Publications.Object-orientedReengineering was modified March 19, 2012, at 11:06 PM.
- Publications.AcademicSoftwareDevelopmentToolsAndTechniques was modified March 19, 2012, at 10:43 PM.
- Publications.OrchestratingContext-AwareSystemsADesignPerspective was modified March 19, 2012, at 10:31 PM.
- Publications.DiagnosisAndSemi-automaticCorrectionOfDetectedDesignInconsistenciesInSourceCode was modified March 19, 2012, at 10:30 PM.
- Publications.SaferContextDeActivationThroughThePrompt-LoyalStrategy was modified March 19, 2012, at 10:25 PM.
- Publications.DiagnosingAndCorrectingDesignInconsistenciesInSourceCodeWithLogicalAbduction was modified March 19, 2012, at 10:19 PM.
- Publications.SecondInternationalWorkshopOnSoftwareResearchAndClimateChange was modified March 19, 2012, at 10:18 PM.
- Publications.AutomatedGenerationOfProgramTranslationAndVerificationToolsUsingAnnotatedGrammars was modified March 19, 2012, at 10:14 PM.
- Publications.Feature-OrientedProgrammingAndContext-OrientedProgrammingComparingParadigmCharacteristicsByExampleImplementations was modified March 19, 2012, at 10:04 PM.
- Publications.PredicatedGenericFunctionsEnablingContext-DependentMethodDispatch was modified March 19, 2012, at 09:58 PM.
- Publications.Subjective-CBringingContextToMobilePlatformProgramming was modified March 19, 2012, at 09:52 PM.
- Members.AlfredoCadiz was modified January 31, 2012, at 11:23 AM.
- Members.JohanBrichau was modified January 30, 2012, at 10:16 PM.
- News.COPWorkshop2012Edition was modified January 13, 2012, at 04:20 PM.
- News.SLE2012 was modified January 13, 2012, at 04:20 PM.
- Publications.TowardsAFrameworkForTestingStructuralSource-CodeRegularities was modified December 10, 2011, at 10:04 PM.
- Members.SergioCastro was modified December 05, 2011, at 02:20 PM.
- Members.AngelaLozano was modified November 26, 2011, at 07:15 PM.
- News.OpenPhDPosition? was modified November 25, 2011, at 08:45 AM.
- News.INGIFall2011DoctoralSchoolDayOnSoftwareEngineeringAndProgrammingSystems was modified November 25, 2011, at 08:45 AM.
- IntranetNews.Test? was modified November 09, 2011, at 10:18 PM.
- News.INGIFall2011DoctoralSchoolDay? was modified November 09, 2011, at 05:55 PM.
- News.TestingPublicNews? was modified November 09, 2011, at 03:59 PM.
- IntranetNews.TestingPrivateNews? was modified November 09, 2011, at 03:58 PM.
- News.PapareAcceptedAtSAC2012 was modified November 07, 2011, at 04:47 PM.
- Publications.PrefaceToVariabilityAtER2011 was modified October 31, 2011, at 04:53 PM.
- Publications.VariabilityAtER2011-WorkshopOnSoftwareVariability was modified October 31, 2011, at 04:41 PM.
- Publications.AnOverviewOfTechniquesForDetectingSoftwareVariabilityConceptsInSourceCode was modified October 31, 2011, at 04:38 PM.
- Publications.AssessingArchitecturalEvolutionACaseStudy was modified October 31, 2011, at 09:26 AM.
- Intranet.ResearchProgressKimMens was modified October 28, 2011, at 12:29 PM.
- IntranetNews.AllRecentPublicationsOnline was modified October 25, 2011, at 03:13 PM.
- Publications.EvolutionIssuesInAspect-OrientedProgramming was modified October 22, 2011, at 03:33 PM.
- Publications.7thWorkshopOnObject-OrientedReengineering was modified October 22, 2011, at 03:25 PM.
- Publications.HighlyDynamicBehaviourAdaptabilityThroughPrototypesWithSubjectiveMultimethods was modified October 22, 2011, at 03:11 PM.
- Publications.ReportOfTheSixthInternationalWorkshopOnObject-OrientedReengineering was modified October 22, 2011, at 02:55 PM.
- Publications.APPAREILAToolForBuildingAutomatedProgramTranslatorsUsingAnnotatedGrammars was modified October 21, 2011, at 10:50 AM.
- Publications.TransactionalContextsHarnessingThePowerOfContext-OrientedReflection was modified October 21, 2011, at 10:41 AM.
- Publications.ASelf-AdaptableNetworkTopologyForAmbientIntelligence was modified October 19, 2011, at 09:46 PM.
- Publications.MendelSourceCodeRecommendationBasedOnAGeneticMetaphor was modified October 19, 2011, at 09:34 PM.
- Publications.TheIntensionalViewEnvironment was modified October 19, 2011, at 09:23 PM.
- Tools.IntensiVE was modified October 19, 2011, at 09:20 PM.
- Publications.IntensiVEAToolsuiteForDocumentingAndCheckingStructuralSource-CodeRegularities was modified October 19, 2011, at 09:16 PM.
- Publications.SupportingSoftwareDevelopmentThroughDeclarativelyCodifiedProgrammingPatterns was modified October 19, 2011, at 09:10 PM.
- Publications.ReuseContractsManagingTheEvolutionOfReusableAssets was modified October 19, 2011, at 09:10 PM.
- Publications.Aspect-OrientedSoftwareEvolution was modified October 19, 2011, at 09:05 PM.
- Publications.DelvingSourceCodeWithFormalConceptAnalysis was modified October 19, 2011, at 09:01 PM.
- Publications.Co-evolvingCodeAndDesignWithIntensionalViews-ACaseStudy was modified October 19, 2011, at 08:54 PM.
- Publications.Context-OrientedProgrammingWithTheAmbientObjectSystem was modified October 19, 2011, at 08:52 PM.
- Publications.ToolBuildingOnTheShouldersOfOthers was modified October 19, 2011, at 08:50 PM.
- Publications.LanguageEngineeringForMobileSoftware was modified October 19, 2011, at 06:35 PM.
- Publications.ManagingTheEvolutionOfAspect-OrientedSoftwareWithModel-basedPointcuts was modified October 19, 2011, at 06:18 PM.
- Publications.AUnifiedMechanismForImprovingAdvancedTransactionManagementInWebServices was modified October 19, 2011, at 05:58 PM.
- Publications.OpenUnificationForProgramQueryLanguages was modified October 19, 2011, at 05:52 PM.
- Publications.PloneGovAsAnOpenSourceProductLine was modified October 19, 2011, at 05:42 PM.
- Publications.UsingAnnotatedGrammarsForTheAutomatedGenerationOfProgramTransformers was modified October 19, 2011, at 05:32 PM.
- Publications.AModel-drivenPointcutLanguageForMoreRobustPointcuts was modified October 19, 2011, at 05:15 PM.
- Publications.AComparativeFrameworkForDesignRecoveryTools was modified October 19, 2011, at 03:49 PM.
- Publications.IssuesAndProblemsInTestAndOperationsLanguageTranslation was modified October 19, 2011, at 03:19 PM.
- Publications.EnforcingStructuralRegularitiesInSourceCodeUsingIntensiVE was modified October 19, 2011, at 02:56 PM.
- Publications.Application-SpecificModelsAndPointcutsUsingALogicMetaLanguage was modified October 19, 2011, at 02:10 PM.
- Publications.PALTAPeer-to-peerAdaptableTopologyForAmbientIntelligence was modified October 19, 2011, at 01:23 PM.
- Publications.AutomatedDerivationOfTranslatorsFromAnnotatedGrammars was modified October 19, 2011, at 01:07 PM.
- Intranet.ResearchProgressSergioCastro was modified October 18, 2011, at 04:43 PM.
- Intranet.ResearchProgressAngelaLozano was modified October 18, 2011, at 04:09 PM.
- Intranet.ResearchProgressSergioCastroSept2011 was modified October 18, 2011, at 04:04 PM.
- Intranet.ResearchProgress was modified October 18, 2011, at 04:04 PM.
- Intranet.TFEBiersbachLaplume was modified October 11, 2011, at 04:19 PM.
- IntranetNews.OpenResearchPosition was modified October 10, 2011, at 07:53 PM.
- Intranet.PMWikiTips was modified October 10, 2011, at 01:51 PM.
- Intranet.TFEParis was modified October 06, 2011, at 01:10 PM.
- Intranet.TFEKaisin was modified October 06, 2011, at 11:23 AM.
- Intranet.ResearchProgressKimMens13092011? was modified October 05, 2011, at 11:01 PM.
- Intranet.TFEPonceletVigneron was modified October 05, 2011, at 06:38 PM.
- KimMens.Teaching was modified October 05, 2011, at 11:09 AM.
- KimMens.TabMenu was modified October 05, 2011, at 11:07 AM.
- Publications.UsingIntentionalSourceCodeViewsToAidSoftwareMaintenance was modified October 04, 2011, at 09:30 PM.
- Publications.UsingIntentionalSource-CodeViewsToAidSoftwareMaintenance? was modified October 04, 2011, at 09:29 PM.
- Publications.EnforcingStructuralRegularitiesInSoftwareUsingIntensiVE was modified October 04, 2011, at 07:57 PM.
- Intranet.PhdProgressOfSergioCastro was modified October 04, 2011, at 03:54 PM.
- Intranet.ResearchProgressAngelaLozanoSept2011 was modified October 04, 2011, at 03:50 PM.
- Publications.TrackingClonesImprint was modified October 04, 2011, at 03:28 PM.
- Profiles.AlfredoCadiz was modified October 03, 2011, at 10:19 AM.
- Profiles.SebastianGonzalez? was modified October 03, 2011, at 10:19 AM.
- Profiles.PascalConstanza? was modified October 03, 2011, at 10:18 AM.
- Publications.ReportOfThe2ndWorkshopOnObject-OrientedLanguageEngineeringForThePost-JavaEraBackToDynamicity was modified October 03, 2011, at 10:18 AM.
- Profiles.SebastiánGonzálezKimMens? was modified October 03, 2011, at 10:17 AM.
- News.JobVacancyForAFull-timeTenure-trackProfessorInProgrammingSystems was modified October 02, 2011, at 07:51 PM.
- Main.AddPubli was modified September 29, 2011, at 04:26 PM.
- Intranet.TFEGarcia was modified September 28, 2011, at 03:54 PM.
- Intranet.CPMESébastienScoumanne was modified September 28, 2011, at 03:53 PM.
- Intranet.TFEColacioiu was modified September 28, 2011, at 03:52 PM.
- Profiles.TomVanCutsem was modified September 28, 2011, at 11:45 AM.
- Profiles.EngineerBainomugisha was modified September 28, 2011, at 11:45 AM.
- News.BENEVOL2011Seminar? was modified September 26, 2011, at 09:54 PM.
- News.10thBElgian-NEtherlandsSoftwareEVOLutionSeminar was modified September 26, 2011, at 09:54 PM.
- Research.AspectOrientedTechnology was modified September 25, 2011, at 04:55 PM.
- Publications.EvolutionaryProblemsInAspect-OrientedSoftwareDevelopment was modified September 25, 2011, at 04:54 PM.
- Tools.MendelSourceCodeRecommendationTool was modified September 25, 2011, at 04:19 PM.
- IntranetNews.ToolsAndPublications was modified September 25, 2011, at 02:11 AM.
- Tools.HEAL was modified September 25, 2011, at 01:19 AM.
- Publications.Publications was modified September 23, 2011, at 07:37 PM.
- News.VariabilityAtER2011 was modified September 23, 2011, at 07:20 PM.
- News.Context-orientedProgrammingForCustomizableSaaSApplications was modified September 23, 2011, at 07:12 PM.
- SiteAdmin.AuthUser was modified September 23, 2011, at 04:23 PM.
- IntranetNews.BENEVOL2011Seminar? was modified September 23, 2011, at 12:21 PM.
- Intranet.TagsUsage was modified September 21, 2011, at 11:37 AM.
- News.ShortPaperAcceptedAtASE2011 was modified September 21, 2011, at 11:21 AM.
- Intranet.UseOfImages was modified September 21, 2011, at 10:49 AM.
- Category.CTL? was modified September 21, 2011, at 10:34 AM.
- Tools.Milestones? was modified September 21, 2011, at 09:48 AM.
- Projects.MOVES was modified September 21, 2011, at 09:41 AM.
- Projects.TestPreviousProject? was modified September 21, 2011, at 09:40 AM.
- Main.TagCloud was modified September 21, 2011, at 09:34 AM. Center text in cloud, rather than justify.
- News.RELEASeDWebsiteReleasedInBeta-mode? was modified September 21, 2011, at 09:31 AM.
- Tools.MEntoR? was modified September 20, 2011, at 04:45 PM.
- Tools.Tools was modified September 20, 2011, at 04:44 PM.
- Intranet.ResearchProgressKimMens20092011? was modified September 20, 2011, at 02:56 PM.
- Profiles.GuillaumeBrat? was modified September 20, 2011, at 01:46 PM.
- Profiles.TimMenzies? was modified September 20, 2011, at 01:45 PM.
- Profiles.TheoDHondt was modified September 20, 2011, at 01:45 PM.
- Profiles.SébastienCombéfis? was modified September 20, 2011, at 01:45 PM.
- Profiles.SebastiánGonzález was modified September 20, 2011, at 01:45 PM.
- Profiles.ReidSimmons? was modified September 20, 2011, at 01:44 PM.
- Profiles.PeterEngrand? was modified September 20, 2011, at 01:44 PM.
- Profiles.MichaelFeary? was modified September 20, 2011, at 01:44 PM.
- Profiles.JoséVanderMeulen? was modified September 20, 2011, at 01:44 PM.
- Profiles.FrancoRaimondi? was modified September 20, 2011, at 01:43 PM.
- Profiles.ElisabettaDiNitto? was modified September 20, 2011, at 01:43 PM.
- Intranet.ResearchProgressNicolásCardozo20092011 was modified September 20, 2011, at 10:35 AM.
- Intranet.RELEASEDResources was modified September 19, 2011, at 03:37 PM.
- Profiles.CharlesPecheur? was modified September 19, 2011, at 03:14 PM.
- Publications.AFormalAnalysisOfRequirements-BasedTesting? was modified September 19, 2011, at 12:03 PM.
- Publications.PDVerAToolToVerifyPDDLPlanningDomains? was modified September 19, 2011, at 12:02 PM.
- Publications.ABisimulation-BasedApproachToTheAnalysisOfHuman-ComputerInteraction? was modified September 19, 2011, at 12:02 PM.
- Publications.CombiningPartialOrderReductionWithBoundedModelChecking? was modified September 19, 2011, at 12:02 PM.
- Publications.OperationalModelIntegratingUserTasksAndEnvironmentInformationWithSystemModel? was modified September 19, 2011, at 12:02 PM.
- Publications.25thIEEE-ACMInternationalConferenceOnAutomatedSoftwareEngineering? was modified September 19, 2011, at 12:02 PM.
- Projects.CentreDeRechercheEnAdaptabilitéLogicielle was modified September 19, 2011, at 11:59 AM.
- Projects.Projects was modified September 19, 2011, at 11:58 AM.
- Tools.TestTool2? was modified September 15, 2011, at 02:40 PM.
- Projects.TestProject? was modified September 15, 2011, at 02:33 PM.
- Intranet.PotentiallyInterestingRelatedWorkForSergio was modified September 15, 2011, at 07:56 AM.
- KimMens.KimMens was modified September 14, 2011, at 11:12 PM.
- IntranetNews.TestingMeetingMinutes was modified September 14, 2011, at 09:15 PM.
- IntranetNews.AddYourPaperPlans was modified September 14, 2011, at 09:14 PM.
- IntranetNews.TeachingAssignments was modified September 14, 2011, at 09:04 PM.
- Intranet.PhDProgress was modified September 14, 2011, at 02:35 PM.
- Intranet.PresentationOn13092011? was modified September 14, 2011, at 02:34 PM.
- Intranet.PresentationSergioOn13092011 was modified September 14, 2011, at 02:33 PM.
- KimMens.SearchResults was modified September 14, 2011, at 11:40 AM.
- KimMens.SiteHeader was modified September 14, 2011, at 11:39 AM.
- KimMens.Bio was modified September 14, 2011, at 11:32 AM.
- Members.Members was modified September 14, 2011, at 10:38 AM.
- Intranet.ResearchExchanges was modified September 14, 2011, at 10:26 AM.
- IntranetNews.ListOfInterestingJournals was modified September 14, 2011, at 10:10 AM.
- IntranetNews.ListOfInterestingConferences was modified September 14, 2011, at 09:29 AM.
- News.News was modified September 14, 2011, at 07:59 AM.
- Profiles.SergioCastro was modified September 13, 2011, at 08:14 PM.
- Intranet.PresentationNicolasOn13092011 was modified September 13, 2011, at 04:22 PM.
- Intranet.MeetingMinutes was modified September 13, 2011, at 02:21 PM.
- Intranet.MeetingMinutes13092011? was modified September 13, 2011, at 02:21 PM.
- Category.Category was modified September 13, 2011, at 11:38 AM.
- Projects.PreviousProjects was modified September 13, 2011, at 11:22 AM.
- Members.PreviousMembers was modified September 13, 2011, at 11:08 AM.
- Research.Research was modified September 13, 2011, at 10:59 AM.
- Research.SoftwareDevelopmentTechnology was modified September 13, 2011, at 10:58 AM.
- Research.SoftwareEvolutionTechnology was modified September 13, 2011, at 10:58 AM.
- Tools.NuSMV-ARCTL-TLACE? was modified September 13, 2011, at 10:53 AM.
- Category.Test2? was modified September 13, 2011, at 07:45 AM.
- Intranet.ResearchProgressTemplateForm was modified September 12, 2011, at 08:21 PM.
- Category.SourceCodeRecommendation was modified September 12, 2011, at 04:36 PM.
- Publications.Test? was modified September 12, 2011, at 04:17 PM.
- Profiles.JamieAndrews? was modified September 12, 2011, at 03:07 PM.
- Profiles.DimitraGiannakopoulou? was modified September 12, 2011, at 11:12 AM.
- Profiles.AlessioLomuscio? was modified September 12, 2011, at 11:12 AM.
- Category.Actions? was modified September 12, 2011, at 11:03 AM.
- Profiles.JulienGoffaux was modified September 12, 2011, at 10:32 AM.
- Profiles.Jean-ChristopheLibbrecht was modified September 12, 2011, at 10:32 AM.
- Profiles.NicolasCardozo was modified September 12, 2011, at 10:32 AM.
- Profiles.AndyKellens was modified September 12, 2011, at 10:32 AM.
- Profiles.AngelaLozano was modified September 12, 2011, at 10:32 AM.
- Profiles.KimMens was modified September 12, 2011, at 10:31 AM.
- Publications.FormalVerificationOfAutonomyModelsFromLivingstoneToSMV? was modified September 12, 2011, at 12:13 AM.
- Publications.TestingPlanningDomainsWithoutModelCheckers? was modified September 12, 2011, at 12:13 AM.
- History.History was modified September 11, 2011, at 11:46 PM.
- Publications.SymbolicModelCheckingOfLogicsWithActions? was modified September 11, 2011, at 04:28 PM.
- Publications.EfficientSymbolicModelCheckingForProcessAlgebras? was modified September 11, 2011, at 04:14 PM.
- Publications.MilestonesAModelCheckerCombiningSymbolicModelCheckingAndPartialOrderReduction? was modified September 11, 2011, at 04:12 PM.
- Publications.CombiningPartialOrderReductionAndSymbolicModelCheckingToVerifyLTLProperties? was modified September 11, 2011, at 04:12 PM.
- Publications.AFormalFrameworkForDesignAndAnalysisOfHuman-MachineInteraction? was modified September 11, 2011, at 04:12 PM.
- Publications.VerificationAndValidationAndArtificialIntelligence? was modified September 11, 2011, at 04:12 PM.
- Publications.ApplicationsOfModelCheckingForMulti-agentSystemsVerificationOfDiagnosabilityAndRecoverability? was modified September 11, 2011, at 04:11 PM.
- Publications.AutomaticVerificationOfKnowledgeAndTimeWithNuSMV? was modified September 11, 2011, at 04:11 PM.
- Members.SimonBusard? was modified September 11, 2011, at 03:07 PM.
- Members.SebastienCombefis? was modified September 11, 2011, at 03:02 PM.
- News.FirstReleaseOfLVLWebsite? was modified September 11, 2011, at 11:50 AM.
- News.PublicationsDatabaseIsUp? was modified September 11, 2011, at 11:50 AM.
- News.ASE2010InAntwerpInSeptember? was modified September 11, 2011, at 11:49 AM.
- News.LVLSiteGoesPublic? was modified September 11, 2011, at 11:49 AM.
- News.SimonBusardJoinsLVL? was modified September 11, 2011, at 11:49 AM.
- News.TwoPapersAtNFM2011? was modified September 11, 2011, at 11:48 AM.
- News.LVLToolsNowAvailable? was modified September 11, 2011, at 11:47 AM.
- News.PaperAcceptedAtSMC2011? was modified September 11, 2011, at 11:47 AM.
- Research.SymbolicModelCheckingOfAsynchronousSystems? was modified September 11, 2011, at 11:06 AM.
- Research.HumanComputerInteractionVerification? was modified September 11, 2011, at 11:06 AM.
- Research.FunctionalRequirementsCoverage? was modified September 11, 2011, at 11:06 AM.
- Research.CounterexamplesInSymbolicModelChecking? was modified September 11, 2011, at 10:56 AM.
- Members.JoseVanderMeulen? was modified September 10, 2011, at 10:47 AM.
- Category.CDREAL was modified September 10, 2011, at 10:05 AM.
- Main.SearchResults was modified September 09, 2011, at 10:08 PM.
- Main.Contact was modified September 09, 2011, at 09:05 PM.
- Projects.MoVES? was modified September 09, 2011, at 07:41 PM.
- Projects.FRFCAdaptabilite? was modified September 09, 2011, at 07:37 PM.
- Members.CharlesPecheur? was modified September 09, 2011, at 07:10 PM.
- IntranetNews.IntranetNews was modified September 09, 2011, at 03:44 PM.
- Intranet.Test? was modified September 09, 2011, at 03:43 PM.
- Main.AddNews was modified September 09, 2011, at 03:39 PM.
- News.Test? was modified September 09, 2011, at 03:34 PM.
- Main.About was modified September 09, 2011, at 03:18 PM.
- Main.OtherLVLs? was modified September 09, 2011, at 03:13 PM.
- LVLPrivateNews.ReunionLVL6Septembre2011? was modified September 06, 2011, at 01:05 PM.
- LVLPrivateNews.ReunionLVL30Aout2011? was modified August 30, 2011, at 11:57 AM.
- LVLPrivateNews.ReunionLVL16Aout2011? was modified August 16, 2011, at 12:03 PM.
- LVLPrivateNews.ReunionLVL09Aout2011? was modified August 09, 2011, at 01:49 PM.
- LVLPrivateNews.ReunionLVL29Juin2011? was modified June 29, 2011, at 04:55 PM.
- LVLPrivateNews.ReunionLVL14Juin2011? was modified June 14, 2011, at 11:44 AM.
- LVLPrivateNews.ReunionLVL30Mai2011? was modified May 30, 2011, at 11:36 AM.
- LVLPrivateNews.ReunionLVL24Mai2011? was modified May 24, 2011, at 11:52 AM.
- LVLPrivateNews.ReunionLVL17Mai2011? was modified May 17, 2011, at 11:35 AM.
- LVLPrivateNews.ReunionLVL10Mai2011? was modified May 10, 2011, at 01:17 PM.
- LVLPrivateNews.ReunionLVL03Mai2011? was modified May 03, 2011, at 11:30 AM.
- LVLPrivateNews.ReunionLVL28Avril2011? was modified April 28, 2011, at 02:55 PM.
- LVLPrivateNews.LVLMeetingApril52011? was modified April 05, 2011, at 12:57 PM.
- LVLPrivateNews.ReunionLVL29Mars2011? was modified March 29, 2011, at 01:22 PM.
- LVLPrivateNews.LVLMeetingMarch152011? was modified March 15, 2011, at 02:20 PM.
- LVLPrivateNews.ReunionLVL28Fevrier2011? was modified February 28, 2011, at 01:45 PM.
- LVLPrivateNews.ReunionLVL21Fevrier2011? was modified February 28, 2011, at 08:57 AM.
- LVLPrivateNews.ReunionLVL14Fevrier2011? was modified February 14, 2011, at 01:28 PM.
- LVLPrivateNews.ReunionLVL07Fevrier2011? was modified February 07, 2011, at 10:02 PM.
- LVLPrivateNews.ReunionLVL01Fevrier2011? was modified February 07, 2011, at 10:32 AM.
- LVLPrivateNews.ReunionLVL04Janvier2011? was modified January 04, 2011, at 12:06 PM.
- Tools.Millestones? was modified December 23, 2010, at 05:21 PM.
- Tools.NuSMV-TLACE? was modified December 21, 2010, at 04:41 PM.
- LVLPrivateNews.ReunionLVL21Decembre2010? was modified December 21, 2010, at 12:05 PM.
- LVLPrivateNews.ReunionLVL1Decembre2010? was modified December 01, 2010, at 10:41 AM.
- Research.DiagnosisInSymbolicModelChecking? was modified November 24, 2010, at 11:54 AM.
- LVLPrivateNews.ReunionLVL23Novembre2010? was modified November 24, 2010, at 08:51 AM.
- Tools.NuSMVTrace? was modified November 24, 2010, at 08:45 AM. Deleted due to wrong page name.
- LVLPrivateNews.ReunionLVL16Novembre2010? was modified November 16, 2010, at 12:08 PM.
- LVLPrivateNews.ReunionLVL3Novembre2010? was modified November 03, 2010, at 05:20 PM.
- LVLPrivateNews.ReunionLVL19Octobre2010? was modified October 20, 2010, at 03:55 PM.
- LVLPrivateNews.ReunionLVL12Octobre2010? was modified October 20, 2010, at 03:54 PM.
- LVLPrivateNews.SimonBusardJoinsLVL? was modified September 08, 2010, at 09:37 AM. moved to public news
- LVLPrivateNews.ReunionLVL30Juillet2010? was modified July 30, 2010, at 04:01 PM.
- LVLPrivateNews.ReunionLVL30Juin2010? was modified July 28, 2010, at 05:19 PM.
- LVLPrivateNews.ReunionLVL18Juin2010? was modified July 07, 2010, at 02:33 PM.
- Category.EpsitemicLogic? was modified July 06, 2010, at 11:52 AM.
- Category.ARCTL? was modified July 06, 2010, at 11:52 AM.
- LVLPrivate.TagsUsage? was modified July 06, 2010, at 11:51 AM.
- Research.SCSVerification? was modified July 06, 2010, at 11:25 AM.
- Research.HMIVerification? was modified July 06, 2010, at 11:25 AM.
- Category.ProjectMoVES? was modified July 06, 2010, at 11:15 AM.
- Category.MemberScientist? was modified July 05, 2010, at 06:34 PM.
- Category.FullName was modified July 05, 2010, at 06:33 PM.
- Category.HMI was modified July 05, 2010, at 06:33 PM.
- Category.Equivalence? was modified July 05, 2010, at 06:30 PM.
- LVLPrivateNews.ReunionLVL9Juin2010? was modified June 10, 2010, at 05:53 PM.
- LVLPrivateNews.ReunionLVL28Avril2010? was modified May 25, 2010, at 09:03 AM.
- LVLPrivateNews.ReunionLVL14Avril2010? was modified May 25, 2010, at 09:02 AM.
- LVLPrivateNews.ReunionLVL20Mai2010? was modified May 25, 2010, at 09:01 AM.
- LVLPrivateNews.14Apr2010Meeting? was modified May 25, 2010, at 09:00 AM.
- LVLPrivateNews.20May2010Meeting? was modified May 25, 2010, at 08:58 AM.
- LVLPrivateNews.ReunionLVL21Avril2010? was modified May 25, 2010, at 08:57 AM.
- LVLPrivateNews.ReunionLVL31Mars2010? was modified May 25, 2010, at 08:56 AM.
- Main.Members? was modified May 19, 2010, at 05:29 PM.
- Main.PlaqueBalzer was modified May 18, 2010, at 11:11 AM.
- Main.TestList? was modified May 12, 2010, at 04:00 PM.
- Category.Pubtags was modified May 06, 2010, at 08:34 PM.
- Category.Tags was modified May 06, 2010, at 08:33 PM.
- LVLPrivate.LVLPrivate? was modified May 06, 2010, at 04:52 PM.
- Category.Test was modified May 06, 2010, at 04:26 PM.
- Category.SpecificationBasedTesting? was modified May 06, 2010, at 04:26 PM.
- Category.Symbolic? was modified May 06, 2010, at 04:24 PM.
- Category.Private? was modified May 06, 2010, at 04:24 PM.
- Category.Por? was modified May 06, 2010, at 04:24 PM.
- Category.Model? was modified May 06, 2010, at 04:23 PM.
- Category.Lorem? was modified May 06, 2010, at 04:23 PM.
- Category.Dolor? was modified May 06, 2010, at 04:21 PM.
- Profiles.Profiles was modified May 06, 2010, at 03:39 PM.
- LVLPrivate.MeetingMinutes? was modified May 06, 2010, at 01:15 PM.
- Main.PublicationsBibtexIndex was modified May 06, 2010, at 01:14 PM.
- News.TestPublic? was modified May 05, 2010, at 10:30 PM.
- LVLPrivateNews.NewAbstractItem? was modified May 05, 2010, at 10:30 PM.
- LVLPrivateNews.TestPrivate? was modified May 05, 2010, at 10:30 PM.
- LVLPrivateNews.Test3? was modified May 05, 2010, at 10:29 PM.
- LVLPrivate.PMWikiTips? was modified May 05, 2010, at 10:24 PM.
- LVLPrivateNews.BewareOfCascadedTextVariableDefinitions? was modified May 05, 2010, at 10:23 PM.
- LVLPrivateNews.28Apr2010Meeting? was modified May 05, 2010, at 10:16 PM.
- LVLPrivateNews.PremieresInstructionsDePierreReinbold? was modified May 05, 2010, at 10:14 PM.
- LVLPrivateNews.EditingTheTabs? was modified May 05, 2010, at 10:10 PM.
- LVLPrivateNews.LVLPrivateNews? was modified May 05, 2010, at 09:43 PM.
- News.PrivateNewsTest? was modified May 05, 2010, at 09:30 PM.
- Publications.BibtexIndex? was modified May 03, 2010, at 10:21 AM.
- Main.Category was modified May 03, 2010, at 09:19 AM.
- Category.Lvl? was modified May 03, 2010, at 09:00 AM.
- Profiles.RobertoCavada? was modified May 02, 2010, at 09:29 PM.
- Profiles.AlessandroCimatti? was modified May 02, 2010, at 09:29 PM.
- Main.BibtexList? was modified May 02, 2010, at 09:24 PM.
- Main.IncludeSandbox? was modified May 02, 2010, at 09:05 PM.
- Main.SandboxPublicationTemplate? was modified May 02, 2010, at 09:05 PM.
- Publications.TestTitle? was modified May 02, 2010, at 09:01 PM.
- Publications.TestTitle2? was modified May 02, 2010, at 09:01 PM.
- Publications.Test2May2010? was modified May 02, 2010, at 09:00 PM.
- Publications.Test2MaiSoir? was modified May 02, 2010, at 09:00 PM.
- Publications.Test2Mai4? was modified May 02, 2010, at 09:00 PM.
- Publications.Test2Mai3? was modified May 02, 2010, at 08:59 PM.
- Profiles.PecheurCharles? was modified May 02, 2010, at 08:41 PM.
- Profiles.VanderMeulenJosé? was modified May 02, 2010, at 08:40 PM.
- Category.PDVer? was modified May 02, 2010, at 08:24 PM.
- Category.PartialOdrerReduction? was modified May 02, 2010, at 08:23 PM.
- Category.Pmwiki? was modified May 02, 2010, at 08:22 PM.
- Publications.Test2Mai4-Bibtex? was modified May 02, 2010, at 07:49 PM.
- Publications.Test2Mai3-Bibtex? was modified May 02, 2010, at 07:48 PM.
- Publications.Test2MaiSoir-Bibtex? was modified May 02, 2010, at 07:42 PM.
- Publications.Test2May2010-Bibtex? was modified May 02, 2010, at 05:10 PM.
- Publications.EfficientSymbolicModelCheckingForProcessAlgebras-Bibtex? was modified April 30, 2010, at 09:37 PM.
- Publications.TestTitle2-Bibtex? was modified April 30, 2010, at 09:35 PM.
- Publications.TestTitle-Bibtex? was modified April 30, 2010, at 06:09 PM.
- Publications.OperationalModelIntegratingUserTasksAndEnvironmentInformationWithSystemModel-Bibtex? was modified April 30, 2010, at 04:29 PM.
- Publications.VerificationAndValidationAndArtificialIntelligence-Bibtex? was modified April 30, 2010, at 04:11 PM.
- Publications.ApplicationsOfModelCheckingForMulti-agentSystemsVerificationOfDiagnosabilityAndRecoverability-Bibtex? was modified April 30, 2010, at 04:03 PM.
- Publications.FormalVerificationOfDiagnosabilityViaSymbolicModelChecking? was modified April 30, 2010, at 04:00 PM.
- Category.HCI was modified April 30, 2010, at 03:57 PM.
- Category.Bmc? was modified April 30, 2010, at 03:57 PM.
- Publications.SymbolicModelCheckingOfLogicsWithActions-Bibtex? was modified April 30, 2010, at 03:53 PM.
- Publications.AutomaticVerificationOfKnowledgeAndTimeWithNuSMV-Bibtex? was modified April 30, 2010, at 03:43 PM.
- Publications.ABisimulation-BasedApproachToTheAnalysisOfHuman-ComputerInteraction-Bibtex? was modified April 30, 2010, at 02:05 PM.
- Publications.PDVerAToolToVerifyPDDLPlanningDomains-Bibtex? was modified April 30, 2010, at 01:42 PM.
- Publications.CombiningPartialOrderReductionWithBoundedModelChecking-Bibtex? was modified April 30, 2010, at 12:04 PM.
- Category.Specification-basedTesting? was modified April 30, 2010, at 11:15 AM.
- Category.Sit? was modified April 30, 2010, at 11:13 AM.
- Category.Pubauthor? was modified April 30, 2010, at 11:09 AM.
- Publications.FormalVerificationOfAutonomyModelsFromLivingstoneToSMV-Bibtex? was modified April 30, 2010, at 11:06 AM.
- Publications.TestingPlanningDomainsWithoutModelCheckers-Bibtex? was modified April 30, 2010, at 11:06 AM.
- Publications.AFormalAnalysisOfRequirements-BasedTesting-Bibtex? was modified April 30, 2010, at 11:05 AM.
- Publications.FormalVerificationOfDiagnosabilityViaSymbolicModelChecking-Bibtex? was modified April 30, 2010, at 10:01 AM.
- Main.TestTemplate? was modified April 29, 2010, at 09:59 PM.
- Main.TestTemplate-template? was modified April 29, 2010, at 09:33 PM.
- FoxNotifyLists.MailFormTemplate was modified April 29, 2010, at 03:54 PM.
- Main.TestContact was modified April 29, 2010, at 03:41 PM.
- FoxNotifyLists.FoxNotifyLists was modified April 29, 2010, at 03:39 PM.
- LVLPrivate.LVLResources? was modified April 29, 2010, at 11:29 AM.
- FoxNotifyLists.TestContactList was modified April 29, 2010, at 09:52 AM.
- Main.ContactForm was modified April 29, 2010, at 09:50 AM.
- FoxNotifyLists.LvlContactList was modified April 29, 2010, at 09:33 AM.
- News.TestNewNews? was modified April 29, 2010, at 08:37 AM.
- People.People was modified April 28, 2010, at 10:40 PM.
- News.TestTitle? was modified April 28, 2010, at 03:40 PM.
- Main.SiteNav? was modified April 23, 2010, at 01:38 PM.