All Recent Changes

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.

The RELEASeD Laboratory

All Recent Changes