Search results for "certification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Quentin Garchery	Certification de la transformation de tâches de preuve. (Certification of the transformation of proof tasks).		2022	RDF
24	Victor Magron	The quest of modeling, certification and efficiency in polynomial optimization. (La quête de modélisation, de certification et d'efficacité en optimisation polynomiale).		2021	RDF
24	Julian M. Kunkel, Weronika Filinger, Christian Meesters, Anja Gerbes, Sharon Broude Geva, Dirk Colbry	The HPC Certification Forum: Toward a Globally Acknowledged HPC Certification.	Comput. Sci. Eng.	2020	DBLP DOI BibTeX RDF
24	Loïc Dalmasso	De la vulnérabilité des nœuds capteurs à la certification des transactions sur le réseau, une approche de la sécurisation de l'Internet des Objets. (From the sensor nodes vulnerability to the network transactions certification, an approach to securing the Internet of Things).		2020	RDF
24	Thomas Polacsek	Vérification, validation, certification : approches formelles et informelles pour établir la correction des artefacts et des logiciels. (Verification, validation, certification: formal and informal approaches to establish the correction of artefacts and software).		2019	RDF
24	Heiner Teigeler, Sebastian Lins, Ali Sunyaev	Technology-Push or Market-pull - What Drives Certification Authorities to Perform continuous Service Certification?	ECIS	2019	DBLP BibTeX RDF
24	Clothilde Jeangoudoux	Génération Automatique de Tests Logiciels dans le Contexte de la Certification Aéronautique. (Automatic test generation for numerical software in the context of aircraft certification).		2019	RDF
24	Dea Saka Kurnia Putra, Edit Prima	Evaluating Certificate Policy - Certification Practice Statement of Unique Government Certification Authority using Public Key Infrastructure Assessment Guidelines: Research in Progress.	CoRR	2018	DBLP BibTeX RDF
24	Nils Siegfried, Julian Löbbers, Alexander Benlian, Ali Sunyaev	Seeing Service Certification "Eye to Eye" - The Role of Perceptual Congruence Between Customers and Providers in IS Certification.	ECIS	2018	DBLP BibTeX RDF
24	Christian Galinski, Klaus Höckner, Reinhard Koutny	Certification in the Field of eAccessibility and eInclusion - Focusing on Certification Aspects Regarding Web Accessibility.	ICCHP (1)	2018	DBLP DOI BibTeX RDF
24	Hoai Phuong Nguyen	Certification de l'intégrité d'images numériques et de l'authenticité. (Certification of authenticity and integrity of digital images).		2018	RDF
24	Laurent Feuilloley	Local certification in distributed computing: error-sensitivity, uniformity, redundancy, and interactivity. (Certification locale en calcul distribué : sensibilité aux erreurs, uniformité, redondance et interactivité).		2018	RDF
24	Gurvan Cabon	Non Local Analyses Certification With an Annotated Semantics. (Certification d'Analyses Non Locales avec une Sémantique Annotée).		2018	RDF
24	Peter Schmollgruber	Enhancement of the conceptual aircraft design process through certification constraints management and full mission simulations. (Amélioration du processus de conception avion en prenant en compte les contraintes de certification et des simulations de mission complètes).		2018	RDF
24	Pascal Lefèvre	Protection des contenus multimédias pour la certification des données. (Protection of multimedia contents for data certification).		2018	RDF
24	Thomas Sibut-Pinote	Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification. (Investigations en Mathématiques Assistées par Ordinateur : Expérimentation, Calcul et Certification).		2017	RDF
24	Jean Dobrowolski	Modélisation, contrôle/commande et certification d'un micro-réseau électrique décentralisé avec entrées exogènes aléatoires et informations contraintes. (Modeling, control and certification of an electrical decentralized microgrid with random exogenous inputs and constrained information).		2017	RDF
24	Soukayna Raja M'Sirdi	Modular Avionics Software Integration on Multi-Core COTS : certification-Compliant Methodology and Timing Analysis Metrics for Legacy Software Reuse in Modern Aerospace Systems. (Intégration logicielle d'Applications Avioniques Modulaires Intégrées (IMA) sur COTS multicoeur : méthodologie d'intégration et métriques d'analyse temporelle conformes aux régulations de certification pour la réutilisation de logiciel dans les systèmes IMA).		2017	RDF
24	Isabella Biscoglio, Giuseppe Lami, Gianluca Trentanni	Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal Legislation.	AMARETTO@MODELSWARD	2016	DBLP DOI BibTeX RDF
24	Pierre Halmagrand	Automated Deduction and Proof Certification for the B Method. (Déduction Automatique et Certification de Preuve pour la Méthode B).		2016	RDF
24	Isabella Biscoglio, Giuseppe Lami, Eda Marchetti, Gianluca Trentanni	Certification and Legislation - An Italian Experience of Fiscal Software Certification.	ICSOFT-EA	2015	DBLP DOI BibTeX RDF
24	Antonio Muñoz 0001, Antonio Maña	Software and Hardware Certification Techniques in a Combined Certification Model.	SECRYPT	2014	DBLP DOI BibTeX RDF
24	Stephan Schneider 0001, Jens Lansing, Fangjian Gao, Ali Sunyaev	A Taxonomic Perspective on Certification Schemes: Development of a Taxonomy for Cloud Service Certification Criteria.	HICSS	2014	DBLP DOI BibTeX RDF
24	Djoko Sigit Sayogo, Joanne S. Luciano, James Michaelis, Nicolau DePaula, Luis F. Luna-Reyes, Giri Kumar Tayi, Grace M. Begany, David F. Andersen	A preliminary ontology for tracking certification systems: a case study of fairtrade coffee certification.	DG.O	2013	DBLP DOI BibTeX RDF
24	Paolo Herms	Certification of a Tool Chain for Deductive Program Verification. (Certification d'une chaine de vérification déductive de programmes).		2013	RDF
24	Rolf Frantz	Re-Certification [Certification corner].	IEEE Commun. Mag.	2012	DBLP DOI BibTeX RDF
24	Stéphane Glondu	Vers une certification de l'extraction de Coq. (Towards certification of the extraction of Coq).		2012	RDF
24	Yves Stadler	Tatouage d'image semi-fragile pour appareil mobile intégré dans une chaîne de certification. (Semi-fragile watermarking for digital-capture image on handheld device within a certification chain).		2012	RDF
24	Tom Maibaum, Paul Joannou	2nd Software Certification Consortium Workshop: Theoretical Basis for System and Software Engineering Practices and Certification.	CASCON	2011	DBLP BibTeX RDF
24	William E. Howden	Error Models and Software Certification.	WOSOCER	2011	DBLP DOI BibTeX RDF
24	Erik Stensrud, Torbjørn Skramstad, Jingyue Li, Jing Xie	Towards Goal-Based Software Safety Certification Based on Prescriptive Standards.	WOSOCER	2011	DBLP DOI BibTeX RDF
24	Huáscar Espinoza, Alejandra Ruiz 0001, Mehrdad Sabetzadeh, Paolo Panaroni	Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems.	WOSOCER	2011	DBLP DOI BibTeX RDF
24	Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi	Design Improvement of System Administrative Operations for Certification.	WOSOCER	2011	DBLP DOI BibTeX RDF
24	Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff	Software certification consortium: certification methods for safety-critical software.	CASCON	2010	DBLP DOI BibTeX RDF
24	Santiago Zanella Béguelin	Formal certification of game-based cryptographic proofs. (Certification formelle de preuves cryptographiques basées sur les séquences de jeux).		2010	RDF
24	Manuel Garnacho	Automatisation de la Certification Formelle de Systèmes Critiques par Instrumentation d'Interpréteurs Abstraits. (Automatic and formal certification of critical systems by instrumentation of abstract interpreters).		2010	RDF
24	Kirsten Bock	EuroPriSe Trust Certification - An approach to strengthen user confidence through privacy certification.	Datenschutz und Datensicherheit	2008	DBLP DOI BibTeX RDF
24	Ibrahim Habli, Tim Kelly	A Generic Goal-Based Certification Argument for the Justification of Formal Analysis.	SafeCert@ETAPS	2008	DBLP DOI BibTeX RDF
24	Nurlida Basir, Ewen Denney, Bernd Fischer 0002	Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code.	SafeCert@ETAPS	2008	DBLP DOI BibTeX RDF
24	Manuel Garnacho, Michaël Périn	Convincing Proofs for Program Certification.	SafeCert@ETAPS	2008	DBLP DOI BibTeX RDF
24	Constance L. Heitmeyer	On the Role of Formal Methods in Software Certification: An Experience Report.	SafeCert@ETAPS	2008	DBLP DOI BibTeX RDF
24	John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden	A Software Certification Consortium and its Top 9 Hurdles.	SafeCert@ETAPS	2008	DBLP DOI BibTeX RDF
24	Rolf Frantz	Wireless communications engineering technology: An update on certification [Certification Corner].	IEEE Commun. Mag.	2007	DBLP DOI BibTeX RDF
24	Christian Keitel	Certification Efforts at Nestor Working Group and cooperation with Certification Efforts at RLG/OCLC to become an international ISO standard.	iPRES	2007	DBLP BibTeX RDF
24	Francisco Cháves	Utilisation et certification de l'arithmétique d'intervalles dans un assistant de preuves. (Taylor models to extend the use and certification of interval arithmeticin a proof checker).		2007	RDF
24	Assia Mahboubi	Contributions à la certification des calculs dans R : théorie, preuves, programmation. (Contributions to the certification of computations in R : theory, proofs, implementation).		2006	RDF
24	Frédéric Gava	Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification. (Functional approaches of parallel programming and méta-computers. Semantics, implementations and certification).		2005	RDF
24	Mat Hugo Jiménez Pérez	Book Review: Network+ Certification: A Good Starting Point (A review of Network+ Certification Training Kit by Microsoft).	IEEE Distributed Syst. Online	2003	DBLP BibTeX RDF
24	Habib Hadj-Mabrouk	Acquisition et évaluation des connaissances de sécurité des systèmes industriels. Application au domaine de la certification des systèmes de transport ferroviaires guidés. (Acquisition and evaluation of safety knowledge of industrial systems. Application to the field of certification of guided rail transport systems).		1998	RDF
24	Damien Doligez	Conception, réalisation et certification d'un glaneur de cellules concurrent. (Design, implementation and certification of a concurrent garbage collector).		1995	RDF
24		Software evaluation and certification: Some intellectual problems in evaluation and certification of computer software.	Comput. Law Secur. Rev.	1993	DBLP DOI BibTeX RDF
24	Habib Hadj-Mabrouk	Apprentissage automatique et acquisition des connaissances : deux approches complémentaires pour les systèmes à base de connaissances. Application au système "ACASYA" d'aide à la certification des systèmes de transport automatisés. (Machine learning and knowledge acquisition: two complementary approaches for knowledge-based systems. Application to the "ACASYA" system for assistance in the certification of automated transport systems).		1992	RDF
24	Ken Brodlie, Günther E. Pfaff	Report on the EEC Workshop on Graphics Certification - Defining a Device for Certification (Miltenberg/Darmstadt, FRG, 25-28 April 1982).	Comput. Graph. Forum	1982	DBLP DOI BibTeX RDF
24	Boutheina Chetali, Quang Huy Nguyen 0002	Industrial Use of Formal Methods for a High-Level Security Evaluation.	FM	2008	DBLP DOI BibTeX RDF
24	Harry M. Sneed, Stefan Opferkuch	Training and Certifying Software Maintainers.	CSMR	2008	DBLP DOI BibTeX RDF
24	Cristiana Rita Alfonsi, Elena Breno, Mariacarla Calzarossa, Paolo Ciancarini, Paolo Maresca, Luisa Mich, Fuliva Sala, Nello Scarabottolo	EUCIP in Italian Universities.	Learning to Live in the Knowledge Society	2008	DBLP DOI BibTeX RDF
24	Changping Liu, Yong Feng, Mingyu Fan, Guangwei Wang	PKI Mesh Trust Model Based on Trusted Computing.	ICYCS	2008	DBLP DOI BibTeX RDF
24	Jaydip Sen, Harihara Subramanyam	An Efficient Certificate Authority for Ad Hoc Networks.	ICDCIT	2007	DBLP DOI BibTeX RDF
24	Jaydip Sen, M. Girish Chandra, P. Balamuralidhar, Harihara S. G., Harish Reddy	A Scheme of Certificate Authority for Ad Hoc Networks.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
24	Benjamin M. Brosgol	Languages for Safety-Critical Software: Issues and Assessment.	ICSE Companion	2007	DBLP DOI BibTeX RDF
24	Zakhia G. Abichar, Yanlin Peng, J. Morris Chang	WiMax: The Emergence of Wireless Broadband.	IT Prof.	2006	DBLP DOI BibTeX RDF
24	Yong Ma, Yumin Tian	The Coarse-Grained Computing P2P Algorithm Based on SPKI.	ICNC (2)	2006	DBLP DOI BibTeX RDF
24	W. Thomas Swain, Stephen L. Scott	Model-Based Statistical Testing of a Cluster Utility.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF
24	Rida A. Bazzi, Goran Konjevod	On the establishment of distinct identities in overlay networks.	PODC	2005	DBLP DOI BibTeX RDF	security, fault-tolerance, overlay networks, peer-to-peer systems, sybil attack, identity verification, distance geometry
24	Ewen Denney, Ram Prasad Venkatesan	A Generic Software Safety Document Generator.	AMAST	2004	DBLP DOI BibTeX RDF
24	Fernando Pedone, Rachid Guerraoui, André Schiper	The Database State Machine Approach.	Distributed Parallel Databases	2003	DBLP DOI BibTeX RDF	state machine approach, synchronous replication, transaction processing, atomic broadcast, database replication, optimistic concurrency control
24	John L. Goodman	The Space Shuttle and GPS: A Safety-Critical Navigation Upgrade.	ICCBSS	2003	DBLP DOI BibTeX RDF
24	Omar Batarfi	Certificate Validation in Untrusted Domains.	OTM Workshops	2003	DBLP DOI BibTeX RDF
24	Magne Lunde, Morten Tollefsen	Many Ways to ECDL.	ICCHP	2002	DBLP DOI BibTeX RDF
24	Michael R. Lowry, Thomas Pressburger, Grigore Rosu	Certifying Domain-Specific Policies.	ASE	2001	DBLP DOI BibTeX RDF
24	Daniele Frigioni, Giuseppe F. Italiano	Dynamically Switching Vertices in Planar Graphs.	Algorithmica	2000	DBLP DOI BibTeX RDF	Sign of matrix determinant, Arithmetic filters, Certified geometric computations, Distance to a singular matrix, Convex hull
24	Anne Mette Jonassen Hass, Jørn Johansen, Jan Pries-Heje	Does ISO 9001 Increase Software Development Maturity?.	EUROMICRO	1998	DBLP DOI BibTeX RDF
22	Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux	Use of formal methods for building qualified code generator for safer automotive systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	software engineering, formal verification, certification, automatic code generator, automotive systems
22	Richard S. Stansbury, Manan A. Vyas, Timothy A. Wilson	A Survey of UAS Technologies for Command, Control, and Communication (C3).	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	control and communication (C3) - Unmanned aircraft systems (UAS) - Certification, Command
22	Robert Woitsch, Wilfrid Utz	The IT-Socket: Model-Based Business and IT Alignment.	KSEM	2009	DBLP DOI BibTeX RDF	Next Generation Modelling Framework, IT-Socket, Knowledge Management, Semantics, Certification, IT-Governance, Virtual Organisation
22	Jose L. Muñoz, Oscar Esparza, Carlos Gañán, Javier Parra-Arnau	PKIX Certificate Status in Hybrid MANETs.	WISTP	2009	DBLP DOI BibTeX RDF	Hybrid MANET, Certification, Risk, Public Key Infrastructure, Revocation
22	Colin O'Halloran, Andy Bates	Security and Interoperability for MANETs and a Fixed Core.	SAFECOMP	2008	DBLP DOI BibTeX RDF	NEC, NCO, Security, Verification, Trust, Interoperability, Validation, Certification, Risk, Identity Management
22	Ingo J. Timm, Thorsten Scholz	Towards Reliable SOA - An Architecture for Quality Management of Web Services.	OTM Workshops	2008	DBLP DOI BibTeX RDF	certification management, quality of service, unit testing
22	Heidi C. Wasem	Rediscovering professional development: realizing your staff's unique potential.	SIGUCCS	2008	DBLP DOI BibTeX RDF	classroom training, institutional knowledge, professional networking, technical training, training, management, certification, learning styles, leadership, professional development, gap analysis, multiple intelligences
22	David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge	Producing UML Models from Focal Specifications: An Application to Airport Security Regulations.	TASE	2008	DBLP DOI BibTeX RDF	Airport Security Regulations, UML, Certification, Formal Proofs, Focal
22	Manoj Parameswaran, Xia Zhao, Andrew B. Whinston, Fang Fang 0001	Reengineering the Internet for Better Security.	Computer	2007	DBLP DOI BibTeX RDF	Service provider certification, Game theoretic analysis, Security, Internet, Malware
22	Klaus Schmeh	A Critical View on RFC 3647.	EuroPKI	2007	DBLP DOI BibTeX RDF	Certification Practice Statement, Certificate Policy, CP, PKI, CPS
22	Susanne Dobratz, Astrid Schoger	Trustworthy Digital Long-Term Repositories: The Nestor Approach in the Context of International Developments.	ECDL	2007	DBLP DOI BibTeX RDF	Certification, Auditing, Trustworthiness, Standardisation, Long-Term Preservation, Digital Repositories
22	Eric Velleman, Christophe Strobbe, Johannes Koch, Carlos A. Velasco, Mikael Snaprud	A Unified Web Evaluation Methodology Using WCAG.	HCI (7)	2007	DBLP DOI BibTeX RDF	unified web evaluation methodology, uwem, web accessibility, certification, conformance
22	Rolf Zon, Mariska Roerdink	HCI Testing in Flight Simulator: Set Up and Crew Briefing Procedures. Design and Test Cycles for the Future.	HCI (13)	2007	DBLP DOI BibTeX RDF	HILAS, HF toolbox, human factors, experiment, certification, flight simulation, flight deck
22	Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose	Formalization and assessment of regulatory requirements for safety-critical software.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Regulatory requirements, Formal methods, Certification, Z notation
22	David S. Hardin, Eric W. Smith, William D. Young	A robust machine code proof framework for highly secure applications.	ACL2	2006	DBLP DOI BibTeX RDF	cryptography, theorem proving, certification, symbolic simulation, ACL2, high-assurance, processor modeling
22	David Corman, James L. Paunicka	Industrial Challenges in the Composition of Embedded Systems.	Monterey Workshop	2006	DBLP DOI BibTeX RDF	validation, certification, Cyber Physical Systems, embedded real-time systems, systems composition
22	Barbara Pernici, Paolo Locatelli, Clementina Marinoni	The eCCO System: An eCompetence Management Tool Based on Semantic Networks.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF	knowledge object, job profile, certification profile, network enrichment, profile gap analysis, ontology, semantic network, competence, skill
22	Åke Walldius, Yngve Sundblad, Alan Borning	A first analysis of the UsersAward programme from a value sensitive design perspective.	Critical Computing	2005	DBLP DOI BibTeX RDF	UsersAward programme, user-driven certification of software, workplace computing, participatory design, value sensitive design
22	Francesca Saglietti	Licensing Reliable Embedded Software for Safety-Critical Applications.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	safety applications, pre-developed component, software reliability, embedded software, software licensing, software certification, product quality, expert judgment, process quality
22	Xavier Rival	Symbolic transfer function-based approaches to certified compilation.	POPL	2004	DBLP DOI BibTeX RDF	compilation, static analysis, abstract interpretation, certification, translation validation
22	Steven Fraser 0001, Ray Bareiss, Barry W. Boehm, Mark Hayes, Laura Hill, Gabby Silberman, Dave A. Thomas	Meeting the challenge of software engineering education for working professionals in the 21st century.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	industry relevance, learning-how-to-learn, professional masters' program, certification, software engineering education
22	Ewen Denney, Bernd Fischer 0002	Correctness of Source-Level Safety Policies.	FME	2003	DBLP DOI BibTeX RDF	program safety, code certification, Program verification, Hoare logic, proof-carrying code
22	Jose L. Muñoz, Jordi Forné, Oscar Esparza, Miguel Soriano	Using OCSP to Secure Certificate-Using Transactions in M-commerce.	ACNS	2003	DBLP DOI BibTeX RDF	certificate status checking, certification, m-commerce, broker, OCSP
22	Sathit Nakkrasae, Peraphon Sophatsathit	A formal approach for specification and classification of software components.	SEKE	2002	DBLP DOI BibTeX RDF	component identification, classification, specification, reuse, software certification
22	Javier López 0001, Antonio Mana, José A. Montenegro, Juan J. Ortega, José M. Troya	Towards a Trustful and Flexible Environment for Secure Communications with Public Administrations.	EGOV	2002	DBLP DOI BibTeX RDF	Electronic Forms, Public Key Infrastructure, Public Administrations, Secure Communications, Certification Authorities
22	James L. Linderman, William T. Schiano	Information ethics in a responsibility vacuum.	Data Base	2001	DBLP DOI BibTeX RDF	ethicists, information ethics, societal responsibility, certification, credentials, public policy, professionalism, qualifications
22	Eugenio Faldella, Marco Prandini	A Novel Approach to On-Line Status Authentication of Public-Key Certificates.	ACSAC	2000	DBLP DOI BibTeX RDF	online status authentication, sensitive data exchange, security constraints, revoked certificates, certificate status handling scheme, one-way accumulator, Owa-based Revocation Scheme, Online Certificate Status Protocol, Internet, scalability, authentication, cryptography, protocols, data integrity, data integrity, computer networks, public key cryptography, public key infrastructure, message authentication, telecommunication security, certification authority, public-key certificates, computational load, public networks
22	Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart	Dependability Engineering of Complex Computing Systems.	ICECCS	2000	DBLP DOI BibTeX RDF	dependability engineering, complex computing systems, development model, system creation process, classical development steps, dependability processes, fault prevention, fault forecasting, supporting processes, system creation activity, fault tolerance, software reliability, certification, quality assurance, dependable systems, checklist, fault removal