Search results for "ESTEREL"

Hits ?▲	Authors	Title	Venue	Year	Link
22	Ilkka Norros, Pirkko Kuusela, Pekka Savola	A Dependability Case Approach to the Assessment of IP Networks.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Ioannis G. Askoxylakis, Damien Sauveron, Constantinos Markantonakis, Theodore Tryfonas, Apostolos Traganitis	A Body-Centered Cubic Method for Key Agreement in Dynamic Mobile Ad Hoc Networks.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Maite Avelino, Francisco de la Torre	Advanced Rule-Based Techniques in Mission Critical Systems.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Jesús J. Martinez Molina, Miguel A. Hernández Ruíz, Manuel Gil Pérez, Gregorio Martínez Pérez, Antonio Fernandez Gómez-Skarmeta	Event-Driven Architecture for Intrusion Detection Systems Based on Patterns.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Antonio San Martino, Xavier Perramon	Defending E-Banking Services: Antiphishing Approach.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Masaru Takesue	A Protection Scheme against the Attacks Deployed by Hiding the Violation of the Same Origin Policy.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Aleksandar Kircanski, Amr M. Youssef	A Related-Key Attack on TREYFER.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Cynthia Y. Lester, Frank Jamerson	Designing an Undergraduate Software Security Course.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Cynthia Y. Lester, Hira N. Narang, Chung-Han Chen	Infusing Information Assurance into an Undergraduate CS Curriculum.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Vasile Florian Pais, Viorica Stancalie	Providing Secure Access to Unsecure Web Services.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Oluwafemi O. Ajayi, Richard O. Sinnott, Anthony Stell	Towards Decentralised Security Policies for e-Health Collaborations.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	André Cotton, Maurice Israël, Julien Borgel	Molecular Approach Paves the Way towards High Resilience for Large Mission-Critical Information Systems.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Roland Schmitz	Public Key Cryptography: A Dynamical Systems Perspective.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Fatiha Benali, Stéphane Ubéda, Véronique Legrand	Collaborative Approach to Automatic Classification of Heterogeneous Information Security.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Ian Castle, Eimear Buckley	The Automatic Discovery, Identification and Measurement of Botnets.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Imre Kocsis, György Csertán, Péter László Pásztor, András Pataricza	Dependability and Security Metrics in Controlling Infrastructure.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Giacomo Verticale	On the Portability of Trained Machine Learning Classifiers for Early Application Identification.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca	Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Rafael Bosse Brinhosa, Carlos Becker Westphall, Carla Merkle Westphall	A Security Framework for Input Validation.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Przemyslaw Rodwald, Janusz Stoklosa	Family of Parameterized Hash Algorithms.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Sarosh Hashmi, John Brooke	Authentication Mechanisms for Mobile Ad-Hoc Networks and Resistance to Sybil Attack.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Shu-Lin Chen, Stanley Chow, Christophe Gustave, Dmitri Vinokurov	Prototyping a New Identity Authentication Framework for IP Telephony.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Yannick Carlinet, Ludovic Mé, Hervé Debar, Yvon Gourhant	Analysis of Computer Infection Risk Factors Based on Customer Network Usage.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	HwanJin Lee, InKyung Jeun, Kilsoo Chun, Junghwan Song	A New Anti-phishing Method in OpenID.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Pedro R. M. Inácio, Mário M. Freire, Manuela Pereira, Paulo P. Monteiro	Analysis of the Impact of Intensive Attacks on the Self-Similarity Degree of the Network Traffic.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Khaled Gaaloul, Andreas Schaad, Ulrich Flegel, François Charoy	A Secure Task Delegation Model for Workflows.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Ángel Cuevas, Paul El Khoury, Laurent Gomez, Annett Laube	Security Patterns for Capturing Encryption-Based Access Control to Sensor Data.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Eric Y. Chen, Mitsutaka Itoh	Scalable Detection of SIP Fuzzing Attacks.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Marco Domenico Aime, Paolo Carlo Pomi, Marco Vallini	Policy-Driven System Configuration for Dependability.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Nikolaos Chatzis, Enric Pujol	Email Worm Mitigation by Controlling the Name Server Response Rate.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Frederic Stumpf, Claudia Eckert 0001	Enhancing Trusted Platform Modules with Hardware-Based Virtualization Techniques.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Martin Floeck, Lothar Litz	Activity- and Inactivity-BasedApproaches to Analyze an Assisted Living Environment.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Imad M. Abbadi, Muntaha Alawneh	Preventing Insider Information Leakage for Enterprises.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Fuwen Liu, Hartmut König	Security Policy Management for Peer Group Meetings.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Artur Hecker	On System Security Metrics and the Definition Approaches.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Marco Domenico Aime, Andrea S. Atzeni	Generation of Diagnostic Plans for Large ICT Systems.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Xiaoming Lu, Matt Spear, Karl N. Levitt, Norman S. Matloff, Shyhtsun Felix Wu	A Synchronization Attack and Defense in Energy-Efficient Listen-Sleep Slotted MAC Protocols.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Ayesha Altaf, Rabia Sirhindi, Attiq Ahmed	A Novel Approach against DoS Attacks in WiMAX Authentication Using Visual Cryptography.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Yuka Ikebe, Takehiro Nakayama, Masaji Katagiri, Satoshi Kawasaki, Hirotake Abe, Takahiro Shinagawa, Kazuhiko Kato	Efficient Anomaly Detection System for Mobile Handsets.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Anders Moen Hagalisletto	Proving Trust Locally.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Jean-Michel Sahut	Security and Adoption of Internet Payment.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Marek Woda, Tomasz Walkowiak	Agent Based Approach to Events Monitoring in Complex Information Systems.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Rainer Falk, Steffen Fries	Security Governance for Enterprise VoIP Communication.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca	Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Juan Manuel Marín Pérez, Jorge Bernal Bernabé, Daniel J. Martínez-Manzano, Gregorio Martínez Pérez, Antonio Fernandez Gómez-Skarmeta	Towards the Definition of a Web Service Based Management Framework.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Sameerchand Pudaruth, Nevin Vunka Jungum, Soulakshmee D. Ghurbhurrun, Leckraj Nagowah	Controlling Access to Location-Based Services in Vehicular Mobile Pervasive Environments.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Anders Moen Hagalisletto, Lars Strand	Formal Modeling of Authentication in SIP Registration.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Audun Jøsang, Touhid Bhuiyan	Optimal Trust Network Analysis with Subjective Logic.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Cheun Ngen Chong, Dan Jiang, Jiagang Zhang, Long Guo	Anti-counterfeiting with a Random Pattern.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Mihaela Ion, Hristo Koshutanski, Volker Hoyer, Luigi Telesca	Rating Agencies Interoperation for Peer-to-Peer Online Transactions.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	H. Rezaei Ghaleh, M. A. Doustari	A New Approach for Secure and Portable OS.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Kreetta Askola, Rauli Puuperä, Pekka Pietikäinen, Juhani Eronen, Marko Laakso, Kimmo Halunen, Juha Röning	Vulnerability Dependencies in Antivirus Software.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Maurice Israël, Julien Borgel, André Cotton	Heuristics to Perform Molecular Decomposition of Large Mission-Critical Information Systems.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Marcin Dabrowski, Piotr Pacyna	Generic and Complete Three-Level Identity Management Model.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Jan Feyereisl, Uwe Aickelin	ToLeRating UR-STD.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Olivier Tardieu, Stephen A. Edwards	Instantaneous Transitions in Esterel.	SLA++P@ETAPS	2007	DBLP DOI BibTeX RDF
22	Jan Lukoschus, Reinhard von Hanxleden	Removing Cycles in Esterel Programs.	EURASIP J. Embed. Syst.	2007	DBLP DOI BibTeX RDF
22	Stephen A. Edwards, Jia Zeng	Code Generation in the Columbia Esterel Compiler.	EURASIP J. Embed. Syst.	2007	DBLP DOI BibTeX RDF
22	Dumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry	Compiling Esterel.		2007	DOI RDF
22		Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France	ICSEA	2007	DBLP BibTeX RDF
22	Jens Brandt 0001, Klaus Schneider 0001	How Different are Esterel and SystemC?.	FDL	2007	DBLP BibTeX RDF
22		Proceedings of the Second International Conference on Systems and Networks Communications (ICSNC 2007), August 25-31, 2007, Cap Esterel, French Riviera, France	ICSNC	2007	DBLP BibTeX RDF
22	Satnam Singh	Hardware/Software Synthesis and Verification Using Esterel.	CPA	2007	DBLP BibTeX RDF
22	Jan Lukoschus	Removing cycles in esterel programs.		2007	RDF
22	Xin Li 0020	The Kiel Esterel processor: a multi-threaded reactive processor.		2007	RDF
22	Prabhat Ranjan, Arun Kumar Misra	Improving the Agent Based Software Development Process.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Nuo Li, Maozhong Jin, Chao Liu 0002	Web Application Model Recovery for User Input Validation Testing.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Michael J. McMahon Jr., Sergiu M. Dascalu, Frederick C. Harris Jr., Juan C. Quiroz	An Extensible Architecture for Network-Attached Device Management.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Gordon Fraser 0001, Franz Wotawa	Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Bart J. F. De Smet, Kristof Steurbaut, Sofie Van Hoecke, Filip De Turck, Bart Dhoedt	Dynamic Workflow Instrumentation for Windows Workflow Foundation.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Muneyuki Shimokura, Shuichi Nakanishi, Tadashi Ohta	Home Network Service Programs described in a Rule-based Language.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Roy Oberhauser, Rainer Schmidt 0001	Improving the Integration of the Software Supply Chain via the Semantic Web.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Xueling Shu, Frank Maurer	A Tool for Automated Performance Testing of Java3D Applications in Agile Environments.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Bastian Dölle, Walter Dosch	From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Reijo Savola	Towards a Security Metrics Taxonomy for the Information and Communication Technology Industry.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Antonio-Javier García-Sánchez, Felipe García-Sánchez, Joan García-Haro	Comparative for Middleware Video Streaming Services.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Jaroslav Král, Michal Zemlicka	The Most Important Service-Oriented Antipatterns.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi	Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Fabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami	Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Yifeng Sun, David Levy 0001	Suggestions on Pattern Transformation in UML-RT.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Dhafer Thabet, Lamia Hassine, Henda Hajjami Ben Ghézala	Situational Secure Web Services Design Methods.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Peter Z. Kunszt	Grid Middleware Development in Large International Projects - Experience and Recommendations.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Jaana Nyfjord, Mira Kajko-Mattsson	Commonalities in Risk Management and Agile Process Models.	ICSEA	2007	DBLP DOI BibTeX RDF
22	K. Alagarsamy, Selwyn Justus, K. Iyakutti	The Knowledge Based Software Process Improvement Program: A Rational Analysis.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Gregor Fischer, J. Lusiardi, Jürgen Wolff von Gudenberg	Abstract Syntax Trees - and their Role in Model Driven Software Development.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Teemu Kanstrén	Towards Trace Based Model Synthesis for Program Understanding and Test Automation.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Hyunmin Ko, Gihun Chang, Kangtae Kim	A Reengineering Approach of the Legacy System in the Digital Media Domain.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Anil Shankar, Juan C. Quiroz, Sergiu M. Dascalu, Sushil J. Louis, Monica N. Nicolescu	Sycophant: An API for Research in Context-Aware User Interfaces.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Ivan Garcia, Luis E. Suarez	Determining Practice Achievement in Project Management using a Two-Phase Questionnaire on Small and Medium Enterprises.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Gélio M. Ferreira, Marcelo Zanchetta do Nascimento, Karcius D. R. Assis, Rodrigo Pereira Ramos	Teaching object oriented programming computer languages: learning based on projects.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Ali Kamandi, Jafar Habibi	Toward a New Analyzable Architectural Description Language based on OSAN.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Lars Borner, Timea Illes-Seifert, Barbara Paech	The Testing Process - A Decision Based Approach.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Lydie du Bousquet, Michel Delaunay	Using mutation analysis to evaluate test generation strategies in a synchronous context.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Frédéric Pourraz, Hervé Verjus	Diapason: an Engineering Approach for Designing, Executing and Evolving Service-Oriented Architectures.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Christian Emig, Frank Brandt, Sebastian Abeck, Jürgen Biermann, Heiko Klarl	An Access Control Metamodel for Web Service-Oriented Architecture.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Miia-Maarit Saarelainen, Jussi Koskinen, Jarmo J. Ahonen, Irja Kankaanpää, Henna Sivula, Heikki Lintinen, Päivi Juutilainen, Tero Tilus	Group Decision-Making Processes in Industrial Software Evolution.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Ryan Voigt, Kareem Fazal, Hassan Reza	Specification-based Testing Method Using Testing Flow Graphs.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Atif Mashkoor, João M. Fernandes	Deriving Software Architectures for CRUD Applications: The FPL Tower Interface Case Study.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Hanh Nhi Tran, Bernard Coulette, Bich Thuy Dong	Modeling Process Patterns and Their Application.	ICSEA	2007	DBLP DOI BibTeX RDF
22	Eduardo Martins Guerra, Clovis Torres Fernandes	Refactoring Test Code Safely.	ICSEA	2007	DBLP DOI BibTeX RDF