|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 56 occurrences of 43 keywords
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sabrina Sicari, Luigi Alfredo Grieco, Gennaro Boggia, Alberto Coen-Porisini |
DyDAP: A dynamic data aggregation scheme for privacy aware wireless sensor networks.  |
Journal of Systems and Software  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Coen-Porisini, Sabrina Sicari |
Cross Layer Data Assessment in Wireless Sensor Networks. |
SENSORNETS |
2012 |
DBLP BibTeX RDF |
|
| 1 | Alberto Coen-Porisini, Sabrina Sicari |
SeDAP: Secure Data Aggregation Protocol in Privacy Aware Wireless Sensor Networks. |
S-CUBE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Coen-Porisini, Pietro Colombo, Sabrina Sicari |
Dealing with anonymity in wireless sensor networks. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Lavazza, Alberto Coen-Porisini, Pietro Colombo, Vieri Del Bianco |
A Meta-model Supporting the Decomposition of Problem Descriptions. |
ICSEA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Colombo, Luigi Lavazza, Alberto Coen-Porisini, Vieri Del Bianco |
Towards a Meta-model for Problem Frames: Conceptual Issues and Tool Building Support. |
ICSEA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Braghin, Alberto Coen-Porisini, Pietro Colombo, Sabrina Sicari, Alberto Trombetta |
Introducing privacy in a hospital information system. |
SESS |
2008 |
DBLP DOI BibTeX RDF |
software engineering applications, conceptual models, privacy policies, hospital information system |
| 1 | Pietro Colombo, Vieri Del Bianco, Luigi Lavazza, Alberto Coen-Porisini |
A Methodological Framework for SysML: a Problem Frames-based Approach. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Coen-Porisini, Ignazio Gallo, Antonella Zanzi |
Designing and Enacting Simulations Using Distributed Components. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli |
A formal approach for designing CORBA-based applications. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
formal methods, object orientation, frameworks, temporal logic, CORBA, control systems, architectural design, supervision |
| 1 | Alberto Coen-Porisini, André van der Hoek (eds.) |
Software Engineering and Middleware, Third International Workshop, SEM 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers |
SEM |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè |
Using symbolic execution for verifying safety-critical systems. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
verification, formal methods, C, symbolic execution, safety-critical system |
| 1 | Alberto Coen-Porisini, Dino Mandrioli |
Using TRIO for designing a CORBA-based application. |
Concurrency - Practice and Experience |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti |
A framework architecture for supervision and control systems. |
ACM Comput. Surv. |
2000 |
DBLP DOI BibTeX RDF |
CORBA |
| 1 | Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini |
A formal approach for designing CORBA based applications. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
supervision and control system, design, formal methods, temporal logic, CORBA, CORBA |
| 1 | Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti |
From Formal Models to Formally Based Methods: An Industrial Experience. |
ACM Trans. Softw. Eng. Methodol. |
1999 |
DBLP DOI BibTeX RDF |
supervision and control, object orientation, specification, formal models, technology transfer, industrial applications |
| 1 | Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro |
A Finite-Domain Semantics for Testing Temporal Logic Specifications. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer |
Specification of Realtime Systems Using ASTRAL. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
ASLAN, TRIO, Formal methods, temporal logic, assertions, state machines, composability, timing requirements, formal specification and verification, realtime systems |
| 1 | Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli |
A Formal Framework for ASTRAL Inter-level Proof Obligations. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli |
A Formal Framework for ASTRAL Intralevel Proof Obligations. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL |
| 1 | Alberto Coen-Porisini, Flavio De Paoli |
Array Representation in Symbolic Execution. |
Comput. Lang. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Coen-Porisini, Richard A. Kemmerer |
The Composability of ASTRAL Realtime Specifications. |
ISSTA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabiano Cattaneo, Alberto Coen-Porisini, Luigi Lavazza, Roberto Zicari |
Overview and Progress Report of the ESSE Project: Supporting Object-Oriented Database Schema Analysis and Evolution. |
TOOLS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Alberto Coen-Porisini, Dino Mandrioli |
A Formal Framework for ASTRAL Intra-Level Proof Obligations. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Coen-Porisini, Luigi Lavazza, Roberto Zicari |
The ESSE Project: An Overview. |
Future Databases |
1992 |
DBLP BibTeX RDF |
|
| 1 | Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli |
Software Specialization Via Symbolic Execution. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
environment-supporting specialization, generalized software components, reengineering technique, transformation tools, symbolic executor/simplifier, loop refolder, conceptual basis, Ada programming language, optimizer, Ada, software maintenance, software reuse, maintenance, software reusability, program compilers, symbolic execution, subroutines, interactive environment |
| 1 | Alberto Coen-Porisini, Luigi Lavazza, Roberto Zicari |
Updating the Schema of an Object-Oriented Database (Extended Abstract). |
IEEE Data Eng. Bull. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Alberto Coen-Porisini, Flavio De Paoli |
SESADA: An Environment Supporting Software Specialization. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")