Marius Minea

Catalin Marian Dumitrescu

Ionut Cosmin Chiva

Proceedings of the 11th International Conference on Electronics, 2019

Assessment of ZigBee communications efficiency for truck platooning applications.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Electronics, 2019

2018

A Survey on ZigBee Communications Efficiency for Subway Additional Services.

[BibT_eX]

[DOI]

Maria Claudia Surugiu

Mihai Dima

Proceedings of the 41st International Conference on Telecommunications and Signal Processing, 2018

ZigBee Efficiency Assessment for Additional Subway Safety Communications in Tunnel Environments.

[BibT_eX]

[DOI]

Maria Claudia Surugiu

Mihai Dima

Proceedings of the 41st International Conference on Telecommunications and Signal Processing, 2018

A Survey on Wi-Fi Usability for Additional Safety Communications in Subway Environment.

[BibT_eX]

[DOI]

Viviana Laetitia Minea

Valentin Alexandru Stan

Proceedings of the 2018 10th International Conference on Electronics, 2018

Digitally migration concept for railway failsafe protection circuit.

[BibT_eX]

[DOI]

Angel Ciprian Cormos

Mihai Radu

Proceedings of the 2018 10th International Conference on Electronics, 2018

Preventive Maintenance of the Railway Infrastructure employing Robotized Platform and Virtual Instrumentation.

[BibT_eX]

[DOI]

Mihai Dima

Iulian Adrian Chihaia

Maria Claudia Surugiu

Proceedings of the 2018 10th International Conference on Electronics, 2018

2017

Bluetooth latency analysis for vehicular communications in a Wi-Fi noisy environment.

[BibT_eX]

[DOI]

Angel Ciprian Cormos

Proceedings of the 40th International Conference on Telecommunications and Signal Processing, 2017

Considerations for using ZigBee technology in vehicular non-critical applications.

[BibT_eX]

[DOI]

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

Analysis of Interferences in Data Transmission for Wireless Communications Implemented in Vehicular Environments.

[BibT_eX]

[DOI]

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

On the design of V2I communications architecture with reduced infrastructural set: Urban scenario.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Electronics, 2017

Cellular - Sensorless V2I - based traffic information and communications infrastructure: Case study for high class motorways.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Electronics, 2017

2014

Guiding Random Test Generation for Intra-class Dataflow Coverage.

[BibT_eX]

[DOI]

Petru Florin Mihancea

Edit Mercedes Mera-Batiz

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

JMODEX: Model extraction for verifying security properties of web applications.

[BibT_eX]

[DOI]

Petru Florin Mihancea

Proceedings of the 2014 Software Evolution Week, 2014

Model inference and security testing in the spacios project.

[BibT_eX]

[DOI]

Matthias Büchler

Karim Hossen

Petru Florin Mihancea

Roland Groz

Catherine Oriat

Proceedings of the 2014 Software Evolution Week, 2014

2013

Finding Errors in Python Programs Using Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2013

Bridging Dolev-Yao Adversaries and Control Systems with Time-Sensitive Channels.

[BibT_eX]

[DOI]

Proceedings of the Critical Information Infrastructures Security, 2013

2012

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011

Towards Formal Validation of Trust and Security in the Internet of Services.

[BibT_eX]

[DOI]

Proceedings of the Future Internet, 2011

Automatic inference of model fields and their representation.

[BibT_eX]

[DOI]

Mihai Balint

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011

Formal modelling and automatic detection of resource exhaustion attacks.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, 2011

2010

Customizing Protocol Specifications for Detecting Resource Exhaustion and Guessing Attacks.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 14th International Conference, 2010

2009

Relooper: refactoring for loop parallelism in Java.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

A Calculus to Detect Guessing Attacks.

[BibT_eX]

[DOI]

Proceedings of the Information Security, 12th International Conference, 2009

2006

Preface.

[BibT_eX]

[DOI]

Catalin Dima

Ferucio Laurentiu Tiplea

Proceedings of the First Workshop in Information and Computer Security, 2006

2005

Safety Interfaces for Component-Based Systems.

[BibT_eX]

[DOI]

Jonas Elmqvist

Simin Nadjm-Tehrani

Proceedings of the Computer Safety, 2005

A Probabilistic Property-Specific Approach to Information Flow.

[BibT_eX]

[DOI]

Danièle Beauquier

Marie Duflot

Proceedings of the Computer Network Security, 2005

2004

Specifying and Verifying Partial Order Properties Using Template MSCs.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2003

Experience with Formal Verification of SDL Protocols.

[BibT_eX]

[DOI]

Cornel Izbasa

Calin Jebelean

Int. J. Comput., 2003

2002

Combining Software and Hardware Verification Techniques.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2002

2001

Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.

[BibT_eX]

[DOI]

Thomas A. Henzinger

Vinayak S. Prabhu

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

1999

State Space Reduction Using Partial Order Techniques.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 1999

Model Checking Semi-Continuous Time Models Using BDDs.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Symbolic Model Checking, 1999

Partial Order Reduction for Model Checking of Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Static Partial Order Reduction.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1997

Symbolic Techniques for Formally Verifying Industrial Systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1997

Equivalence Checking Using Abstract BDDs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

Verifying hardware in its software context.

[BibT_eX]

[DOI]

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1995

Temporal Verification of Real-Time Systems.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 1995

Timing analysis of industrial real-time systems.

[BibT_eX]

[DOI]

Wilfredo R. Marrero

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems.

[BibT_eX]

[DOI]

Wilfredo R. Marrero

Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, 1995

Verifying the performance of the PCI local bus using symbolic techniques.

[BibT_eX]

[DOI]

Wilfredo R. Marrero

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

Computing Quantitative Characteristics of Finite-State Real-Time Systems.

[BibT_eX]

[DOI]