Search results for "formalisation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Gabriel Vatin	Formalisation d'un environnement d'aide à l'analyse géovisuelle : Application à la sécurité et sûreté de la maritimisation de l'énergie. (Formalization of a Geovisual Analytics Support Environment / Formalization of a Geovisual Analytics Support Environment : Application to Maritime Oriented Energy Safety and Security).		2014	RDF
17	Aurore Létévé	Etude de l'influence des suspensions de véhicule de tourisme sur le confort vibratoire, le comportement routier et les limites de fonctionnement : l'approche CRONE en matière de formalisation, d'analyse et de synthèse. (Study of the influence of passenger vehicle suspension on vibrational comfort, driving behaviour and operating limits : CRONE approach to formalization, analysis and synthesis).		2014	RDF
17	Sergey Martynenko	Formalisation of the multigrid computations.	Int. J. Comput. Sci. Math.	2013	DBLP DOI BibTeX RDF
17	Gabriela Medina-Oliva, Philippe Weber, Benoît Iung	PRM-based patterns for knowledge formalisation of industrial systems to support maintenance strategies assessment.	Reliab. Eng. Syst. Saf.	2013	DBLP DOI BibTeX RDF
17	Umberto Grandi, Ulle Endriss	First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation.	J. Philos. Log.	2013	DBLP DOI BibTeX RDF
17	Bernard van Gastel, Julien Schmaltz	A formalisation of XMAS	ACL2	2013	DBLP DOI BibTeX RDF
17	Neal Glew, Tim Sweeney, Leaf Petersen	Formalisation of the lambda aleph Runtime.	CoRR	2013	DBLP BibTeX RDF
17	Maria Spichkova	Stream Processing Components: Isabelle/HOL Formalisation and Case Studies.	Arch. Formal Proofs	2013	DBLP BibTeX RDF
17	Kevin N. Gurney, Nathan F. Lepora, Ashvin Shah, Ansgar Koene, Peter Redgrave	Action Discovery and Intrinsic Motivation: A Biologically Constrained Formalisation.	Intrinsically Motivated Learning in Natural and Artificial Systems	2013	DBLP DOI BibTeX RDF
17	Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala	Formalisation of an Industrial Approach to Monitoring Critical Data.	SAFECOMP	2013	DBLP DOI BibTeX RDF
17	Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens	Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques.	IC	2013	DBLP BibTeX RDF
17	Bruno Guillaume, Karën Fort	Formalizing an annotation guide : some experiments towards assisted agile annotation (Expériences de formalisation d'un guide d'annotation : vers l'annotation agile assistée) [in French].	TALN (2)	2013	DBLP BibTeX RDF
17	Christian Severin Sauer, Lotta Rintala, Thomas Roth-Berghofer	Knowledge Formalisation for Hydrometallurgical Gold Ore Processing.	SGAI Conf.	2013	DBLP DOI BibTeX RDF
17	Manuele Kirsch-Pinheiro, Bénédicte Le Grand, Carine Souveyet, Salma Najar	Espace de Services : Vers une formalisation des Systèmes d'Information Pervasifs.	INFORSID	2013	DBLP BibTeX RDF
17	Huseyin Dogan, Vishal Barot, Michael Henshaw, Carys E. Siemieniuch	Formalisation and mapping of terminologies for Systems of Systems Engineering thesaurus.	SoSE	2013	DBLP DOI BibTeX RDF
17	Hanno Hildmann	Formalisation and assessment of human and AI behaviour in games		2013	RDF
17	Reza Shojanoori	Towards formalisation of situation-specific computations in pervasive computing environments.		2013	RDF
17	Massimiliano de Leoni, Michael Adams 0001, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede	Visual support for work assignment in process-aware information systems: Framework formalisation and implementation.	Decis. Support Syst.	2012	DBLP DOI BibTeX RDF
17	Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon, Benoit Baudry	Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués.	Tech. Sci. Informatiques	2012	DBLP DOI BibTeX RDF
17	Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert 0001	Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives.	CAL	2012	DBLP BibTeX RDF
17	Souhila Arib, Samir Aknine	Formalisation de coalitions d'agents dans les processus de planification.	JFSMA	2012	DBLP BibTeX RDF
17	Andreas Lochbihler	Java and the Java Memory Model - A Unified, Machine-Checked Formalisation.	ESOP	2012	DBLP DOI BibTeX RDF
17	Enrico Franconi, Alessandro Mosca 0001, Dmitry Solomakhin	ORM2: Formalisation and Encoding in OWL2.	OTM Workshops	2012	DBLP DOI BibTeX RDF
17	Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri	Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case.	Business Process Management Workshops	2012	DBLP DOI BibTeX RDF
17	Kathrin Dentler, Ronald Cornet, Annette ten Teije, Kristien Tytgat, Jean Klinkenbijl, Nicolette de Keizer	The Reproducibility of CLIF, a Method for Clinical Quality Indicator Formalisation.	MIE	2012	DBLP DOI BibTeX RDF
17	Michael Filhol, Annelies Braffort	Méthodologie d'exploration de corpus et de formalisation de règles grammaticales pour les langues des signes (Methodology for corpus exploration and grammatical rule building in Sign Language) [in French].	JEP-TALN-RECITAL	2012	DBLP BibTeX RDF
17	Lazhar Hamel, Mohamed Graiet, Walid Gaaloul	Event-B Formalisation of Web Services for Dynamic Composition.	SKG	2012	DBLP DOI BibTeX RDF
17	Kees Boersma, David Passenier, Julia S. Mollee, C. Natalie van der Wal	Crisis Management Evaluation: Formalisation & Analysis Of Communication During Fire Incident In Amsterdam Airport Train Tunnel.	ECMS	2012	DBLP DOI BibTeX RDF
17	Aziza Sabri, Laila Kjiri	Processus de traitement et de formalisation des besoins métier d'un Système d'Information Décisionnel .	INFORSID	2012	DBLP BibTeX RDF
17	Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi 0001	Formalisation and Implementation of the XACML Access Control Mechanism.	ESSoS	2012	DBLP DOI BibTeX RDF
17	Philippe Richard	Contribution à la formalisation et à l'identification de la stabilité humaine au regard de la sécurité : application aux transports guidés. (Contribution to the characterization and identification of human stability in terms of security : application to guided transport).		2012	RDF
17	Mona Al Wohaib	Modélisation et formalisation de l'aspect et du temps verbal arabe et français : implémentation didactique vers le français sur Internet. (Modling and formalization of aspect and tense verbal arabic and french : implementation to teaching french on the internet).		2012	RDF
17	Marion Daubignard	Formalisation de preuves de sécurité concrète. (Formal Methods For Concrete Security Proofs).		2012	RDF
17	Cyril Cohen	Formalized algebraic numbers: construction and first-order theory. (Formalisation des nombres algébriques : construction et théorie du premier ordre).		2012	RDF
17	Frédéric Vogels	Formalisation and Soundness of Static Verification Algorithms for Imperative Programs (Formalisatie en correctheid van statische verificatiealgoritmes voor imperatieve programma's). (PDF / PS)		2012	RDF
17	Hai Wan, Gang Chen 0004, Xiaoyu Song, Ming Gu 0001	Formalisation and verification of programmable logic controllers timers in Coq.	IET Softw.	2011	DBLP DOI BibTeX RDF
17	Robin Adams 0001, Zhaohui Luo	A pluralist approach to the formalisation of mathematics.	Math. Struct. Comput. Sci.	2011	DBLP DOI BibTeX RDF
17	Andrea Asperti, Jeremy Avigad	Zen and the art of formalisation.	Math. Struct. Comput. Sci.	2011	DBLP DOI BibTeX RDF
17	Mike Brownsword, Rossi Setchi	A Formalised Approach to the Management of Risk: Process Formalisation.	Int. J. Knowl. Syst. Sci.	2011	DBLP DOI BibTeX RDF
17	Sanaz Yeganefard, Michael J. Butler	Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
17	Wolfram Kahl	Dependently-Typed Formalisation of Typed Term Graphs	TERMGRAPH	2011	DBLP DOI BibTeX RDF
17	Chris Male, David J. Pearce 0001, Alex Potanin, Constantine Dymnikov	Formalisation and implementation of an algorithm for bytecode verification of @NonNull types.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
17	Wolfram Kahl	Dependently-Typed Formalisation of Relation-Algebraic Abstractions.	RAMiCS	2011	DBLP DOI BibTeX RDF
17	Arnaud Canu, Abdel-Illah Mouaddib	Dynamic Local Interaction Model : formalisation et algorithmes.	JFSMA	2011	DBLP BibTeX RDF
17	Benoît Sagot, Géraldine Walther	Non-canonical Inflection: Data, Formalisation and Complexity Measures.	SFCM	2011	DBLP DOI BibTeX RDF
17	Kamil Jezek, Premek Brada	Formalisation of a Generic Extra-Functional Properties Framework.	ENASE (Selected Papers)	2011	DBLP DOI BibTeX RDF
17	Ayodele A. Adesina-Ojo, John A. van der Poll, Lucas M. Venter	Towards the formalisation of object-oriented methodologies.	SAICSIT	2011	DBLP DOI BibTeX RDF
17	Brigitte Séroussi, Dominique Sauquet, Hector Falcoff, Jacques Julien, Jacques Bouaud	Formalisation de l'attitude des médecins vis à vis des propositions d'un système d'aide à la décision : évaluation de l'« e-iatrogénie » sur un cas d'hypertension avec ASTI mode guidé.	IC	2011	DBLP BibTeX RDF
17	Bart Jacobs 0001, Ronny Wichers Schreur	Logical Formalisation and Analysis of the Mifare Classic Card in PVS.	ITP	2011	DBLP DOI BibTeX RDF
17	Chunhan Wu, Xingyuan Zhang, Christian Urban	A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl).	ITP	2011	DBLP DOI BibTeX RDF
17	Richard Bubel, Reiner Hähnle, Ulrich Geilmann	A Formalisation of Java Strings for Program Specification and Verification.	SEFM	2011	DBLP DOI BibTeX RDF
17	Stéphane Lescuyer	Formalizing and Implementing a Reflexive Tactic for Automated Deduction in Coq. (Formalisation et developpement d'une tactique reflexive pour la demonstration automatique en coq).		2011	RDF
17	Tony Bourdier	Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité. (Algebraic methods for designing and analyzing security policies).		2011	RDF
17	Ismaïl El Maarouf	Formalisation de connaissances à partir de corpus : modélisation linguistique du contexte pour l'extraction automatique de relations sémantiques. (Corpus-based knowledge formalization : context linguistic modeling for automatic semantic relation extraction).		2011	RDF
17	Luigi Nardi	Formalisation et automatisation de YAO, générateur de code pour l'assimilation variationnelle de données.		2011	RDF
17	Jean-Philippe Bernardy	A Theory of Parametric Polymorphism and an Application ; A formalisation of parametric polymorphism within and about dependent type-theory, and an application to property-based testing.		2011	RDF
17	Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter	A formalisation of the copy-modify-merge approach to version control in MDE.	J. Log. Algebraic Methods Program.	2010	DBLP DOI BibTeX RDF
17	Yannick Naudet, Thibaud Latour, Wided Guédria, David Chen 0001	Towards a systemic formalisation of interoperability.	Comput. Ind.	2010	DBLP DOI BibTeX RDF
17	Toshihiro Matsui, Hiroshi Matsuo	A constraint based formalisation for distributed cooperative sensor resource allocation.	Int. J. Intell. Inf. Database Syst.	2010	DBLP DOI BibTeX RDF
17	Vlasios Voudouris	Towards a unifying formalisation of geographic representation: the object-field model with uncertainty and semantics.	Int. J. Geogr. Inf. Sci.	2010	DBLP DOI BibTeX RDF
17	Jean-Stéphane Ulmer, Jean Pierre Belaud, J. Le Lann	Proposition d'une approche générique pour la formalisation et l'implémentation des processus.	Ingénierie des Systèmes d Inf.	2010	DBLP DOI BibTeX RDF
17	Oscar Avila, Virginie Goepp	Analyse et classification des approches d'alignement TI/business. Contribution à la formalisation des mécanismes sous-jacents.	Ingénierie des Systèmes d Inf.	2010	DBLP DOI BibTeX RDF
17	Sihem Mallek, Nicolas Daclin, Vincent Chapurlat	Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs.	Ingénierie des Systèmes d Inf.	2010	DBLP DOI BibTeX RDF
17	Sárka Kvetonová, Dusan Kolár	Project plan formalisation and modelling via timed coloured Petri nets.	Int. J. Comput. Aided Eng. Technol.	2010	DBLP DOI BibTeX RDF
17	Christina Lioma, Birger Larsen, Hinrich Schütze, Peter Ingwersen	A subjective logic formalisation of the principle of polyrepresentation for information needs.	IIiX	2010	DBLP DOI BibTeX RDF
17	Konrad Völkel	Dependency Formalisation for Improved Learning Processes.	MuC (Workshopband)	2010	DBLP BibTeX RDF
17	Guillaume Touya, Cécile Duchêne, Anne Ruas	Collaborative Generalisation: Formalisation of Generalisation Knowledge to Orchestrate Different Cartographic Generalisation Processes.	GIScience	2010	DBLP DOI BibTeX RDF
17	Nathalie Abadie, Ammar Mechouche, Sébastien Mustière	OWL Based Formalisation of Geographic Databases Specifications.	EKAW (Posters and Demos)	2010	DBLP BibTeX RDF
17	Alain Bernard	Characterisation, Formalisation and Reuse of Knowledge - Models, Methods and Application Cases.	KDIR	2010	DBLP BibTeX RDF
17	Aditi Barthwal, Michael Norrish	A Formalisation of the Normal Forms of Context-Free Grammars in HOL4.	CSL	2010	DBLP DOI BibTeX RDF
17	Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter	A Formalisation of Constraint-Aware Model Transformations.	FASE	2010	DBLP DOI BibTeX RDF
17	Aurona Gerber, Paula Kotzé, Alta van der Merwe	Towards the Formalisation of the TOGAF Content Metamodel using Ontologies.	ICEIS (2)	2010	DBLP BibTeX RDF
17	Amory Bisserier	Une approche paramétrique de la régression linéaire floue - Formalisation par intervalles. (A parametrical approach for fuzzy linear regression - Interval based formalization).		2010	RDF
17	Jonathan Rouzaud-Cornabas	Formalisation de propriétés de sécurité pour la protection des systèmes d'exploitation. (Security properties formalization for operating system protection).		2010	RDF
17	Jean-Marie Le Yaouanc	Formalisation de la description d'un environnement naturel. Application à la géo-localisation d'un individu. (A semantic and language-based representation of an environmental scene. A support for the geo-positionning of an individual).		2010	RDF
17	Jean-Baptiste Authesserre	Alignement paramétrique d'images : proposition d'un formalisme unifié et prise en compte du bruit pour le suivi d'objets. (Parametric image alignement: unified formalisation with application to the alignment of noisy images and object tracking).		2010	RDF
17	Ludovic Henrio, Florian Kammüller	Functional Active Objects: Typing and Formalisation.	FOCLASA	2009	DBLP DOI BibTeX RDF
17	James R. Williams, Fiona A. C. Polack	Automated Formalisation for Verification of Diagrammatic Models.	FACS@FMWeek	2009	DBLP DOI BibTeX RDF
17	Alain Durand	Scénario multimédia Formalisation moléculaire pour l'écriture de scénarii de documents multimédias.	Document Numérique	2009	DBLP DOI BibTeX RDF
17	Grégoire Jacob, Eric Filiol, Hervé Debar	Functional polymorphic engines: formalisation, implementation and use cases.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF
17	Ekkart Kindler, Laure Petrucci	Towards a Standard for Modular Petri Nets: A Formalisation.	Petri Nets	2009	DBLP DOI BibTeX RDF	Modular Petri Nets, Standardisation, High-Level Nets
17	Gert Zülch, Peter Steininger, Thilo Gamber, Michael Leupold	Generating, Benchmarking and Simulating Production Schedules: From Formalisation to Real Problems.	WSC	2009	DBLP DOI BibTeX RDF
17	Roussanka Loukanova	Formalisation of Intensionality as Algorithms (project abstract).	ICWS	2009	DBLP BibTeX RDF
17	Bruno Cartoni	Les adjectifs relationnels dans les lexiques informatisés : formalisation et exploitation dans un contexte multilingue.	TALN (Articles longs)	2009	DBLP BibTeX RDF
17	Renata Kaufman, Augusto Sampaio, Alexandre Mota 0001	Formalisation and Analysis of Objects as CSP Processes.	SBMF	2009	DBLP DOI BibTeX RDF	Design Pattern, CSP, Object-Z, Object-Oriented Specification
17	Jean-Stéphane Ulmer	Proposition d'une méthodologie générique pour la formalisation et l'implémentation des processus.	INFORSID	2009	DBLP BibTeX RDF
17	Antonio Bucchiarone, Alberto Lluch-Lafuente, Annapaola Marconi, Marco Pistore	A Formalisation of Adaptable Pervasive Flows.	WS-FM	2009	DBLP DOI BibTeX RDF
17	Lionel Saliou	Network firewall dynamic performance evaluation and formalisation.		2009	RDF
17	Gustavo A. Ospina, Baudouin Le Charlier	Formalisation of C Language Interfaces.	SOS@ICALP	2008	DBLP DOI BibTeX RDF
17	José Miguel Cañete Valdeón	On the interpretation of mathematical entities in the formalisation of programming and modelling languages.	Math. Struct. Comput. Sci.	2008	DBLP DOI BibTeX RDF
17	F. Peiffer, Rostislav Chudoba	Formalisation and implementation of collaborative material research process.	Adv. Eng. Softw.	2008	DBLP DOI BibTeX RDF
17	Yoann Kubera, Philippe Mathieu, Sébastien Picault	Formalisation et implémentation des interactions pour la simulation centrée individu.	Obj. Logiciel Base données Réseaux	2008	DBLP DOI BibTeX RDF
17	Alexandre Muller, Marie-Christine Suhner, Benoît Iung	Formalisation of a new prognosis model for supporting proactive maintenance implementation on industrial system.	Reliab. Eng. Syst. Saf.	2008	DBLP DOI BibTeX RDF
17	Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda	Formalisation and verification of interaction protocols for business process integration: a Petri net approach.	Int. J. Simul. Process. Model.	2008	DBLP DOI BibTeX RDF
17	François Rousselot, Alexis Bultey, Cecilia Zanni	Formalisation des connaissances capitalisées en conception inventive.	Actes d'IC	2008	DBLP BibTeX RDF
17	Maxime Amblard, Johannes Heinecke, Estelle Maillebuau	Discourse Representation Theory et graphes sémantiques : formalisation sémantique en contexte industriel.	TALN (Articles courts)	2008	DBLP BibTeX RDF
17	Nir Oren, Sofia Panagiotidi, Javier Vázquez-Salceda, Sanjay Modgil, Michael Luck, Simon Miles	Towards a Formalisation of Electronic Contracting Environments.	COIN@AAMAS&AAAI	2008	DBLP DOI BibTeX RDF
17	Chien-An Chen	Formalisation of Message Sequence Charts.		2008	RDF
17	Bin Xu 0015	A Formalisation and Explication of the 'D' Language.		2008	RDF
17	Matthias Mailliard	Formalisation Multi-Agents de la Sociologie de l'Action Organisée. (MultiAgent Formalization of the Sociology of the Organized Action).		2008	RDF