The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for ESTEREL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-1994 (16) 1995-1998 (18) 1999 (16) 2000-2001 (27) 2002-2003 (22) 2004 (17) 2005-2006 (24) 2007 (178) 2008 (71) 2009-2010 (17) 2011-2021 (13)
Publication types (Num. hits)
article(41) book(1) incollection(2) inproceedings(368) phdthesis(4) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 245 occurrences of 172 keywords

Results
Found 419 publication records. Showing 419 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
183Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty Performance debugging of Esterel specifications. Search on Bibsonomy CODES+ISSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Esterel, WCET analysis, synchronous programming
155Xin Li 0020, Jan Lukoschus, Marian Boldt, Michael Harder, Reinhard von Hanxleden An Esterel processor with full preemption support and its worst case reaction time analysis. Search on Bibsonomy CASES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF reaction time analysis, reactive processing, WCET, synchronous languages, Esterel
155Basant Rajan, R. K. Shyamasundar Multiclock Esterel: A Reactive Framework for Asynchronous Design. Search on Bibsonomy IPDPS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF VHDL, Reactive Systems, Asynchronous System, Synchrony, Esterel
127Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden Synthesizing safe state machines from Esterel. Search on Bibsonomy LCTES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SyncCharts, safe state machines, textual/graphical languages, Statecharts, reactive systems, Esterel
113Xin Li 0020, Marian Boldt, Reinhard von Hanxleden Mapping esterel onto a multi-threaded embedded processor. Search on Bibsonomy ASPLOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF low-power processing, concurrency, reactive systems, multi-threading, esterel
113Partha S. Roop, Zoran A. Salcic, M. W. Sajeewa Dayaratne Towards direct execution of esterel programs on reactive processors. Search on Bibsonomy EMSOFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ARE-Bench Auckland reactive benchmark, direct ESTEREL execution, reactive processor architectures
106Gérard Berry, Ellen Sentovich Multiclock Esterel. Search on Bibsonomy CHARME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
106Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar A Translation of Statecharts to Esterel. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
99Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty Timing analysis of esterel programs on general-purpose multiprocessors. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF multiprocessor, timing analysis, synchronous language, esterel
99Lei Ju 0001, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury Context-sensitive timing analysis of Esterel programs. Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF worst-case execution time (WCET) analysis, Esterel, synchronous programming
92Stephen A. Edwards An Esterel compiler for large control-dominated systems. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
92Basant Rajan, R. K. Shyamasundar Modeling VHDL in Multiclock ESTEREL. Search on Bibsonomy VLSI Design The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
92Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
85Sascha Gädtke, Claus Traulsen, Reinhard von Hanxleden HW/SW co-design for Esterel processing. Search on Bibsonomy CODES+ISSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF reactive processing, synchronous languages, Esterel, HW/SW co-design
85Ivan Radojevic, Zoran A. Salcic, Partha S. Roop Modeling Embedded Systems: From SystemC and Esterel to DFCharts. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF models of computation (MoC), specification, SystemC, heterogeneous systems, Esterel
78Charles André, Frédéric Mallet Specification and verification of time requirements with CCSL and Esterel. Search on Bibsonomy LCTES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF synchronous languages, uml, marte, time model
78Olivier Tardieu A deterministic logical semantics for pure Esterel. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Synchronous languages, structural operational semantics
78Olivier Tardieu, Stephen A. Edwards Approximate Reachability for Dead Code Elimination in Esterel. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
78Gérard Berry Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. Search on Bibsonomy FASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
78Dumitru Potop-Butucaru, Robert de Simone Optimizations for Faster Execution of Esterel Programs. Search on Bibsonomy MEMOCODE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
77R. K. Shyamasundar, J. V. Aghav Validating Real-Time Constraints in Embedded Systems. Search on Bibsonomy PRDC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Validation & Verification, Embedded Systems, Synchronous Languages, Esterel, RealTime Systems
71Xin Li 0020, Reinhard von Hanxleden A concurrent reactive Esterel processor based on multi-threading. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF multithreading, processor architecture, synchronous languages, esterel
64Gérard Berry Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
64Olivier Tardieu, Robert de Simone Loops in esterel. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF static analysis, code generation, Synchronous languages
64Siddharth R. Phanse, R. K. Shyamasundar Application of Esterel for Modelling and Verification of Cachet Protocol on CRF Memory Model. Search on Bibsonomy VLSI Design The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
64Stephen A. Edwards Compiling Esterel into sequential code. Search on Bibsonomy DAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
64Klaus Schneider 0001, Viktor K. Sabelfeld Introducing Mutual Exclusion in Esterel. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
64S. Ramesh 0001, Purandar Bhaduri Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
64Gérard Berry Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract). Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
57Sylvan Dissoubray, Bernard Dion Design of an Automatic Teller Machine with Esterel Studio. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Esterel Studio, Graphical animation, Formal verification, Reactive systems, Automatic code generation
56Gérard Berry, Michael Kishinevsky, Satnam Singh System Level Design and Verification Using a Synchronous Language. Search on Bibsonomy ICCAD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
56A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar A Graphical Environment for the Specification and Verification of Reactive Systems. Search on Bibsonomy SAFECOMP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
50Peter Rössler, Martin Zauner Evaluation of an Esterel-based hardware/software co-design flow. Search on Bibsonomy SIES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
50Olivier Tardieu, Robert de Simone Curing schizophrenia by program rewriting in Esterel. Search on Bibsonomy MEMOCODE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
50Laurent Arditi, Gérard Berry, Michael Kishinevsky Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
50Olivier Tardieu, Robert de Simone Instantaneous Termination in Pure Esterel. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor Cronos: A Separate Compilation Toolset for Modular Esterel Applications. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
50Dominique Clément, Janet Incerpi Specifying the Behavior of Graphical Objects Using Esterel. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
49Jia Zeng, Cristian Soviani, Stephen A. Edwards Generating fast code from concurrent program dependence graphs. Search on Bibsonomy LCTES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF sequencial, concurrent, esterel, program dependence graph
49Yunjian Jiang, Robert K. Brayton Logic optimization and code generation for embedded control applications. Search on Bibsonomy CODES The full citation details ... 2001 DBLP  DOI  BibTeX  RDF code generation, MDD, Esterel, logic optimization, multiple-valued
45Gérard Berry Circuit design and verication with Esterel v7 and Esterel Studio. Search on Bibsonomy HLDVT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Daniel Weil, Valérie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou Efficient compilation of ESTEREL for real-time embedded systems. Search on Bibsonomy CASES The full citation details ... 2000 DBLP  DOI  BibTeX  RDF reactive applications, embedded systems, real-time, compilation, synchronous, automata, ESTEREL
42Klaus Schneider 0001 Proving the Equivalence of Microstep and Macrostep Semantics. Search on Bibsonomy TPHOLs The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Gerald Lüttgen, Michael Mendler Axiomatizing an Algebra of Step Reactions for Synchronous Languages. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Mesfin Belachew, R. K. Shyamasundar MSC+: From Requirement to Prototyped Systems. Search on Bibsonomy ECRTS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF hMSCs, Requirement Specification, Preemption, MSCs
42Gérard Berry, S. Ramesh 0001, R. K. Shyamasundar Communicating Reactive Processes. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF CSP, CSP
36Satnam Singh Design and Verification of CoreConnectTM IP Using Esterel. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36André Chátelain, Yves Mathys, Giovanni Placido, Alberto La Rosa, Luciano Lavagno High-level architectural co-simulation using Esterel and C. Search on Bibsonomy CODES The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Frédéric Mallet, Fernand Boéri Esterel and Java in an Object-Oriented Modelling and Simulation Framework for Heterogeneous Software and Hardware Systems The SEP Approach. Search on Bibsonomy EUROMICRO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Amar Bouali XEVE, an ESTEREL Verification Environment. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36Raj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno Asynchronous Implementation of Synchronous Esterel Specifications. Search on Bibsonomy VLSI Design The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
36Robert de Simone, Annie Ressouche Compositional Semantics of ESTEREL and Verification by Compositional Reductions. Search on Bibsonomy CAV The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
35Victor Berman Standards: DASC sees moves toward formality in design. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Rosetta, Esterel version 7, system-level design language
35Jerker Hammarberg, Simin Nadjm-Tehrani Formal verification of fault tolerance in safety-critical reconfigurable modules. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Fault tolerance, FPGA, Formal verification, Safety analysis, Esterel
35Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Modechart, VFSM, Formal methods, specification languages, Z, SDL, industrial applications, LOTOS, ESTEREL, technology assessment
35Torsten Braun, Isabelle Chrisment, Christophe Diot, François Gagnon, Laurent Gautier ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications. Search on Bibsonomy HPDC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF protocol compiler, ALFred, end-to-end communication functions, high performance implementation, control compiler, ALF compiler, data manipulation compiler, ILP compiler, high performance communication architectures, formal specification, formal specification, protocols, distributed processing, specification languages, software design, distributed applications, program compilers, software performance evaluation, software prototyping, software prototyping, ESTEREL, communication architecture, data handling
28Flavius Gruian, Partha S. Roop, Zoran A. Salcic, Ivan Radojevic The SystemJ approach to system-level design. Search on Bibsonomy MEMOCODE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Moonzoo Kim, Kyo Chul Kang Formal Construction and Verification of Home Service Robots: A Case Study. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Louis Mandel, Marc Pouzet ReactiveML: a reactive extension to ML. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF semantics, functional programming, reactive programming
28Klaus Schneider 0001 Embedding Imperative Synchronous Languages in Interactive Theorem Provers. Search on Bibsonomy ACSD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Gérard Berry Synchronous Programming Techniques for Embedded Systems: Present and Future. Search on Bibsonomy EMSOFT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Frédéric Bertrand, Michel Augeraud BDL: A Specialized Language for Per-Object Reactive Control. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF control of behavior, reactive languages, verification, Concurrent object-oriented programming
28Samuel Devulder, Jean-Luc Lambert A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. Search on Bibsonomy ASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Agathe Merceron, Monika Müllerburg, G. Michele Pinna Verifying a Time-Triggered Protocol in a Multi-language Environment. Search on Bibsonomy SAFECOMP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001 Default Timed Concurrent Constraint Programming. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF constraint programming, reactive systems, denotational semantics, synchronous programming, semantics of concurrency
28Gérard Berry Preemption in Concurrent Systems. Search on Bibsonomy FSTTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
22Yahui Song, Wei-Ngan Chin A Synchronous Effects Logic for Temporal Verification of Pure Esterel. Search on Bibsonomy VMCAI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Spencer P. Florence, Shu-Hung You, Jesse A. Tov, Robert Bruce Findler A calculus for Esterel: if can, can. if no can, no can. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Gérard Berry, Lionel Rieg Towards Coq-verified Esterel Semantics and Compiling. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
22Steven Smyth, Christian Motika, Karsten Rathlev, Reinhard von Hanxleden, Michael Mendler SCEst: Sequentially Constructive Esterel. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler SCEst: Sequentially constructive esterel. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Nir Koblenc, Shmuel S. Tyszberowicz Behavior-preserving abstraction of ESTEREL programs. Search on Bibsonomy FedCSIS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Gregory Mone Q&A: From Esterel to HipHop. Search on Bibsonomy Commun. ACM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Jeong-Han Yun, Chul-Joo Kim, Seonggun Kim, Kwang-Moo Choe, Taisook Han Detection of harmful schizophrenic statements in esterel. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Mohammad Reza Mousavi 0001 Esterel and the Semantics of Causality. Search on Bibsonomy Handbook of Finite State Based Models and Applications The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
22Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty Performance debugging of Esterel specifications. Search on Bibsonomy Real Time Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
22Xin Li 0020, Reinhard von Hanxleden Multithreaded Reactive Programming - the Kiel Esterel Processor. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
22Simon Yuan, Li Hsien Yoong, Partha S. Roop Compiling Esterel for Multi-core Execution. Search on Bibsonomy DSD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
22Satnam Singh Design and verification of peripheral control circuits in Esterel. Search on Bibsonomy Concurr. Comput. Pract. Exp. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22Li Hsien Yoong, Partha S. Roop Verifying IEC 61499 Function Blocks Using Esterel. Search on Bibsonomy IEEE Embed. Syst. Lett. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22Chul-Joo Kim, Jeong-Han Yun, Seonggun Kim, Kwang-Moo Choe, Taisook Han Over-Approximated Control Flow Graph Construction on Pure Esterel. Search on Bibsonomy IEICE Trans. Inf. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22Simon Yuan, Li Hsien Yoong, Sidharta Andalam, Partha S. Roop, Zoran Salcic A New Multithreaded Architecture Supporting Direct Execution of Esterel. Search on Bibsonomy EURASIP J. Embed. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Mohammad Reza Mousavi 0001 Causality in the Semantics of Esterel: Revisited Search on Bibsonomy SOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe Refining schizophrenia via graph reachability in Esterel. Search on Bibsonomy MEMOCODE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Michael Mendler, Reinhard von Hanxleden, Claus Traulsen WCRT algebra and interfaces for esterel-style synchronous processing. Search on Bibsonomy DATE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran A. Salcic STARPro - A new multithreaded direct execution platform for Esterel. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22David H. White 0001, Gerald Lüttgen Embedded Systems Programming: Accessing Databases from Esterel. Search on Bibsonomy EURASIP J. Embed. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Marian Boldt, Claus Traulsen, Reinhard von Hanxleden Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing. Search on Bibsonomy EURASIP J. Embed. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22André Cotton, Oana Dini, Antonio Fernandez Gómez-Skarmeta, Mihaela Ion, Manuela Popescu, Masaru Takesue (eds.) Proceedings of the Second International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2008, August 25-31, 2008, Cap Esterel, France Search on Bibsonomy SECURWARE The full citation details ... 2008 DBLP  BibTeX  RDF
22Wolfgang Boehmer Appraisal of the Effectiveness and Efficiency of an Information Security Management System Based on ISO 27001. Search on Bibsonomy SECURWARE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Katarzyna Michalska, Tomasz Walkowiak Hierarchical Approach to Dependability Analysis of Information Systems by Modeling and Simulation. Search on Bibsonomy SECURWARE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Jérémy Briffaut, Jean-François Lalande, Waleed W. Smari Team--Based MAC Policy over Security--Enhanced Linux. Search on Bibsonomy SECURWARE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Daniel J. Martinez, Juan M. Marin, Jorge Bernal Bernabé, Manuel Gil Pérez, Antonio Fernandez Gómez-Skarmeta Design-Time Learning for Operational Planning Improvement. Search on Bibsonomy SECURWARE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Dariusz Caban, Wojciech Zamojski Dependability Analysis of Information Systems with Hierarchical Reconfiguration of Services. Search on Bibsonomy SECURWARE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Nuno Amálio, George Spanoudakis From Monitoring Templates to Security Monitoring and Threat Detection. Search on Bibsonomy SECURWARE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Sandhya Khurana, Neelima Gupta FEEPVR: First End-to-End Protocol to Secure Ad Hoc Networks with Variable Ranges against Wormhole Attacks. Search on Bibsonomy SECURWARE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Wilson Goudalo, Dominique Seret Toward the Engineering of Security of Information Systems (ESIS): UML and the IS Confidentiality. Search on Bibsonomy SECURWARE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Carlos Aguilar Melchor, Benoît Crespin, Philippe Gaborit, Vincent Jolivet, Pierre Rousseau High-Speed Private Information Retrieval Computation on GPU. Search on Bibsonomy SECURWARE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Thomas Gamer, Christoph P. Mayer, Martina Zitterbart Distack -- A Framework for Anomaly-Based Large-Scale Attack Detection. Search on Bibsonomy SECURWARE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 419 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license