المؤلفون: Kirane, Mokhtar, Malik, Salman Amin

المساهمون: Mathématiques, Image et Applications - EA 3165 (MIA), Université de La Rochelle (ULR), Malik, Salman Amin

مصطلحات موضوعية: Laplace transform, MSC2010: 26A33, 45J05, 34K37, Blow up time, Nonlinear system, Computer Science::Software Engineering, Fractional derivative, [MATH.MATH-CA]Mathematics [math]/Classical Analysis and ODEs [math.CA], [MATH.MATH-CA] Mathematics [math]/Classical Analysis and ODEs [math.CA], Integral equations, Computer Science::Databases

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0a09e8cea7ba8d1fd6f8f2fd4685526a
https://hal.archives-ouvertes.fr/hal-00467202/file/preprint1.pdf

المؤلفون: Chouali, Samir, Mouelhi, Sebti, Mountassir, Hassan

المساهمون: Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS)

المصدر: CAL'10, 4e Conf. Francophone sur les Architectures Logicielles
CAL'10, 4e Conf. Francophone sur les Architectures Logicielles, 2010, France. pp.73--85

مصطلحات موضوعية: Computer Science::Software Engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Nonlinear Sciences::Cellular Automata and Lattice Gases, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Computer Science::Formal Languages and Automata Theory

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a786db4e9fc2d60413d6f0779723df06
https://hal.archives-ouvertes.fr/hal-00563328

المؤلفون: Abdallah Missaoui, Rahma Ben Ayed, Zohra Sbaï, Kamel Barkaoui

المساهمون: CEDRIC, Laboratoire

مصطلحات موضوعية: Model checking, Correctness, Database, Computer science, Programming language, Computer Science::Software Engineering, Business process modeling, [INFO] Computer Science [cs], computer.software_genre, Workflow, Promela, Computer Science::Logic in Computer Science, Formal specification, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], SPIN model checker, computer, Formal verification, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a8ea3f407e5d8c044c72398db9c52d79
https://hal.archives-ouvertes.fr/hal-01125806

المؤلفون: Buzzi, Jerome, Zambotti, Lorenzo

المساهمون: Laboratoire de Mathématiques d'Orsay (LM-Orsay), Université Paris-Sud - Paris 11 (UP11)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Probabilités et Modèles Aléatoires (LPMA), Université Pierre et Marie Curie - Paris 6 (UPMC)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)

مصطلحات موضوعية: Entropy, Probability (math.PR), Computer Science::Software Engineering, Stationary processes, 94A17, Exchangeable vectors, Complexity, Mutual information, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], 92B30, 60C05, FOS: Mathematics, Computer Science::Programming Languages, Mathematics - Probability, Probability

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64dc1cfb022b0d4e5805411511a56e7e
https://hal.archives-ouvertes.fr/hal-00409143v3/file/intricacy1-revised-arxiv-2009-18-12.pdf

المؤلفون: Parnaudeau, V., Reau, R., Dubrulle, P., Cannavo, Patrice, Baillet, Axelle, Recous, Sylvie

المساهمون: Unité de Recherche Environnement Physique de la plante Horticole (EPHOR), Université d'Angers (UA)-AGROCAMPUS OUEST, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)

المصدر: 16th nitrogen workshop connecting different scales of nitrogen use In agriculture
16th nitrogen workshop connecting different scales of nitrogen use In agriculture, Jun 2009, Turin (IT), Italy

مصطلحات موضوعية: Physics::Medical Physics, [SDV.SA.AGRO]Life Sciences [q-bio]/Agricultural sciences/Agronomy, Computer Science::Software Engineering, Computer Science::Computers and Society

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a7006aaeb3048b991102cc9092adfa9e
https://hal-agrocampus-ouest.archives-ouvertes.fr/hal-00729936

المؤلفون: César Viho, Alexandra Desmoulin

المساهمون: Dependability Interoperability and perfOrmance aNalYsiS Of networkS (DIONYSOS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES (IRISA-D2), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)

المصدر: International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2009, 11, pp.261―267
International Journal on Software Tools for Technology Transfer, 2009, 11, pp.261―267

مصطلحات موضوعية: Computer science, business.industry, Protocol implementations, Interoperability, Computer Science::Software Engineering, 020207 software engineering, 02 engineering and technology, Semantic interoperability, Computer security, computer.software_genre, Computer Science::Digital Libraries, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Test case, Formal specification, Theory of computation, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Equivalence (formal languages), Software engineering, business, computer, Implementation, Computer Science::Distributed, Parallel, and Cluster Computing, Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ec3b5627504282ebce5e9b4736e9dd0e
https://hal.inria.fr/hal-00789575

المؤلفون: Pascal Fontaine, Diego Caminha B. de Oliveira, David Déharbe

المساهمون: Proof-oriented development of computer-based systems (MOSEL), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Universidade Federal do Rio Grande do Norte [Natal] (UFRN), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP)-Institut National de Recherche en Informatique et en Automatique (Inria), Machado, P. and Andrade, A. and Duran, A., Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)

المصدر: Electronic Notes in Theoretical Computer Science
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008), 240 (2), pp.113-128. ⟨10.1016/j.entcs.2009.05.048⟩
Science of Computer Programming
Science of Computer Programming, Elsevier, 2010, 240 (2 July 2009), pp.113-128. ⟨10.1016/j.entcs.2009.05.048⟩
Brazilian Symposium on Formal Methods-SBMF 2008
Brazilian Symposium on Formal Methods-SBMF 2008, Aug 2008, Salvador, Bahia, Brazil
Science of Computer Programming, 2010, 240 (2 July 2009), pp.113-128. ⟨10.1016/j.entcs.2009.05.048⟩
Electronic Notes in Theoretical Computer Science, 2009, Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008), 240 (2), pp.113-128. ⟨10.1016/j.entcs.2009.05.048⟩

مصطلحات موضوعية: Theoretical computer science, General Computer Science, Computer science, automatic theorem proving, combination of decision procedures, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Theoretical Computer Science, Software, Completeness (order theory), Satisfiability modulo theories, Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Automated theorem proving, Equational logic, Formal verification, Mathematics, Soundness, SMT solving, business.industry, Programming language, Computer Science::Software Engineering, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 020207 software engineering, Solver, 16. Peace & justice, Formal methods, Decidability, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.4: Mechanical theorem proving, Computer Science::Programming Languages, 020201 artificial intelligence & image processing, business, computer, SMT solvers, Computer Science(all)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64f5d8563477ee7baadb0df4e30d7216
https://hal.inria.fr/inria-00430636

المؤلفون: Sergiy Boroday, Yves Ledru, Alexandre Petrenko

المساهمون: Validation de Systèmes, Composants et Objets logiciels (VASCO), Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), Centre de Recherche Informatique de Montréal = Computer Research Institute of Montréal (CRIM), Grundy, J. and Heimdahl, M. and Taentzer, G.

المصدر: 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009)
24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 2009, Auckland, New Zealand. pp.510-514, ⟨10.1109/ASE.2009.23⟩
ASE

مصطلحات موضوعية: Theoretical computer science, Semantics (computer science), Computer science, business.industry, String (computer science), Computer Science::Software Engineering, 020206 networking & telecommunications, 020207 software engineering, Hamming distance, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Test case, Software, 0202 electrical engineering, electronic engineering, information engineering, Test suite, Code (cryptography), Data mining, business, Greedy algorithm, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6cdc6876b7ef3118de63e7b56a3871c6
https://hal.inria.fr/hal-00953593

المؤلفون: Benedikt Bollig, Paul Gastin

المساهمون: Modeling and Exploitation of Interaction and Concurrency (MEXICO), Laboratoire Spécification et Vérification [Cachan] (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Diekert, Volker and Nowotka, Dirk

المصدر: Proceedings of the 13th International Conference on Developments in Language Theory (DLT'09)
Proceedings of the 13th International Conference on Developments in Language Theory (DLT'09), 2009, Stuttgart, Germany, Germany. pp.18-38, ⟨10.1007/978-3-642-02737-6_2⟩
Developments in Language Theory ISBN: 9783642027369
Developments in Language Theory

مصطلحات موضوعية: Discrete mathematics, Computation tree logic, Finite-state machine, TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Probabilistic logic, Computer Science::Software Engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Automaton, CTL, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Probabilistic CTL, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, T-norm fuzzy logics, Computer Science::Formal Languages and Automata Theory, Mathematics, Hardware_LOGICDESIGN

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf5210260355d66ad95ed98799077499
https://hal.inria.fr/hal-00772679

المؤلفون: Guillaume Gardey, Olivier Roux, Hanifa Boucheneb

المساهمون: Laboratoire VeriForm - Department of Computer Engineering (VeriForm), École Polytechnique de Montréal (EPM), Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS)

المصدر: Journal of Logic and Computation
Journal of Logic and Computation, Oxford University Press (OUP), 2009, 19 (6), pp.1509-1540. ⟨10.1093/logcom/exp036⟩

مصطلحات موضوعية: Model checking, 0209 industrial biotechnology, Logic, Computer science, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], 02 engineering and technology, computer.software_genre, Theoretical Computer Science, 020901 industrial engineering & automation, Arts and Humanities (miscellaneous), Reachability, 0202 electrical engineering, electronic engineering, information engineering, State space, Programming language, Computer Science::Software Engineering, 020207 software engineering, Petri net, 16. Peace & justice, Automaton, Decidability, Hardware and Architecture, Bounded function, State (computer science), computer, Software, Computer Science::Formal Languages and Automata Theory

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b77f5c428b2de738c540184dfa2498f8
https://hal.archives-ouvertes.fr/hal-00489070/file/main.pdf